A Rewriting Logic Approach to OWL-S Composite Process Formal Specification

OWL-S is one of the leading standards for the description of Web services on the Semantic Web. However its composite process specification is lack of precise mathematic semantic which leads the process specification described in OWL-S is only a semi-formal one, and canpsilat do reasoning and formal analysis in this part. This paper proposes a formal framework for enriching composite process description with rewriting logic that facilitates compositional reasoning about services in OWL-S composite process model. The technique is based on Maude language, a rewriting logic based methodology in which formal modeling and analysis can be used from the earliest phases of system design to uncover many errors and inconsistencies in composition, and to reach high assurance for critical components with runtime verification of OWL-S composite process specification.

[1]  HuaiKou Miao,et al.  Formal Specification for Secure Electronic Data Interchange System in Maude , 2007, 2007 IEEE International Conference on Automation and Logistics.

[2]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[3]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[4]  Antonio Vallecillo,et al.  Writing ODP Enterprise Specifications in Maude A Case Study , 2001 .

[5]  He Huang,et al.  DDL: Embracing Actions into Semantic Web , 2006, Intelligent Information Processing.

[6]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[7]  Anupriya Ankolekar,et al.  Towards a Formal Verification of OWL-S Process Models , 2005, SEMWEB.

[8]  Katia P. Sycara,et al.  Semantic Web Services Monitoring: An OWL-S Based Approach , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).