A pi-calculus based semantics for WS-BPEL

DOI10.1016/j.jlap.2006.05.007zbMath1178.68367OpenAlexW2164226682WikidataQ59255583 ScholiaQ59255583MaRDI QIDQ861305

Manuel Mazzara, Roberto Lucchi

Publication date: 9 January 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.05.007

zbMATH Keywords

compositionbusiness processweb servicesconcurrency theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

On the analysis of compensation correctness, An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems, A WSDL-based type system for asynchronous WS-BPEL processes, A formal approach to the engineering of domain-specific distributed systems, A centralized and a decentralized method to automatically derive choreography-conforming web service systems, A barred operational semantics for a subset of WS-CDL with time restrictions, Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• Functions as processes
• The Two-Phase Commitment Protocol in an Extended π-Calculus
• A generic type system for the Pi-calculus
• Theoretical foundations for compensations in flow composition languages
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computational Structures
• Coordination Models and Languages
• Formal Methods for Open Object-Based Distributed Systems