Conflict detection in composite web services based on model checking Online publication date: Tue, 05-Nov-2013
by Yeon-Seok Kim; Dong-Hoon Shin; Hyun-Bae Jeon; Kyong-Ho Lee; Kee-Seong Cho; Wonjoo Park
International Journal of Web and Grid Services (IJWGS), Vol. 9, No. 4, 2013
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.
Online publication date: Tue, 05-Nov-2013
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Web and Grid Services (IJWGS):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email firstname.lastname@example.org