Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Manfred Broy; María Victoria Cengarle; Bernhard Rumpe 
Titel:
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,...    »
 
Stichworte:
UML; formal semantics; mathematical logic; state-based models 
Jahr:
2007 
Jahr / Monat:
2007-02-01 00:00:00 
Seiten/Umfang:
26