zbMATH — the first resource for mathematics

Three-level process specification for dynamic service outsourcing: from Petri nets to ebXML and WFPDL. (English) Zbl 1283.90021
Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 264-280 (2003).
Summary: Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers are selected on the fly during process enactment. The cooperation between the parties is specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards service matchmaking and cross-organizational process enactment and hence has to conform to market and specification standards. Process enactment, however, relies on intra-organizational process specifications that have to comply with the infrastructure available in an organization. In this paper, we present a three-level process specification framework for dynamic contract-based service outsourcing. This framework relates the two process specification levels through a third, conceptual level. Petri nets are used for conceptual process specification, whereas the external and internal levels are based on the ebXML standard respectively workflow management technology. We show how the framework can be placed in the context of infrastructures for cross-organizational process support.
For the entire collection see [Zbl 1028.00015].
90B70 Theory of organizations, manpower planning in operations research
68Q60 Specification and verification (program logics, model checking, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI