Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

DOI10.1007/978-3-540-73196-2_6zbMath1215.68152OpenAlexW84904970WikidataQ59702057 ScholiaQ59702057MaRDI QIDQ3614842

Zhao Xiangpeng, Cai Chao, Qiu Zongyan, Yang Hongli

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_6

zbMATH Keywords

projectioncompensationorchestrationchoreographyexception handlingfinalization

Mathematics Subject Classification ID

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

Related Items (3)

Relating two automata-based models of orchestration and choreography ⋮ A perspective on service orchestration ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
• Theoretical foundations for compensations in flow composition languages
• Communicating Sequential Processes. The First 25 Years
• FM 2005: Formal Methods

This page was built for publication: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation