An Evaluation of Inter-Organizational Workflow Modeling Formalisms

This paper evaluates the dynamic aspects of the UML in the context of inter-organizational workflows. Two evaluation methodologies are used. The first one is ontological and is based on the BWW (Bunge-Wand-Weber) models. The second validation is based on prototyping and consists in the development of a workflow management system in the aerospace industry. Both convergent and divergent results are found from the two validations. Possible enhancements to the UML formalism are suggested from the convergent results. On the other hand, the divergent results suggest the need for a contextual specification in the BWW models. Ce travail consiste en une evaluation des aspects dynamiques du language UML dans un contexte de workflow inter-organisationnel. Le choix du language par rapport a d'autres est motive par sa richesse grammaticale lui offrant une tres bonne adaptation a ce contexte. L'evaluation se fait par une validation ontologique basee sur les modeles BWW (Bunge-Wand-Weber) et par la realisation d'un prototype de systeme de gestion de workflows inter-organisationnels. A partir des resultats convergents obtenus des deux differentes analyses, des ameliorations au formalisme UML sont suggerees. D'un autre cote, les analyses divergentes suggerent une possibilite de specifier les modeles BWW a des contextes plus particuliers tels que ceux des workflows et permettent egalement de suggerer d'autres ameliorations possibles au langage.

[1]  Dave Chaffey GroupWare, Workflow and Intranets: Reengineering the Enterprise with Collaborative Software , 1998 .

[2]  Yanchun Zhang,et al.  An analytical evaluation of NIAM'S grammar for conceptual schema diagrams , 1996, Inf. Syst. J..

[3]  Yair Wand,et al.  Using objects for systems analysis , 1997, CACM.

[4]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  Ron Weber,et al.  On the ontological expressiveness of information systems analysis and design grammars , 1993, Inf. Syst. J..

[6]  Buhyun Hwang,et al.  Concurrency Control for Replicated Data in Distributed Real-Time Systems , 1996 .

[7]  Brian Henderson-Sellers,et al.  Grounding the OML metamodel in ontology , 2001, J. Syst. Softw..

[8]  Benn R. Konsynski,et al.  Uses and Consequences of Electronic Markets: An Empirical Investigation in the Aircraft Parts Industry , 1998, MIS Q..

[9]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[10]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[11]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[12]  Luis Garicano,et al.  The Effects of Business-to-Business E-Commerce on Transaction Costs , 2000 .

[13]  Gerhard Weikum,et al.  What workflow technology can do for electronic commerce , 1999 .

[14]  Robert W. Blanning,et al.  A Formal Approach to Workflow Analysis , 2000, Inf. Syst. Res..

[15]  Bill Curtis,et al.  Process modeling , 1992, CACM.

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

[17]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[18]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[19]  Ron Weber,et al.  An Ontological Evaluation of Systems Analysis and Design Methods , 1989, ISCO.

[20]  T. Bowler TREATISE ON BASIC PHILOSOPHY, VOLUME 4, ONTOLOGY II: A WORLD OF SYSTEMS, Mario Bunge, D. Reidel Publishing Company, Boston, 1979. 291 pp. , 1980 .

[21]  Peter Green,et al.  An ontological analysis of information systems analysis and design (ISAD) grammars in upper case tools , 1996 .

[22]  J. Gebauer,et al.  Business-to-business electronic commerce , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[23]  Michael Hammer,et al.  Reengineering Work: Don’t Automate, Obliterate , 1990 .

[24]  Vladimir Zwass Structure and Macro - Level Impacts of Electronic Commerce: From Technological Infrastructure to Ele , 1988 .

[25]  Michael Rosemann,et al.  Integrated Process Modeling: An Ontological Evaluation , 2000, Inf. Syst..

[26]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

[27]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[28]  Hans Weigand,et al.  Cross-organizational workflow integration using contracts , 2002, Decis. Support Syst..

[29]  K. Popper,et al.  La connaissance objective , 1982 .

[30]  Peter Green Enhancing the process of ontological analysis: The 'Who cares' dimension , 1999 .

[31]  R. Wise,et al.  Beyond the exchange--the future of B2B. , 2000, Harvard business review.

[32]  D. Hollingsworth The workflow Reference Model , 1994 .

[33]  Will Venters,et al.  Software engineering: theory and practice , 2006 .

[34]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[35]  Ron Weber,et al.  On the deep structure of information systems , 1995, Inf. Syst. J..

[36]  Ron Weber,et al.  An Ontological Model of an Information System , 1990, IEEE Trans. Software Eng..