System model for UML – The interactions case

Author María Victoria Cengarle

Thumbnail PDF


  • Filesize: 279 kB
  • 19 pages

Document Identifiers

Author Details

María Victoria Cengarle

Cite AsGet BibTex

María Victoria Cengarle. System model for UML – The interactions case. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


A system model for an OO specification language is any timed state transition system whose states are composed of a data store, a control store, and a message pool. To define a semantics for any OO specification language (as e.g. UML) is the art of defining the transition function $Delta$ depending on the current state and on the input sofar that moreover observes certain rules. Having defined what a system model is, the challenge now is to establish when such a system model satisfies a message interchange specification (expressed by means of UML interactions).
  • System model
  • UML
  • interaction


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads