Theoretical foundations for compensations in flow composition languages

DOI10.1145/1040305.1040323MaRDI QIDQ5276147zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Hernan Melgratti, Ugo Montanari

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1040305.1040323

zbMATH Keywords

compensationstransactionsprocess description languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CONCUR 2005 – Concurrency Theory
• Algebraic Semantics for Compensable Transactions
• A Language for Reliable Service Composition
• Fundamental Approaches to Software Engineering
• A calculus for long-running transactions.

Cited in

(25)

• Algebraic Semantics for Compensable Transactions
• On the Expressive Power of Primitives for Compensation Handling
• A WSDL-based type system for asynchronous WS-BPEL processes
• Verifying Compensating Transactions
• Safer asynchronous runtime monitoring using compensations
• Towards a taxonomy for reversible computation approaches
• Event-Based Service Coordination
• Service oriented computing from a process algebraic perspective
• Challenges in the Specification of Full Contracts
• On the analysis of compensation correctness
• Compensation by design
• Business Process Modeling for Organizational Knowledge Management
• Coordination Models and Languages
• A pi-calculus based semantics for WS-BPEL
• CONCUR 2005 – Concurrency Theory
• A Language for Reliable Service Composition
• Compensable transactions
• Failure-divergence semantics and refinement of long running transactions
• Privacy preserving minimal observability for composite transactional services
• An Observational Model for Transactional Calculus of Services Orchestration
• Fundamental Approaches to Software Engineering
• A new strategy for distributed compensations with interruption in long-running transactions
• On GS-monoidal theories for graphs with nesting
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Transactional process management over component systems (Thesis, ETH Zürich 2000)

This page was built for publication: Theoretical foundations for compensations in flow composition languages

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