Formal semantics and analysis of control flow in WS-BPEL
From MaRDI portal
Publication:997228
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
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
This page was built for publication: Formal semantics and analysis of control flow in WS-BPEL
