Verifying Composite Service Transactional Behavior with EVENT-B

Verifying Composite Service Transactional Behavior with EVENT-B

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 techniqu...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hamel, L., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Calculus
Context
Context modeling
Mathematical model
Reliability
Semantics
Web services
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/SKG.2011.35