A Language for Reliable Service Composition

DOI10.1007/978-3-540-69507-3_48MaRDI QIDQ5448807zbMATH OpenOpenAlexFDO

Authors Qingjun Xiao, Ruonan Rao, Jinyuan You

Publication date 7 March 2008

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-69507-3_48

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Queues and service in operations research (90B22)

Recommendations

• Theoretical foundations for compensations in flow composition languages
• Formal semantics and analysis of control flow in WS-BPEL
• Algebraic Semantics for Compensable Transactions
• FM 2005: Formal Methods
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

Cited in

(7)

• A tentative commit protocol for composite web services
• Language Support for Service Interactions in Service-Oriented Architecture
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Theoretical foundations for compensations in flow composition languages
• Formal considerations of rule-based messaging for business process integration
• Transaction mechanisms in complex business processes
• Formal semantics and analysis of control flow in WS-BPEL

This page was built for publication: A Language for Reliable Service Composition

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