Aliki
Tsiolakisemail: aliki@cs.tu-berlin.de
| Publications | Research Interests | Formal Specification Group (TFS) | Department of Computer Science | Technische Universität Berlin |
| Aliki
Tsiolakis |
email: aliki@cs.tu-berlin.de |
ABSTRACT
In a UML model, different aspects of a system are covered by different
types of diagrams and this bears the risk that an overall system
specification becomes inconsistent or incomplete. Hence, it is important
to provide means to check the consistency and completeness of a UML model.
This problem is addressed in this report by integrating the information
specified in class and statechart diagrams into sequence diagrams. The
information is represented as constraints attached to certain locations
of the object lifelines in the sequence diagram and this allows the identification
of gaps and contradictions in the specifications. Furthermore, dependencies
between the sequence diagrams of a model can be investigated based on the
previous results and represented in use case diagrams. The refined UML
diagrams provide the foundation for the next iteration of the specification.
Aliki Tsiolakis
Consistency Analysis of UML Class and Sequence
Diagrams based on Attributed Typed Graphs and their Transformation
Technische Universität Berlin, Technical Report No. 2000/3, March
2000.
ABSTRACT
In object-oriented software modeling using the Unified Modeling Language
(UML) different aspects of a system are represented by different diagram
types. Static structure is modeled by UML class diagrams and interaction
between different model components is modeled by UML interaction diagrams,
i.e. by sequence diagrams or collaboration diagrams. Hence the complete
description of a model consists of several diagrams of different diagram
types. Therefore consistency of diagrams and consistency between different
diagram types is an important issue.
In this paper, consistency analysis between class and sequence diagrams
based on attributed typed graphs and their transformation is described.
More precisely, class diagrams are translated into an attributed typed
graph called class graph and the multiplicity adornments into application
constraints called multiplicity constraints. Sequence diagrams are represented
by a graph grammar called interaction graph grammar. The consistency checking
comprises existence, visibility and multiplicity checking. For consistency
analysis consistency checking techniques of the algebraic theory of graph
grammars using algebraic specifications for the attribute components are
used to develop an algorithm which allows us to analyse and check this
kind of consistency.
A. Tsiolakis, H. Ehrig
Consistency Analysis of UML Class and Sequence
Diagrams using Attributed Graph Grammars
In Proc. GRATRA 2000 (Ehrig, Taentzer Eds.), TU Berlin, FB Informatik,
TR No. 2000-2, pp. 77-86, March 2000
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.
March 2001