Title: Conflict detection in composite web services based on model checking

Authors: Yeon-Seok Kim; Dong-Hoon Shin; Hyun-Bae Jeon; Kyong-Ho Lee; Kee-Seong Cho; Wonjoo Park

Addresses: Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea ' Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea ' Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea ' Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea ' Intelligent Convergence Media Research Department, Electronics and Telecommunications Research Institute, 138 Gajeongno, Yuseong-gu, Daejeon 305-700, South Korea ' Intelligent Convergence Media Research Department, Electronics and Telecommunications Research Institute, 138 Gajeongno, Yuseong-gu, Daejeon 305-700, South Korea

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.

Keywords: conflict detection; model checking; composite web services; OWL-S; SWRL; SPIN; correctness claims; modelling; service development.

DOI: 10.1504/IJWGS.2013.057470

International Journal of Web and Grid Services, 2013 Vol.9 No.4, pp.394 - 430

Received: 08 May 2013
Accepted: 22 Sep 2013

Published online: 30 Sep 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article