Pages that link to "Item:Q997228"
From MaRDI portal
The following pages link to Formal semantics and analysis of control flow in WS-BPEL (Q997228):
Displaying 15 items.
- Efficient semantics-based compliance checking using LTL formulae and unfolding (Q364600) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- A formal semantics for the Taverna 2 workflow model (Q980997) (← links)
- Model transformation and formal verification for semantic web services composition (Q982939) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Monotonicity in Service Orchestrations (Q3636849) (← links)
- Computer Aided Verification (Q5312941) (← links)