Communicating sequential processes
Communicating sequential processes
Communications of the ACM
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Theoretical Computer Science
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
The notions of consistency and predicate locks in a database system
Communications of the ACM
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Communicating Hierarchical State Machines
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Process Compensation Language
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Software reliability: The role of programmed exception handling
Proceedings of an ACM conference on Language design for reliable software
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Extending the concept of transaction compensation
IBM Systems Journal
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
CONCUR 2005 - Concurrency Theory
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
A Distributed Pi-Calculus
BPEL Cookbook: Best Practices for SOA-based integration and composite applications development
BPEL Cookbook: Best Practices for SOA-based integration and composite applications development
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus
APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Looking into Compensable Transactions
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Design and verification of long-running transactions in a timed framework
Science of Computer Programming
Formal Modeling of Transaction Behavior in WS-BPEL
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
Fault, Compensation and Termination in WS-BPEL 2.0 -- A Comparative Analysis
Web Services and Formal Methods
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
The Influence of an External Transaction on a BPEL Scope
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Checking Behavioral Specification of BPEL Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
COWS: a timed service-oriented calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Algebraic semantics for compensable transactions
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Formal methods and hybrid real-time systems
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
Liveness of communicating transactions
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Executable semantics for compensating CSP
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A parametric communication model for the verification of BPEL4WS compositions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling long–running transactions with communicating hierarchical timed automata
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Local-lag and timewarp: providing consistency for replicated continuous applications
IEEE Transactions on Multimedia
System structure for software fault tolerance
IEEE Transactions on Software Engineering
GestIT: a declarative and compositional framework for multiplatform gesture definition
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
As computer systems continue to grow in complexity, the possibility of failure increases. At the same time, the increase in computer system pervasiveness in day-to-day activities bring along increased expectations on their reliability. This has led to the need for effective and automatic error-recovery techniques to resolve failures. Transactions enable the handling of failure propagation over concurrent systems due to dependencies, restoring the system to the point before the failure occurred. However, in various settings, especially when interacting with the real world, reversal is not possible. The notion of compensations has been long advocated as a way of addressing this issue, through the specification of activities which can be executed to undo partial transactions. Still, there is no accepted standard theory; the literature offers a plethora of distinct formalisms and approaches. In this survey, we review the compensations from a theoretical point of view by (i) giving a historic account of the evolution of compensating transactions; (ii) delineating and describing a number of design options involved; (iii) presenting a number of formalisms found in the literature, exposing similarities and differences; (iv) comparing formal notions of compensation correctness; (v) giving insights regarding the application of compensations in practice; and (vi) discussing current and future research trends in the area.