@inproceedings{6d2b875daf8e47c99dbd372029f01958,
title = "Verifying composite service transactional behavior with EVENT-B",
abstract = "A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services transactional compositions using the Event-B method.",
keywords = "Event-B, proof, refinement, transactional web service, verification, web service composition",
author = "Lazhar Hamel and Mohamed Graiet and Mourad Kmimech and Bhiri, \{Mohamed Tahar\} and Walid Gaaloul",
year = "2011",
month = sep,
day = "30",
doi = "10.1007/978-3-642-23798-0\_7",
language = "English",
isbn = "9783642237973",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "67--74",
booktitle = "Software Architecture - 5th European Conference, ECSA 2011, Proceedings",
note = "5th European Conference on Software Architecture, ECSA 2011 ; Conference date: 13-09-2011 Through 16-09-2011",
}