kirancodes.me
To Proof Maintenance & Beyond!

Model Processing Tools in UML

Johannes Koskinen, Jari Peltonen, Petri Selonen, Tarja Systä, Kai Koskimies

Abstract

The Unified Modeling Language (UML) provides several diagram types, viewing a system from different perspectives. In this research, we exploit the logical relationships between different UML models. We propose operations to compare, merge, slice and synthesize UML diagrams based on these relationships. In a formal demonstration, we show how statechart diagrams can be synthesized semi-automatically from a set of sequence diagrams using an interactive algorithm called MAS. We also demonstrate how a class diagram, annotated with pseudocode presentations of key operations, can be synthesized from sequence diagrams, and how class diagrams and sequence diagrams can be sliced against each other.

BibTeX
@inproceedings{Koskinen-al:ICSE01,
  author    = {Johannes Koskinen and
               Jari Peltonen and
               Petri Selonen and
               Tarja Syst{\"{a}} and
               Kai Koskimies},
  title     = {Model Processing Tools in {UML}},
  booktitle = {ICSE},
  pages     = {819--820},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers