Aliki Ott née Tsiolakis - Publications

ABSTRACT
Consistency between UML class and sequence diagrams is an important issue in object-oriented models. But there is no formal approach to handle this issue in the UML report, and this kind of consistency analysis is not supported by UML modelling tools. Both of these problems are addressed in this paper. For this purpose, UML class diagrams are represented by attributed type graphs together with graphical constraints and UML sequence diagrams by attributed graph grammars. In this framework consistency of the UML diagrams means that all graphs generated by the attributed graph grammar are typed over the type graph and satisfy all the graphical constraints corresponding to the UML class diagram. Consistency checking techniques of the algebraic theory of graph grammars are used to develop an algorithm which allows to analyze and check this kind of consistency. This algorithm has been implemented in Java using the AGG system independently of existing UML modeling tools.

POSTSCRIPT [.ps.gz]
SLIDES [.pdf]

BIBTEX

@InProceedings{TE00,
  author =    {Tsiolakis, Aliki and Ehrig, Hartmut},
  title =     {Consistency Analysis between {UML} Class and
               Sequence Diagrams using Attributed Graph Gammars}, 
  booktitle = {Proc. GraTra 2000 - Joint APPLIGRAPH and GETGRATS Workshop
               on Graph Transformation Systems},
  crossref =  {GraTra2000},
  pages =     {77-86}
}

@Proceedings{GraTra2000,
  title =     {Proc. GraTra 2000 - Joint APPLIGRAPH and GETGRATS Workshop
               on Graph Transformation Systems},
  year =      {2000},
  key =       {GraTra2000},
  editor =    {Ehrig, H. and Taentzer, G.},
  number =    {2000-02},
  address =   {},
  month =     Mar,
  publisher = {Technische Universit{\"a}t Berlin, Department of
               Computer Science}
}