An Enactment-Engine Based on Use-Cases

We show how one can control a workflow enactment enginebased on the information which is available in written use cases (as producedby requirements elicitation). We give details of how different aspectsof the engine can be configured, including the process definition,workflow participant profiles, user interface, audit data, etc. These techniqueshave been carried out in an industrial setting, with considerablesuccess. Our methods are applicable to engines for business process management,web service orchestration, and traditional workflow.

[1]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[2]  Julian Jang,et al.  A Service-Oriented Workflow Language for Robust Interacting Applications , 2005, OTM Conferences.

[3]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[4]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.

[5]  Keith Phalp,et al.  Comparing Use Case Writing Guidelines , 2001 .

[6]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

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

[8]  Woo Jin Lee,et al.  Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..

[9]  Marc Spraragen,et al.  An intelligent assistant for interactive workflow composition , 2004, IUI '04.

[10]  Russell R. Hurlbut.  A Survey of Approaches For Describing and Formalizing Use Cases , 1998 .

[11]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[12]  Wilkerson de L. Andrade,et al.  Generating interaction test cases for mobile phone systems from use case specifications , 2006, SOEN.

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

[14]  Fredrik Törner,et al.  Defects in automotive use cases , 2006, ISESE '06.

[15]  Wil M. P. van der Aalst,et al.  On the suitability of UML 2.0 activity diagrams for business process modelling , 2006, APCCM.

[16]  Ken Frazer,et al.  Review of "Managing software requirements, a use case approach by Dean Leffingwell and Don Widrig." Addison-Wesley 2003 , 2004, SOEN.

[17]  Aybüke Aurum,et al.  An Experiment in Inspecting the Quality of Use Case Descriptions , 2004, J. Res. Pract. Inf. Technol..

[18]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[19]  Jozef Gruska.  Mathematical Foundations of Computer Science 1977 , 1977, Lecture Notes in Computer Science.

[20]  E. B. Fernandez,et al.  Determining role rights from use cases , 1997, RBAC '97.

[21]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[22]  van der Wmp Wil Aalst,et al.  Workflow resource patterns , 2004 .

[23]  Dean Leffingwell,et al.  Managing Software Requirements: A Use Case Approach , 2003 .

[24]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[25]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[26]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[27]  Fabio Casati,et al.  Deriving Active Rules for Workflow Enactment , 1996, DEXA.

[28]  Arthur H. M. ter Hofstede,et al.  What's in a Service? , 2002, Distributed and Parallel Databases.

[29]  Sergey Diev,et al.  Software estimation in the maintenance context , 2006, SOEN.

[30]  Stefan Jablonski,et al.  A comprehensive approach to flexibility in workflow management systems , 1999 .