CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition

Cardinale, Yudith; Haddad, Joyce El; Manouvrier, Maude; Rukoz, Marta

doi:10.1504/ijwgs.2011.038389

Cited by 26 publications

(16 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This Section recall some important issues related to transactional properties and backward and forward recovery, presented in our previous works [7,9,10]. We consider that the Registry, in which all WSs are registered with their corresponding WSDL and OWLS documents, is modeled as a Colored Petri-Net (CPN), where WS inputs and outputs are represented by places and WSs, with their transactional properties, are represented by colored transitions -colors distinguish WS transactional properties [7].…”

Section: Tcws Fault-tolerant Executionmentioning

confidence: 99%

“…We consider that the Registry, in which all WSs are registered with their corresponding WSDL and OWLS documents, is modeled as a Colored Petri-Net (CPN), where WS inputs and outputs are represented by places and WSs, with their transactional properties, are represented by colored transitions -colors distinguish WS transactional properties [7]. The CPN representing the Registry describes the data flow relation among all WSs.…”

Section: Tcws Fault-tolerant Executionmentioning

confidence: 99%

“…Color(s ) ∈ {I='initial', R='running', E='executed', C='compesated', A='Abandonned'}thus, if color(s )='E' means that its corresponding WS s is being executed. In [7,9] we propose techniques to automatically generate both CPNs, CPN-T CW S Q and BRCPN-T CW S Q . The execution control of a TCWS is guided by a unrolling algorithm of its corresponding CPN-T CW S Q .…”

Section: Backward Recovery Process: Unrolling a Colored Petri-netmentioning

confidence: 99%

“…WS Composition and the related execution issues have been extensively treated in the literature by guaranteeing user QoS requirements and fault tolerant execution [7,11,16,18,21]. WSs that provide transactional properties are useful to guarantee reliable Transactional Composite WSs (TCWSs) execution, in order to ensure that the whole system remains in a consistent state even in presence of failures.…”

Section: Introductionmentioning

confidence: 99%

“…Indeed, TCWS have to adapt to the open, dynamically changing environment, and unpredictable conditions of distributed applications, where remote services may be affected by failures and availability of resources [27]. Generally, the control flow and the order of WSs execution is represented with a structure, such as workflows, graphs, or Petri-Nets [3,6,7,14]. The actual execution of such TCWS, carried out by an Executer, could be deployed with centralized or distributed control.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

FaCETa: Backward and Forward Recovery for Execution of Transactional Composite WS

Angarita

Cardinale

Rukoz

2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. In distributed software contexts, Web Services (WSs) that provide transactional properties are useful to guarantee reliable Transactional Composite WSs (TCWSs) execution and to ensure the whole system consistent state even in presence of failures. Fails during the execution of a TCWS can be repaired by forward or backward recovery processes, according to the component WSs transactional properties. In this paper, we present the architecture and an implementation of a framework, called FaCETa, for efficient, fault tolerant, and correct distributed execution of TCWSs. FaCETa relies on WSs replacement, on a compensation protocol, and on unrolling processes of Colored Petri-Nets to support fails. We implemented FaCETa in a Message Passing Interface (MPI) cluster of PCs in order to analyze and compare the behavior of the recovery techniques and the intrusiveness of the framework.

show abstract

Section: Tcws Fault-tolerant Executionmentioning

confidence: 99%

Section: Tcws Fault-tolerant Executionmentioning

confidence: 99%

Section: Backward Recovery Process: Unrolling a Colored Petri-netmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

FaCETa: Backward and Forward Recovery for Execution of Transactional Composite WS

Angarita

Cardinale

Rukoz

2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

A Transactional-QoS Driven Approach for Web Service Composition

et al. 2012

View full text Add to dashboard Cite

LNCS n°6799International audienceExisting Web Service architectures provide the basis for publishing applications as Web Services (WSs), and for composing existing WSs to provide new functionalities. To fully meet user requests when WSs are composed, functional characteristics of the WSs as well as Quality of Service (QoS) parameters and transactional capabilities of their executions, need to be simultaneously considered. QoS parameters describe WSs in terms of their behavior; transactional capabilities state whether a service is reliable during execution time if unpredictable failures occur. We formalize this WS composition problem as an optimization problem that considers at the same time functional, QoS, and transactional requirements. We also define a utility function that combines functionality, QoS, and transactional WS properties, to guide the service compositor into the space of compositions that best meet the QoS and transactional criteria. In addition, we propose a service compositor, named PT-SAM-Transac, which adapts a Petri-Net unfolding algorithm and efficiently traverses the space of optimal compositions. Our experiments show that PT-SAM-Transac outperforms a state-of-the-art solution (called SAM) by identifying compositions that better meet the QoS and transactional criteria, while the composition time of both approaches are in the same order of magnitude

show abstract