TY - GEN
T1 - Verifying composite service transactional behavior using event calculus
AU - Gaaloul, Walid
AU - Rouached, Mohsen
AU - Godart, Claude
AU - Hauswirth, Manfred
PY - 2007
Y1 - 2007
N2 - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.
AB - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.
UR - http://www.scopus.com/inward/record.url?scp=38349118087&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38349118087&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-76848-7_23
DO - 10.1007/978-3-540-76848-7_23
M3 - Conference contribution
AN - SCOPUS:38349118087
SN - 9783540768463
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 353
EP - 370
BT - On the Move to Meaningful Internet Systems 2007
PB - Springer Verlag
T2 - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
Y2 - 25 November 2007 through 30 November 2007
ER -