Pages that link to "Item:Q982939"
From MaRDI portal
The following pages link to Model transformation and formal verification for semantic web services composition (Q982939):
Displaying 4 items.
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- TOWARDS A SEMANTIC STATE TRANSITION SYSTEM FOR AUTOMATED GENERATION OF DATA FLOW IN WEB SERVICE COMPOSITION (Q3560124) (← links)