Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski. An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, pages 11-28, Springer, 2002. [doi]
Abstract is missing.