Formal semantics and analysis of control flow in WS-BPEL

DOI10.1016/j.scico.2007.03.002zbMath1122.68073OpenAlexW2145391336WikidataQ57005848 ScholiaQ57005848MaRDI QIDQ997228

Arthur H. M. ter Hofstede, Eric Verbeek, Marlon Dumas, Wil M. P. van der Aalst, Stephan Breutel, Chun Ouyang

Publication date: 23 July 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://eprints.qut.edu.au/14809/1/14809.pdf

zbMATH Keywords

Petri netsBPELWeb servicesbusiness process modelingtool-based verification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Efficient semantics-based compliance checking using LTL formulae and unfolding ⋮ On the potential advantages of exploiting behavioural information for contract-based service discovery and composition ⋮ What Do Semantics Matter When the Meat Is Overcooked? ⋮ Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study ⋮ A formal model for service-oriented interactions ⋮ Session types for safe web service orchestration ⋮ Monitoring and recovery for web service applications ⋮ An algebraic theory for web service contracts ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ A formal semantics for the Taverna 2 workflow model ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ Monotonicity in Service Orchestrations

Uses Software

• WSAT
• YAWL
• BPEL2PN
• Woflan

This page was built for publication: Formal semantics and analysis of control flow in WS-BPEL