Modeling Snapshot of Composite WS Execution by Colored Petri Nets
Cardinale, Yudith; Rukoz, Marta; Angarita Arocha, Rafaël (2013), Modeling Snapshot of Composite WS Execution by Colored Petri Nets, in Lacroix, Zoé; Ruckhaus, Edna; Vidal, Maria-Esther, Resource Discovery, Springer : Berlin, p. 23-44. 10.1007/978-3-642-45263-5_2
Type
Communication / ConférenceDate
2013Conference title
5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012Conference date
2012-05Conference city
HeraklionConference country
GreeceBook title
Resource DiscoveryBook author
Lacroix, Zoé; Ruckhaus, Edna; Vidal, Maria-EstherPublisher
Springer
Published in
Berlin
ISBN
978-3-642-45262-8
Number of pages
180Pages
23-44
Publication identifier
Metadata
Show full item recordAuthor(s)
Cardinale, Yudith
Universidad Simon Bolivar [USB]
Rukoz, Marta
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Angarita Arocha, Rafaël
Universidad Simon Bolivar [USB]
Abstract (EN)
The global transactional property of a Transactional Composite Web Service (TCWS) allows recovery processes if a Web Service (WS) fails during the execution process. The following actions can be performed if a WS fails: retry the faulty WS, substitute the faulty WS, or compensate the executed WSs. In consequence, these fault-tolerance mechanisms ensure the atomicity property of a TCWS with an all-or-nothing endeavor. In this paper, we present a formal definition of a checkpointing approach based in Colored Petri-Nets (CPNs) properties, in which the execution process and the actions performed in case of failures rely on unrolling processes of CPNs. Our checkpointing approach allows to relax the atomic transactional property of a TCWS in case of failures. The all-or-nothing transactional property becomes to the something-to-all property. A snapshot of the most possible advanced partial result is taken in case of failures and it is returned to the user (user gets something), providing the possibility of restarting the TCWS from an advanced execution state to complete the result (user gets all later), without affecting its original transactional property. We present the execution algorithms with the additionally capacity of taking snapshot in case of failures and experimental results to show the reception of partial outputs due to the relaxation of the all-or-nothing property.Subjects / Keywords
TCWSJEL
C89 - OtherRelated items
Showing items related by title and author.
-
Cardinale, Yudith; Angarita Arocha, Rafaël; Rukoz, Marta (2012) Article accepté pour publication ou publié
-
Angarita Arocha, Rafaël; Rukoz, Marta; Cardinale, Yudith (2016) Article accepté pour publication ou publié
-
Angarita Arocha, Rafaël; Cardinale, Yudith; Rukoz, Marta (2012) Communication / Conférence
-
Cardinale, Yudith; Angarita Arocha, Rafaël; Rukoz, Marta (2014) Article accepté pour publication ou publié
-
Angarita Arocha, Rafaël; Cardinale, Yudith; Rukoz, Marta (2013) Communication / Conférence