Modeling and formal verification framework of Web services composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Modeling and formal verification framework of Web services composition

Guerfel Rawand
  • Fonction : Auteur
Zohra Sbaï
  • Fonction : Auteur

Résumé

Abstract: To ensure reliable and efficient communication in B2B environments, we relied on the use of composite Web services. Indeed, in some cases, a service cannot provide the functionality required by the user unless it communicates with other services. This leads to the notion of Web services composition. The communication of these Web services has to be guaranteed without errors such as deadlocks. In this way, formal verification of Web services composition is a focused-on research field. It is in this context that our work is proposed. We have developed a tool for modeling and formal verification of Web services composition which is based on the modeling of these services by open workflow nets: a special class of Petri nets used to model business processes which communicate together via interface places. This tool checks temporal properties written in CTL against a WSC model translated into SMV code. The verification is ensured by invoking the NuSMV Model Checker.
Fichier non déposé

Dates et versions

hal-01126351 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126351 , version 1

Citer

Guerfel Rawand, Zohra Sbaï, Kamel Barkaoui. Modeling and formal verification framework of Web services composition. International Conference on Control, Engineering Information Technology (CEIT'13), Proceedings Engineering Technology, Jun 2013, X, France. pp.140-145. ⟨hal-01126351⟩
46 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More