Home // ICSEA 2011, The Sixth International Conference on Software Engineering Advances // View article

A Proof-based Approach for Verifying Composite Service Transactional Behavior

Authors:
Lazhar Hamel
Mohamed Graiet
Mourad Kmimech
Mohamed Tahar Bhiri
Walid Gaaloul

Keywords: web service composition; Event-B; transactional web service; proof; verification.

Abstract:
Web services are software components accessible via Internet. Web services are defined independently from any execution context. A key challenge of Web service compositions 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. In this work, we propose an approach to formalize a model of Web services composition to check and ensure reliable execution. To achieve this, we propose a proof oriented approach for the formalization and verification of transactional behavior of web services composition using Event-B.

Pages: 386 to 392

Copyright: Copyright (c) IARIA, 2011

Publication date: October 23, 2011

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-165-6

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011