|
|
|
 |
|
|
| |
References: Modelling Behaviour
| [DJHP98] |
Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli.
A compositional real-time semantics of STATEMATE designs.
In Compositionality: The Significant Difference, volume 1536 of
Lecture Notes in Computer Science, pages 186-238. Springer-Verlag,
1998. [ Abstract ] |
| [EHHS00] |
G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer.
Dynamic meta modeling: A graphical approach to the operational
semantics of behavioral diagrams in UML.
In Proceedings of the 3rd International Conference on the
Unified Modeling Language (UML 2000), volume 1939 of Lecture Notes in
Computer Science, pages 323-337. Springer, 2000. [ Abstract ] |
| [WB98] |
R. Wieringa and J. Broersen.
Minimal transition system semantics for lightweight class- and
behavior diagrams.
In Proceedings PSMT'98 Workshop on Precise Semantics for
Modeling Techniques. Technische Universität München TUM-I9803, 1998. [ http | Abstract ] |