FACETA*: Checkpointing for Transactional Composite Web Service Execution based on Petri-Nets
Cardinale, Yudith; Angarita Arocha, Rafaël; Rukoz, Marta (2012), FACETA*: Checkpointing for Transactional Composite Web Service Execution based on Petri-Nets, Procedia Computer Science, 10, p. 874-879. 10.1016/j.procs.2012.06.115
TypeArticle accepté pour publication ou publié
Journal nameProcedia Computer Science
MetadataShow full item record
Abstract (EN)Failures during the execution of Transactional Composite Web Services (TCWSs) can be repaired by forward or back–ward recovery processes, according to the component WSs transactional properties. In previous works, we presented TCWS fault tolerant execution approaches relying on WSs replacement, on a compensation protocol, and on unrolling processes of Colored Petri-Nets (CPNs) to support forward and backward recovery. We represent a TCWS and its corresponding backward recovery process by CPNs. Even though these recovery processes ensure system consistency, backward recovery means that users do not get the desired answer to their queries and forward recovery could imply long waiting time for users to ﬁnally get the desired response. In this paper, we present an alternative fault tolerant approach in which, in case of failures, the unrolling process of the CPN controlling the execution of a TCWS is check–pointed and the execution ﬂow goes on as much as it is possible. In this way, users can have partial responses as soon as they are received and can re-submit the checkpointed CPN to re-start its execution from an advanced point of execution (checkpoint). We present the checkpointing algorithm integrated to our previous work.
Subjects / KeywordsCheckpointing; Composite Web Services; Transactional Properties; Fault Tolerant Execution; Petri-Nets; Colored Petri-Nets
Showing items related by title and author.