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

Author First name, Last name, Institution

Melissa Kova, Concordia University
Jamal Bentahar, Concordia University
Zakaria Maamar, Zayed University
Hamdi Yahyaoui, King Fahd University

Document Type

Conference Proceeding

Source of Publication

Frontiers in Artificial Intelligence and Applications

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

Volume

199

Issue

1

First Page

245

Last Page

261

Disciplines

Computer Sciences

Keywords

Behaviors, Composite Web Service, NuSMV, Orchestration, Symbolic Model Checking

Scopus ID

72949113185

Recommended Citation

Kova, Melissa; Bentahar, Jamal; Maamar, Zakaria; and Yahyaoui, Hamdi, "A formal verification approach of conversations in composite web services using NuSMV" (2009). All Works. 102.
https://zuscholars.zu.ac.ae/works/102

Indexed in Scopus

yes

Open Access

no