Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets

Author

Köhler, Michael ; Ortmann, Jan

Author_Institution

Dept. of Comput. Sci., Hamburg Univ.

Volume

1

fYear

2005

fDate

28-30 Nov. 2005

Firstpage

107

Lastpage

112

Abstract

Formalization of process behavior is a key issue for semantic Web services. However, this bears the disadvantage of clumsy specifications. In this paper we introduce a Petri net based approach to capture the semantics of Web services. It offers a visual modeling technique and means of refinement and composition. The model is very formal allowing for a clear specification of the semantics a process has. We combine ideas from the Petri net community with ideas from the description logic area focusing on ontologies

Keywords

Petri nets; formal specification; ontologies (artificial intelligence); semantic Web; Petri nets community; description logic; formal specification; semantic Web services; semantic service modeling; Algebra; Computational intelligence; Computer science; Logic functions; Ontologies; Petri nets; Semantic Web; Software agents; Vocabulary; Web services; Agents; High-level Petri Nets; Ontologies; Semantic Service Composition; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on

Conference_Location

Vienna

Print_ISBN

0-7695-2504-0

Type

conf

DOI

10.1109/CIMCA.2005.1631250

Filename

1631250