A formal verification approach of conversations in composite web services using NuSMV

Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV.

Original languageBritish English
Title of host publicationProceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
StatePublished - 2009
Event8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09 - Prague, Czech Republic
Duration: 23 Sep 200925 Sep 2009

Publication series

NameProceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09

Conference

Conference8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
Country/TerritoryCzech Republic
CityPrague
Period23/09/0925/09/09

Keywords

  • Behaviors
  • Composite web service
  • NuSMV
  • Orchestration
  • Symbolic model checking

Fingerprint

Dive into the research topics of 'A formal verification approach of conversations in composite web services using NuSMV'. Together they form a unique fingerprint.

Cite this