University of Bremen Logo  
Research Group Theoretical Computer Science

Abstract Implementation of UML

UML is a graphical description language for the design and documentation of object-oriented software which has become more and more popular during the last years. The main modeling means of UML are several kinds of diagrams and logical formulas of the object constraint language OCL. Widely known examples of UML diagrams are class diagrams to represent the static parts of a model, and state diagrams for the behavioral components. Motivated by the similarity of UML diagrams and graphs, the following goals are pursued:

  • generation of UML diagrams with graph transformation systems using the language GRACE (see also GRACEland),
  • modeling of diagram transformations (e.g. between semantically equivalent diagrams) with graph transformation rules,
  • prototypical implementation of a syntax-driven editor and a transformator for UML diagrams based on the results of the previous goals.
  • definition of an integrated UML semantics which takes into account the interaction of the different types of UML diagrams.

Research in this area is supported by the Deutsche Forschungsgemeinschaft within the project Abstrakte Implementierung von und Dokumentation mit UML [abstract implementation of and documentation with UML] since January 2000.

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

++49(421)218 64451

Email (Secr.)
Helga Reinermann