Model-driven approach supporting formal verification for web service composition protocols - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Network and Computer Applications (JNCA) Année : 2013

Model-driven approach supporting formal verification for web service composition protocols

Christophe Dumez
  • Fonction : Auteur
  • PersonId : 855049
Mohamed Bakhouya
  • Fonction : Auteur
  • PersonId : 868570
Jaafar Gaber
Maxime Wack
  • Fonction : Auteur
  • PersonId : 855050
ECS

Résumé

Composite Web services development is a complex task involving specification, verification, implementation, and testing. Despite the fact that several languages have been proposed for composing Web services (e.g., BPEL, WSCI), there is a lack of well-defined formal semantics for formal analysis and verification. Moreover, current approaches are specific to a given programming language (e.g. BPEL) and they focus only on the verification of already implemented composite services. This paper proposes an approach for specifying, verifying and implementing composite services according to the Model-Driven Architecture principles. It makes use of formal methods, especially the LOTOS formal description language, to support composition verification at specification time. The benefit is that the composition specification is proven to be correct before its implementation with a programming language such as BPEL. A case study is also presented to show how a service composition can be specified in a workflow and then formally verified before executable code generation.

Dates et versions

hal-00981738 , version 1 (22-04-2014)

Identifiants

Citer

Christophe Dumez, Mohamed Bakhouya, Jaafar Gaber, Maxime Wack, Pascal Lorenz. Model-driven approach supporting formal verification for web service composition protocols. Journal of Network and Computer Applications (JNCA), 2013, 36 (Issue 1), pp.1102-1115. ⟨10.1016/j.jnca.2013.01.009⟩. ⟨hal-00981738⟩
46 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More