Paper Info
Title
Conflict Detection In Composite Web Services Based On Model Checking
Abstract
We propose an efficient method to detect conflicts, which may occur during the execution time of composite web services, based on model checking. The proposed method does not only check whether a composite service satisfies the correctness claims specified by a service developer, but it also detects any possible conflicts from the control and data flow of a composite service at the time of service development. The proposed method divides correctness claims into four types depending on their application time: pre/post-condition, policy, and assumption. Specifically, composite services and correctness claims are modelled by OWL-S and SWRL, respectively. The proposed method automatically converts the control and data flow of an OWL-S composite service and the correctness claims into Promela code and LTL formulas, which are given as the input of a SPIN model checker. Experimental results under real-world scenarios show that the proposed method detects conflicts in composite web services effectively.
Year
DOI
Venue
2013
10.1504/IJWGS.2013.057470
INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
Keywords
Field
DocType
conflict detection, model checking, composite web service, OWL-S, SWRL, SPIN
Model checking,Computer science,Correctness,Composite web services,OWL-S,Execution time,Promela,Distributed computing,SPIN model checker,Data flow diagram
Journal
Volume
Issue
ISSN
9
4
1741-1106
Citations 
PageRank 
References 
4
0.46
0
Authors
6
Name
Order
Citations
PageRank
Yeon-Seok Kim1605.59
DongHoon Shin230730.45
Hyun-Bae Jeon3686.64
Kyong-Ho Lee443947.52
Kee-Seong Cho5357.74
Wonjoo Park6103.65