Title :
Formal Analysis of OWL-S Process Model by FDR
Author :
Gong, Ping ; Jiang, Jianmin ; Zhang, Shi
Author_Institution :
Dept. of Comput. Sci., Fujian Normal Univ., Fuzhou, China
Abstract :
Nowadays, SOA is considered as a promising architecture for enterprise applications integration. OWL-S, as a Semantic Web Service technology, promises to facilitate various service tasks, such as service specification, discovery, composition, etc.. It is essential to analysis the OWL-Sprocess model for the quality issue of the composition of web services before its deployment. In this work, By CSPm and FDR tool, a formal analysis method for OWL-S process model, especially the interplay between the control part and dataflow part, is proposed, and its validity is illustrated by the extended version of the Bravo Air process model.
Keywords :
Web services; formal specification; knowledge representation languages; semantic Web; service-oriented architecture; BravoAir process model; CSPm; FDR; OWL-S process model; SOA; enterprise applications integration; formal analysis; semantic Web service technology; service composition; service discovery; service specification; Analytical models; Computational modeling; Process control; Semantics; Syntactics; System recovery; Web services;
Conference_Titel :
Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific
Conference_Location :
Jeju Island
Print_ISBN :
978-1-4673-0206-7
DOI :
10.1109/APSCC.2011.79
