On the analysis of compensation correctness

DOI10.1016/J.JLAP.2012.04.002MaRDI QIDQ444367zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Cátia Vaz, Carla Ferreira

Publication date 14 August 2012

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2012.04.002

zbMATH Keywords

compensation correctnesscompensationsfailure handlinglong running transactionsmodel checkingprocess calculi

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compensation by design
• Recovery within long-running transactions
• Compensable Programs
• Transaction calculus (invited paper)
• On the Expressive Power of Primitives for Compensation Handling

Cites work

• A calculus for long-running transactions.
• A Calculus for Orchestration of Web Services
• A calculus of mobile processes. II
• A pi-calculus based semantics for WS-BPEL
• Communicating Sequential Processes. The First 25 Years
• CONCUR 2005 – Concurrency Theory
• Coordination Models and Languages
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 3967882 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2163046 (Why is no real title available?)
• scientific article; zbMATH DE number 4119616 (Why is no real title available?)
• Multiparty asynchronous session types
• On the Expressive Power of Primitives for Compensation Handling
• Structured Interactional Exceptions in Session Types
• The -calculus: A theory of mobile processes
• Theoretical foundations for compensations in flow composition languages

Cited in

(5)

• On primitives for compensation handling as adaptable processes
• Recovery within long-running transactions
• On the Expressive Power of Primitives for Compensation Handling
• Verifying Compensating Transactions
• CONCUR 2005 – Concurrency Theory

Describes a project that uses

Uses Software

• ProB
• COWS

This page was built for publication: On the analysis of compensation correctness

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