Semantics of UML: Towards a System Model for UML -- The State Machine Model

Manfred Broy; María Victoria Cengarle; Bernhard Rumpe

User: Guest

I0711

If you experience problems opening the document, please try this link.

Document type:: Technical Report
Author(s):: Manfred Broy; María Victoria Cengarle; Bernhard Rumpe
Title:: Semantics of UML: Towards a System Model for UML -- The State Machine Model
Abstract:: The document introduces the control part of a system model targeted at UML 2.0. This control model is the last of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität München (Munich, Germany) and the Technische Universität Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany). The long term goal is the definition of a formal semantics for structure, behaviour and interaction of object-oriented, possibly distributed systems, which is abstract enough to be of general value and detailed enough to constitute a semantic fundament for the UML. «
The document introduces the control part of a system model targeted at UML 2.0. This control model is the last of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität München (Munich, Germany) and the Technische Universität Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany). The long term goal is the definition of a formal semantics for structure, behaviour and interaction of object-oriented,... »
Keywords:: UML; formal semantics; mathematical logic; state-based models
Year:: 2007
Year / month:: 2007-02-01 00:00:00
Pages:: 26
BibTeX

Occurrences:

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Technische Berichte 2007