License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8572
URL: http://drops.dagstuhl.de/opus/volltexte/2007/857/

Cengarle, Mara Victoria

System model for UML -- The interactions case

pdf-format:
Dokument 1.pdf (280 KB)


Abstract

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).

BibTeX - Entry

@InProceedings{cengarle:DSP:2007:857,
  author =	{María Victoria Cengarle},
  title =	{System model for UML -- The interactions case},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  year =	{2007},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  number =	{06351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/857},
  annote =	{Keywords: System model, UML, interaction}
}

Keywords: System model, UML, interaction
Seminar: 06351 - Methods for Modelling Software Systems (MMOSS)
Issue date: 2007
Date of publication: 11.04.2007


DROPS-Home | Fulltext Search | Imprint Published by LZI