A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)

Semantic Web services, one of the most significant research areas within the semantic Web vision, has attracted increasing attention from both the research community and industry. The Web service modelling ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors presented in existing documentation.

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

[2]  Dieter Fensel,et al.  Structured Development of Problem Solving Methods , 2001, IEEE Trans. Knowl. Data Eng..

[3]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[4]  Graeme Smith.  Extending W for Object-Z , 1995, ZUM.

[5]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[6]  Roger Duke,et al.  Formal Object Oriented Specification Using Object-Z , 2000 .

[7]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[8]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[9]  S. M. Brien,et al.  W: A Logic for Z , 1991, Z User Workshop.

[10]  Jin Song Dong,et al.  The role of secondary attributes in formal object modelling , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[11]  David A. Carrington,et al.  Formalizing the UML Class Diagram Using Object-Z , 1999, UML.

[12]  Mick Kerrigan,et al.  Web Services Modeling Ontology , 2006, Semantic Web Services, Processes and Applications.

[13]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[14]  Graeme Smith,et al.  A fully abstract semantics of classes for Object-Z , 1995, Formal Aspects of Computing.

[15]  Jin Song Dong,et al.  Class Union and Polymorphism , 1993, TOOLS.

[16]  Jin Song Dong,et al.  A combined approach to checking web ontologies , 2004, WWW '04.

[17]  Jos de Bruijn,et al.  The Web Service Modeling Language WSML: An Overview , 2006, ESWC.

[18]  Sixth IEEE International Conference On Engineering Of Complex Computer Systems , 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

[19]  WoonKiong Tan,et al.  A semantic model of a small typed functional language using Object-Z , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[20]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[21]  Jin Song Dong,et al.  Verifying DAML+OIL and beyond in Z/EVES , 2004, Proceedings. 26th International Conference on Software Engineering.

[22]  Jin Song Dong,et al.  Checking and Reasoning about Semantic Web through Alloy , 2003, FME.