What workflow technology can do for electronic commerce

Electronic Commerce (EC) is a rapidly growing research and development area of very high practical rele vance. A major challenge in successfully designing EC applications is to identify existing building-block technologies and integrate them into a common application framework. W e argue that workflow management technology should be a key building block for EC applications. W orkflow technology aims to provide as much computer support as possible to the modeling, execution, supervision, and possibly reengineering of business processes. Hence, it is beneficial to model major parts of EC applications also as workflows. W e identify properties and requirements of workflows specific to EC, and describe solutions which can already be provided by current workflow management technology . In addition, we point out necessary extensions to the state of the art of workflow management which require future research in several directions. An electronic version of this paper is available at: http://www–dbs.cs.uni–sb.de

[1]  Gustavo Alonso,et al.  Providing High Availability in Very Large Worklflow Management Systems , 1996, EDBT.

[2]  Sharad Mehrotra,et al.  INCAs: Managing Dynamic Workflows in Distributed Environments , 1996 .

[3]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  ShethAmit,et al.  An overview of workflow management , 1995 .

[5]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[6]  Amit P. Sheth,et al.  Scalable and Dynamic Work Coordination and Collaboration Systems , 1995 .

[7]  Andrzej Cichocki,et al.  Workflow and Process Automation: Concepts and Technology , 1997 .

[8]  Mathias Weske,et al.  The WASA Approach to Workflow Management for Scientific Applications , 1998 .

[9]  Gerhard Weikum,et al.  Enterprise-wide workflow management based on state and activity charts , 1998 .

[10]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[11]  Gustavo Alonso,et al.  WFMS: The Next Generation of Distributed Processing Tools , 1997, Advanced Transaction Models and Architectures.

[12]  Sushil Jajodia,et al.  Advanced Transaction Models and Architectures , 2012, Springer US.

[13]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[14]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[15]  M. Z. Muehlen,et al.  Workflow Management Coalition , 2000 .

[16]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[17]  David Harel,et al.  On visual formalisms , 1988, CACM.

[18]  A. Prasad Sistla,et al.  An architecture for consumer-oriented online database services , 1996, Proceedings RIDE '96. Sixth International Workshop on Research Issues in Data Engineering.

[19]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[20]  A. Prasad Sistla,et al.  Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach , 1983, POPL '83.

[21]  Nesime Tatbul,et al.  Design and Implementation of a Distributed Workflow Management System: METUFlow , 1998 .

[22]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[23]  Andreas Reuter,et al.  ConTracts Revisited , 1997, Advanced Transaction Models and Architectures.

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