Article
A formal verification approach of conversations in composite web services using NuSMV
Frontiers in Artificial Intelligence and Applications
Document Type
Conference Proceeding
Publication Date
1-1-2009
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. © 2009 IOS Press. All rights reserved.
DOI Link
10.3233/978-1-60750-049-0-245
ISBN
9781607500490
Publisher
IOS Press
Disciplines
Keywords
- Behaviors,
- Composite Web Service,
- NuSMV,
- Orchestration,
- Symbolic Model Checking
Scopus ID
72949113185
Indexed in Scopus
Yes
Open Access
No
https://doi.org/10.3233/978-1-60750-049-0-245
Citation Information
Melissa Kova, Jamal Bentahar, Zakaria Maamar and Hamdi Yahyaoui. "A formal verification approach of conversations in composite web services using NuSMV" Frontiers in Artificial Intelligence and Applications Vol. 199 Iss. 1 (2009) p. 245 - 261 Available at: http://works.bepress.com/zakaria-maamar/65/