Title :
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.
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;
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
DOI :
10.1109/CIMCA.2005.1631250
