Specifying web workflow services for finding partners in the context of loose inter-organizational workflow

Authors:
Eric Andonoff;Lotfi Bouzguenda;Chihab Hanachi
Affiliations:
IRIT Laboratory, University Toulouse 1, Toulouse Cedex, France;IRIT Laboratory, University Toulouse 1, Toulouse Cedex, France;IRIT Laboratory, University Toulouse 1, Toulouse Cedex, France
Venue:
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Year:
2005

Citing 6
Cited 3

Inter-organizational workflows for enterprise coordination

Coordination of Internet agents
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Semantic Web Services

IEEE Intelligent Systems
DAML-S: Web Service Description for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Multiagent Systems with Workflows

IEEE Internet Computing
The Petri net markup language: concepts, technology, and tools

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

A coordination framework for Cooperative Information Gathering

International Journal of Advanced Intelligence Paradigms
Engineering deontic protocols by means of organizational Petri nets

Engineering Applications of Artificial Intelligence
An Agent-Based Model for Autonomic Coordination of Inter-Organizational Business Processes

Informatica

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with Web Workflow Services (W2S) description languages that help organizations to find partners in the context of loose Inter-Organizational Workflow (IOW). Loose IOW refers to occasional cooperation between organizations, free of structural constraints, where the partners involved and their number are not pre-defined. Such a dynamic and heterogeneous context requires the definition of a W2S description language allowing workflow service providers to publish their capabilities and workflow service requesters to express their needs. Current Web services languages do not permit to describe adequately workflow services (structure and behavior) by lack of expressive power and/or formal semantics. In this paper, we show how the appropriate combination of Petri Nets with Objects (PNO) and OWL-S allows the specification, validation and publication of workflow services. On the one hand, PNOs permit the formal and graphical specification of workflow services, their simulation and validation. On the other hand, OWL-S permits the publication of workflow services on the Web. OWL-S has also the advantage to include the ontology concept which can be used to solve semantic problems between IOW partners. Moreover, we provide rules and algorithms which automatically derive OWL-S specifications from PNOs ones. This work has been implemented.