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

compensationsprocess description languagestransactions

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)

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

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)