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

model checkingprocess calculicompensation correctnesscompensationsfailure handlinglong running transactions

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

• 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?)
• A Calculus for Orchestration of Web Services
• A calculus for long-running transactions.
• A calculus of mobile processes. II
• A pi-calculus based semantics for WS-BPEL
• CONCUR 2005 – Concurrency Theory
• Communicating Sequential Processes. The First 25 Years
• Coordination Models and Languages
• Foundations of Software Science and Computational Structures
• 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 the Expressive Power of Primitives for Compensation Handling
• Verifying Compensating Transactions
• Recovery within long-running transactions
• CONCUR 2005 – Concurrency Theory
• On primitives for compensation handling as adaptable processes

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)