License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06351.11
URN: urn:nbn:de:0030-drops-8572
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/857/
Go to the corresponding Portal |
Cengarle, María Victoria
System model for UML -- The interactions case
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:DagSemProc.06351.11,
author = {Cengarle, Mar{\'\i}a Victoria},
title = {{System model for UML – The interactions case}},
booktitle = {Methods for Modelling Software Systems (MMOSS)},
pages = {1--19},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {6351},
editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2007/857},
URN = {urn:nbn:de:0030-drops-8572},
doi = {10.4230/DagSemProc.06351.11},
annote = {Keywords: System model, UML, interaction}
}
Keywords: |
|
System model, UML, interaction |
Collection: |
|
06351 - Methods for Modelling Software Systems (MMOSS) |
Issue Date: |
|
2007 |
Date of publication: |
|
11.04.2007 |