The Influence of an External Transaction on a BPEL Scope

Kopp, Oliver; Mietzner, Ralph; Leymann, Frank

doi:10.1007/978-3-642-05148-7_27

Cited by 5 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, before achieving an orchestration, the parties involved should already have agreed to participate in the interaction. For more details about how BPEL relates to other protocols we refer the reader to [Sauter and Melzer 2005;Kopp et al 2009] and to [Van Der Aalst et al 2003;van den Heuvel 2008] for surveys about business process specification.…”

Section: Applications Of Compensationsmentioning

confidence: 99%

Recovery within long-running transactions

Colombo

Pace

2013

ACM Comput. Surv.

View full text Add to dashboard Cite

As computer systems continue to grow in complexity, the possibilities of failure increase. At the same time, the increase in computer system pervasiveness in day-to-day activities brought 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.

show abstract

Section: Applications Of Compensationsmentioning

confidence: 99%

Recovery within long-running transactions

Colombo

Pace

2013

ACM Comput. Surv.

View full text Add to dashboard Cite

show abstract

Coordination for Fragmented Loops and Scopes in a Distributed Business Process

Khalaf

Leymann

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Compensation by design

2014

View full text Add to dashboard Cite

The current dominance of the service-based paradigm reflects the success of specific design and architectural principles embodied in terms like SOA and REST. This paper suggests further principles for the design of services exhibiting long-running transactions (that is, transactions whose characteristic feature is that in the case of failure not all system states can be automatically restored: system compensation is required). The principles are expressed at the level of scope-based compensation and fault handling, and ensure the consistency of data critical to the business logic. They do so by demanding (a) either the commitment of all of the transaction or none of it, and (b) that compensation is assured in case of failure in ‘parent’ transactions. The notion of scope is captured algebraically (rather than semantically) in order to express design guidelines which ensure that a given transaction satisfies those principles. Transactional processes are constructed by parallel composition of services, and transactions with scopes in a single service are dealt with as a special case. The system semantics is formalised as a transition system (in Z) and the principles are expressed as formulae in linear temporal logic over runs of the transition system. That facilitates the model checking (using SAL) of their bounded versions. Two simple examples are used throughout to illustrate definitions and finally to demonstrate the approach.

show abstract

The Influence of an External Transaction on a BPEL Scope

Cited by 5 publications

References 13 publications

Recovery within long-running transactions

Recovery within long-running transactions

Coordination for Fragmented Loops and Scopes in a Distributed Business Process

Compensation by design

Contact Info

Product

Resources

About