Finding Trading Partners to Establish Ad-hoc Business Processes

Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically characterized by a description of the exchanged messages and by the potential message sequences. These semantic meta-data are required to enable efficient and precise searching and finding of potential trading partners. Based on the experience of current web technology, manual maintenance of meta-data is neglected by most editors, therefore the meta-data must be generated automatically. Within this paper, we propose a method to derive a specification of potential message sequences based on a private workflow model. Further, we describe an algorithm for matchmaking of message sequence specifications as part of a search engine for ad-hoc business processes.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[3]  Dickson K. W. Chiu,et al.  View-Based Contracts in an E-Service Cross-Organizational Workflow Environment , 2001, TES.

[4]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.

[5]  Abder Koukam,et al.  Formal Specification and Prototyping of Multi-agent Systems , 2000, ESAW.

[6]  Morad Benyoucef,et al.  An Evaluation of Formalisms for Negotiations in E-commerce , 2000, DCW.

[7]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[8]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[9]  Benjamin C. Pierce,et al.  Theoretical Aspects of Computer Software , 2001, Lecture Notes in Computer Science.

[10]  Massimo Mecella,et al.  Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[12]  Quan Z. Sheng,et al.  SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment , 2002, VLDB.

[13]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[14]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .