Modeling and Formally Checking Workflow Properties Using UML and OCL

In this paper, a new metamodel for workflows is described by using UML. The underlying UML class diagram is formally extended with OCL pre- and postconditions for operations and OCL invariants for system states. The metamodel allows the developer to specify processes, activities in processes and temporal relations between them. Known workflow patterns are formally captured in the metamodel and sophisticated temporal relations between activities can be expressed easily. Development of workflow models is explained as well as process instantiation and process execution on the basis of a tool realizing parts of the UML action semantics. Prototypical process execution and animation allows the designer to discover properties of the designed processes and activities in early phases of the development without the need for building a full implementation.

[1]  Gregor Engels,et al.  Analysis of UML Activities Using Dynamic Meta Modeling , 2007, FMOODS.

[2]  Stefan Kühne,et al.  Business Process Modelling with Continuous Validation , 2008, Business Process Management Workshops.

[3]  Andreas Wolff,et al.  Declarative Models for Business Processes and UI Generation using OCL , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[4]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[5]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[6]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[7]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[8]  W.M.P. van der Aalst,et al.  Towards a taxonomy of process flexibility (extended version) , 2007 .

[9]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[10]  Frada Burstein,et al.  Australian Journal of Information Systems , 2001 .

[11]  Michael Rosemann,et al.  Evaluation of Workflow Management Systems - A Meta Model Approach , 1998, Australas. J. Inf. Syst..

[12]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[13]  Ivo Vondrák,et al.  Business Process Modeling , 2007, Encyclopedia of Database Systems.

[14]  Jordi Cabot,et al.  Automatic generation of workflow-extended domain models , 2007, MODELS'07.

[15]  Mathias Weske,et al.  Oryx - An Open Modeling Platform for the BPM Community , 2008, BPM.

[16]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

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

[18]  Gregor Engels,et al.  Verification of Business Process Quality Constraints Based on Visual Process Patterns , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).