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

Graph-Based Models for Managing Development Processes, Resources, and Products

Abstract. Management ofdevelopment processes in di erent engineering disciplines is a challenging task. We present anintegrated approach which covers not only the activities to be carried out, but also the resources required and the documents produced. Integrated management of processes, resources, and products is based on a model which is formally speci ed by a programmed graph rewriting system. Management tools are generated from the formal speci cation. In this way, we obtain a management system which assists in the coordination of developers cooperating in the development of a complex technical product.

Beyond Stereotyping: Metamodeling Approaches for the UML

The UML is currently being used as the universal technique for modeling object-oriented applications across a wide range of domains. Developing a truly adequate uniform modeling technique in the face of these diverse domains seems an unsolvable quest and contrasts domain specific software engineering activities. Recently, many adaptations to the UML have been made to reflect a domains world view. These adaptations often exceed the UML's own extension mechanisms and result in yet another urban UML slang. However, domain-specifically adapting the UML metamodel becomes increasingly important in the context of model checking and code generation mechanisms. Therefore solutions should be found to fully support metamodeling within the UML and UML CASE tools. The paper discusses and evaluates the UML's inherent as well as proprietary metamodeling approaches and will provide domain driven ideas for a meta-modeling approach for a diversly used Unified Modeling Language 1

AHEAD: A Graph-Based System for Modeling and Managing Development Processes

Management of development processes in different engineering disciplines is a challenging task. The AHEAD system addresses these challenges by providing an integrated environment for modeling and managing development processes. Products, activities, and resources are managed in an integrated way; furthermore, AHEAD supports evolving development processes by seamless interleaving of planning and execution

Using UML for Software Process Modeling

We examine the benefits of using an object-oriented modeling language for software process modeling. We show how the Unified Modeling Language (UML) can be used to model software processes based on dynamic task nets, which evolve continuously during enactment