Cross-organizational workflow integration using contracts

Enterprises are lining up into virtual enterprises to meet the ever-increasing customer's demands in a more flexible and effective way than before. Hence, the business processes as well as supporting workflow systems need to be tightly embedded into streamlined, virtual value chains that can transcend organizational boundaries. It is generally recognized that the combination of workflow with business-object component technology provides the required solution. However, today's widespread business workflow modeling techniques suffer from an object bias, ignoring the most essential coordination vehicle in the enterprise: communication, and the resulting commitments. In this paper, we present contracts that encapsulate (formal) commitments laid down as a set of obligations to coordinate and control the interaction between business workflows. We use the business contract specification language XLBC to formally link the Component Definition Language (CDL) specification of business object-based workflow systems. XLBC is an extension of the Formal Language for Business Communication (FLBC) and a framework for the semantics of XLBC transactions is described. Finally, we indicate a feasible implementation architecture on the basis of an emerging internet-enabled business process architecture, ebXML and Trading Partner Agreements (TPAs).

[1]  Paul W. P. J. Grefen,et al.  Cross-Organizational Transaction Support for Virtual Enterprises , 2000, CoopIS.

[2]  E. M. Verharen,et al.  A Language-Action Perspective on the Design of Cooperative Information Agents , 1997 .

[3]  Asit Dan,et al.  Long Running Application Models and Co-operating Monitors , 1999 .

[4]  Elisa Bertino,et al.  An Approach to Authorization Modeling in Object-Oriented Database Systems , 1994, Data Knowl. Eng..

[5]  Mike P. Papazoglou,et al.  Configuring Business Objects from Legacy Systems , 1999, CAiSE.

[6]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[7]  Donald E. Rimel,et al.  Leveraging legacy assets , 1996 .

[8]  Hans Weigand,et al.  Integrated Semantics for Information and Communication Systems , 1995, DS-6.

[9]  Heiko Ludwig,et al.  Virtual enterprise co-ordinator - agreement-driven gateways for cross-organisational workflow management , 1999, WACC.

[10]  Terry Winograd,et al.  The action workflow approach to workflow management technology , 1992, CSCW '92.

[11]  J.L.G. Dietz,et al.  Business modelling for business redesign , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[12]  Thomas Teufel,et al.  SAP R/3 Process Oriented Implementation: Iterative Process Prototyping , 1998 .

[13]  Hans Weigand,et al.  Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints , 1996, ISMIS.

[14]  Christian Stary,et al.  Virtualization of organizations: consequences for workflow modeling , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[15]  Chris Marshall,et al.  Enterprise modeling with UML: designing successful software through business analysis , 2000 .

[16]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[17]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[18]  Wilhelm Hasselbring,et al.  An Extensible Business Communication Language , 2000, CoopIS.

[19]  Mike P. Papazoglou,et al.  Cooperative Information Systems: Trends and Directions , 1997 .

[20]  Terry Winograd,et al.  A language/action perspective on the design of cooperative work , 1986, CSCW '86.

[21]  J. Habermas.  Theory of Communicative Action , 1981 .

[22]  J. Austin.  How to do things with words , 1962 .

[23]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

[24]  O KimbroughSteven,et al.  On automated message processing in electronic commerce and work support systems , 1997 .

[25]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[26]  Roel Wieringa,et al.  Deontic logic: a concise overview , 1994 .

[27]  Hans Weigand,et al.  Meta-Patterns for Electronic Commerce Transactions Based on the Formal Language for Business Communication (FLBC) , 1998, Int. J. Electron. Commer..

[28]  Moira C. Norrie,et al.  Advances in Object-Oriented Modeling , 2000, Advances in Object-Oriented Data Modeling.