Formalizing UML-Based Process Models Using Graph Transformations

Supporting technical development processes through process management environments is vital for a project's success. While process enactment enables a project manager to plan and monitor a process and guides the participating developers, process modeling aims at understanding, communicating and reusing process descriptions. Thus, requirements for languages supporting process enactment are quite different from those for languages supporting process modeling. In this paper we demonstrate how the task of process modeling can be tackled using a standard object-oriented modeling notation, the Unified Modeling Language. By transforming the resulting model into the formal notation of an underlying generic process model, we support its enactment. This generic model has been formally specified within the graph transformation system PROGRES. In this way we are able to provide suitable languages for process modeling and enactment within one coherent environment.

[1]  Axel Korthaus,et al.  Using UML for Business Object Based Systems Modeling , 1997, UML Workshop.

[2]  Bernhard Westfechtel,et al.  DYNAMITE: DYNAMIc Task nEts for software process management , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[3]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[4]  Sami Zahran.  Software process improvement - practical guidelines for business success , 1998 .

[5]  Wilhelm Schäfer,et al.  Concepts and implementation of a rule-based process engine/sup +/ , 1992, International Conference on Software Engineering.

[6]  Dennis Heimbigner,et al.  APPL/A: a language for software process programming , 1995, TSEM.

[7]  Bernhard Westfechtel,et al.  An environment for managing software development processes , 1997, Proceedings 8th Conference on Software Engineering Environments.

[8]  Andy Schürr,et al.  Graph Grammar Engineering with PROGRES , 1995, ESEC.

[9]  Volker Gruhn,et al.  The FUNSOFT Net Approach to Software Process Management , 1994, Int. J. Softw. Eng. Knowl. Eng..

[10]  Bernhard Westfechtel,et al.  AHEAD: A Graph-Based System for Modeling and Managing Development Processes , 1999, AGTIVE.

[11]  Bernhard Westfechtel.  Models and Tools for Managing Development Processes , 1999, Lecture Notes in Computer Science.

[12]  Bernhard Westfechtel,et al.  Using UML for software process modeling , 1999, ESEC/FSE-7.

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

[14]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.