DagSemProc.06351.11.pdf
- Filesize: 279 kB
- 19 pages
Document
System model for UML – The interactions case
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6351
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-04-11
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)
https://doi.org/10.4230/DagSemProc.06351.11
https://doi.org/10.4230/DagSemProc.06351.11
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).
Keywords
- System model
- UML
- interaction
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads