Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

Jens Kohlmeyer, Walter Guttmann. Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 206-217, Springer, 2009. [doi]

Abstract

Abstract is missing.