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 *