System model for UML – The interactions case

Cengarle, María Victoria

doi:10.4230/DagSemProc.06351.11

Document

System model for UML – The interactions case

Author María Victoria Cengarle

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6351
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-04-11

PDF

File

PDF

DagSemProc.06351.11.pdf

Filesize: 279 kB
19 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06351.11
URN: urn:nbn:de:0030-drops-8572

Subject Classification

Keywords

System model
UML
interaction

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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

Cite As Get 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

Author Details

María Victoria Cengarle

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail