Search
 
loader loading subjects...
cover
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV
Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui
245 - 261
10.3233/978-1-60750-049-0-245
Frontiers in Artificial Intelligence and Applications
Volume 199: New Trends in Software Methodologies, Tools and Techniques
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.

$35.00 / €27.50 / £22.00
Add PDF to cart