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

fYear

2011

fDate

12-15 Dec. 2011

Firstpage

215

Lastpage

222

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific

Conference_Location

Jeju Island

Print_ISBN

978-1-4673-0206-7

Type

conf

DOI

10.1109/APSCC.2011.79

Filename

6127965