2026-07-20T05:43:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:857 2024-03-06T11:07:03Z ddc:004 open_access

System model for UML – The interactions case Cengarle, María Victoria System model UML interaction 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). Schloss Dagstuhl – Leibniz-Zentrum für Informatik María Victoria Cengarle 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06351.11 urn:nbn:de:0030-drops-8572 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.11 eng https://creativecommons.org/licenses/by/4.0/legalcode