On translating UML models into graph transformation systems

  • Authors:

  • Karsten Hölscher;Paul Ziemann;Martin Gogolla

  • Affiliations:

  • Department of Computer Science, University of Bremen, Bremen, Germany;Department of Computer Science, University of Bremen, Bremen, Germany;Department of Computer Science, University of Bremen, Bremen, Germany

  • Venue:
  • Journal of Visual Languages and Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working graph which represents the current state of the modeled system. In order to support UML models which use OCL, we introduce a specific graph transformation approach that incorporates full OCL in the common UML fashion. The considered UML subset is defined by means of a metamodel similar to the UML 1.5 metamodel. The concept of a system state that represents the state of the system at a specific point in time during execution is likewise introduced by means of a metamodel. The simulated system run is performed by applying graph transformation rules on the working graph. The approach has been implemented in a research prototype which allows the modeler to execute the specified model and to validate the basic aspects of the model in an early software development phase.