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

Authors:
Michael Kohler;Jan Ortmann
Affiliations:
University of Hamburg, Germany;University of Hamburg, Germany
Venue:
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) - Volume 01
Year:
2005

Citing 0
Cited 3

A Formal Model of Multi-Agent Organisations

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
SONAR/OREDI: a tool for creation and deployment of organisation models

MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
A Formal Model of Multi-Agent Organisations

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

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.