Requirements for workflow modeling in P2P - workflows derived from collaboration establishment

Web services advocate loosely coupled systems, although current applications are limited to centrally controlled structures. The reason for this limitation is the lack of a method for deciding collaboration consistency, that is deadlock freeness and boundedness, in a decentralized way. In particular, an intuitive approach classifies collaborations incorrectly being inconsistent due to the loss of information introduced by the decentralization. In this paper we identify loss of message ordering and message parameter value constraints caused by the decentralization to be the reasons for incorrect decision results. The proposed approach to overcome this issue is to explicate these constraints, which cannot represent in common workflow models.

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

[2]  Karl Aberer,et al.  A language for information commerce processes , 2001, Proceedings Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems. WECWIS 2001.

[3]  Mario Banville.  SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations , 1996, COORDINATION.

[4]  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..

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

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

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

[8]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[9]  Karl Aberer,et al.  Separating Business Process from User Interaction in Web-Based Information Commerce , 2003, Electron. Commer. Res..

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

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

[12]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows to Enable Business-to-Business , 2002, Electron. Commer. Res..

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

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[15]  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).