Automatic Generation of Workflow-extended Domain Models ( extended version )

The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical precedence among the different business activities (i.e. the units of work). Up to now, workflow models have been commonly managed through specific subsystems, called workflow management systems. In this paper we advocate for the integration of the workflow specification in the system domain model. This workflow-extended domain model is automatically derived from the initial workflow specification. Then, model-driven development methods may depart from the extended domain model to automatically generate an implementation of the system enforcing the business processes in any final technology platform, thus avoiding the need of basing the implementation on a dedicated workflow engine.

[1]  Heinrich Hußmann,et al.  OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[2]  Akhil Kumar,et al.  A reference model for team-enabled workflow management systems , 2001, Data Knowl. Eng..

[3]  Rik Eshuis,et al.  Verification support for workflow design with UML activity graphs , 2002, ICSE '02.

[4]  Carlo Combi,et al.  Temporal Conceptual Modelling of Workflows , 2003, ER.

[5]  Hyerim Bae,et al.  Automatic control of workflow processes using ECA rules , 2004, IEEE Transactions on Knowledge and Data Engineering.

[6]  Stephen A. White,et al.  Process Modeling Notations and Workflow Patterns , 2004 .

[7]  Nora Koch,et al.  Modeling Business Processes in Web Applications with ArgoUWE , 2004, UML.

[8]  António Rito Silva,et al.  Workflow Access Control from a Business Perspective , 2004, ICEIS.

[9]  Suk-Ho Kang,et al.  Model-Driven Approach to Workflow Execution , 2004, Business Process Management.

[10]  Stefano Ceri Process Modeling in Web Applications , 2005, OTM Conferences.

[11]  Shane Sendall,et al.  Declarative techniques for model-driven business process integration , 2005, IBM Syst. J..

[12]  Alin Deutsch,et al.  The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae , 2005, ICWE.

[13]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[14]  Jordi Cabot,et al.  Incremental Evaluation of OCL Constraints , 2006, CAiSE.

[15]  Antoni Olivé A method for the definition of integrity constraints in object-oriented conceptual modeling languages , 2006, Data Knowl. Eng..

[16]  Jordi Cabot,et al.  Conceptual Modelling Patterns for Roles , 2006, J. Data Semant..

[17]  Cristina Gómez,et al.  Facilitating the definition of general constraints in UML , 2006, MoDELS'06.