A pi-calculus based semantics for WS-BPEL

Lucchi, Roberto; Mazzara, Manuel

doi:10.1016/j.jlap.2006.05.007

Cited by 179 publications

(90 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Most work has either focused on models for isolated transactions [4,17], including software transactional memory [18,1], or compensation-based transactions [5,9,8,20,11] where error recovery must be programmed explicitly.…”

Section: Related Workmentioning

confidence: 99%

Communicating Transactions

Vries

Koutavas

Hennessy

2010

CONCUR 2010 - Concurrency Theory

View full text Add to dashboard Cite

Abstract. We propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error recovery in distributed systems. We extend CCS with this construct and give a simple semantics for the extended calculus, called TransCCS. We develop a behavioural theory which is sound and complete with respect to the may-testing preorder, and use it to prove interesting laws and reason compositionally about example systems. Finally, we prove that communicating transactions do not increase the observational power of processes; thus CCS equivalences are preserved in the extended language.

show abstract

Section: Related Workmentioning

confidence: 99%

Communicating Transactions

Vries

Koutavas

Hennessy

2010

CONCUR 2010 - Concurrency Theory

View full text Add to dashboard Cite

show abstract

“…Different approaches can also be combined on the use of different user level expressiveness, existence of reasoning tools, user expertise both for verification and for the hierarchical refinement design method. Lucchi et al [15] formalized a novel orchestration language that improve the quality of BPEL specification and implementation.…”

Section: Related Workmentioning

confidence: 99%

Formalizing BPEL-TC Through Π-Calculus

Marwaha¹,

Banati

Bedi³

2013

IJWesT

View full text Add to dashboard Cite

show abstract

“…Another drawback is the strong limitation to only 8 very simple interaction patterns which are prescribed by the WSDL 2.0 [6]. To overcome this limit, BPEL can be equipped with an formal semantics as well as it is done for example in [22,23,21,33]. Secondly, it enables to avoid one-shot transformations.…”

Section: R3) Hierarchabilitymentioning

confidence: 99%

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

Borgert

Steinmetz

Mühlhäuser

2011

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. The future "Internet of Services" (IoS) will provide an open environment allowing market participants to offer and consume services over Internet marketplaces. It gives businesses the opportunity to outsource parts of their business processes. This leads to networks of cooperating businesses with a distributed execution of processes and provides a good support for inter-enterprise modeling. Many methods have been proposed to describe such processes, however most only focus on certain aspects and fall short of others. We present ePASS-IoS, a unified approach to describe processes and service choreographies with well-defined execution and verification semantics. With the formulation of the wellknown workflow and interaction patterns in ePASS-IoS, we show that its expressiveness is adequate. To clearly define the semantics of the language, we formalize it using a process algebra.

show abstract

A pi-calculus based semantics for WS-BPEL

Cited by 179 publications

References 27 publications

Communicating Transactions

Communicating Transactions

Formalizing BPEL-TC Through Π-Calculus

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

Contact Info

Product

Resources

About