Authors:
Michael Köhler
;
Daniel Moldt
and
Jan Ortmann
Affiliation:
University of Hamburg, Germany
Keyword(s):
Web Services, High-level Petri Nets, Semantic Service Composition, Ontologies.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
B2B, B2C and C2C
;
B2C/B2B Considerations
;
Business and Social Applications
;
Cloud Computing
;
Communication and Software Technologies and Architectures
;
e-Business
;
Enterprise Information Systems
;
e-Procurement and Web-Based Supply Chain Management
;
Internet and Collaborative Computing
;
Intranet and Extranet Business Applications
;
Process Design and Organisational Issues in E-Commerce
;
Public Sector Applications of E-Commerce
;
Semantic Web Technologies
;
Services Science
;
Society, e-Business and e-Government
;
Software Agents and Internet Computing
;
Web Information Systems and Technologies
Abstract:
Dynamic service composition requires a formal description of the services such that an agent can process these descriptions and reason about them. The amount of detail needed for an agent to grasp the meaning of a service may lead to clumsy specification.
Petri nets offer a visual modeling technique for processes, that offers a refinement mechanism. Through this,
a specification can be inspected on the level of detail needed for a given objective.
In this paper we introduce a Petri net based approach to capture the semantics of services by combining Petri nets ideas from the description logic area focusing on ontologies. The resulting framework can than be used by agents to plan about activities involving services.