Overview on decentralized establishment of consistent multi-lateral collaborations based on asynchronous communication

Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consistency, that is, fulfillment of all constraints of individual services and deadlock-freeness. This paper introduces a decentralized approach to consistency checking, which utilizes only bilateral views of the collaboration.

[1]  Robert Tolksdorf.  Coordinating work on the Web with workspaces , 2000, Proceedings IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2000).

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

[3]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[4]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

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

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

[7]  Keith D. Swenson,et al.  Workflow Interoperability Standards for the Internet , 2000, IEEE Internet Comput..

[8]  Robert Tolksdorf.  Coordination Technology for Workflows on the Web: Workspaces , 2000, COORDINATION.

[9]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[10]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[11]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[12]  A. Martens.  Verteilte Gesch?aftsprozesse-Modellierung und Verifikation mit Hilfe von Web Services , 2004 .

[13]  Karl Aberer,et al.  Requirements for workflow modeling in P2P - workflows derived from collaboration establishment , 2004, Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004..