Theoretical foundations for compensations in flow composition languages
From MaRDI portal
Publication:5276147
DOI10.1145/1040305.1040323zbMath1369.68070OpenAlexW1974168649MaRDI QIDQ5276147
Ugo Montanari, Hernán Melgratti, Roberto Bruni
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
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)
Related Items
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, Service oriented computing from a process algebraic perspective, A pi-calculus based semantics for WS-BPEL, Business Process Modeling for Organizational Knowledge Management, Event-Based Service Coordination, Towards a taxonomy for reversible computation approaches, On the analysis of compensation correctness, Safer asynchronous runtime monitoring using compensations, Privacy preserving minimal observability for composite transactional services, A WSDL-based type system for asynchronous WS-BPEL processes, Failure-divergence semantics and refinement of long running transactions, Challenges in the Specification of Full Contracts, On GS-Monoidal Theories for Graphs with Nesting, Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation, Compensation by design, An Observational Model for Transactional Calculus of Services Orchestration
