An Observational Model for Transactional Calculus of Services Orchestration

DOI10.1007/978-3-540-85762-4_14MaRDI QIDQ5505603zbMATH OpenOpenAlexFDO

Authors Jing Li, Huibiao Zhu, Jifeng He

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85762-4_14

Mathematics Subject Classification ID

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

Recommendations

• Model-checking web services orchestrations using BP-calculus
• A core calculus for correlation in orchestration languages
• Theoretical foundations for compensations in flow composition languages
• Transaction calculus (invited paper)
• A Calculus for Orchestration of Web Services

Cites work

• A calculus for long-running transactions.
• A Calculus for Orchestration of Web Services
• Algebraic Semantics for Compensable Transactions
• Communicating Sequential Processes. The First 25 Years
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Theoretical foundations for compensations in flow composition languages
• Towards a formal foundation to orchestration languages

Cited in

(4)

• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Web services transaction model and protocol research
• Attribute-based transactions in service oriented computing
• Service Orchestration with Priority Constraints

Describes a project that uses

Uses Software

• COWS

This page was built for publication: An Observational Model for Transactional Calculus of Services Orchestration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505603)