Abstract: qIn 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 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.qAbstract: aquot;In object-oriented software modeling using the Unified Modeling Language (UML) different aspects of a system are represented by different diagram types.
|Title||:||Consistency Analysis of UML Class and Sequence Diagrams Based on Attributed Typed Graphs and Their Transformation|