Paolo Bottoni, Mark Minas (eds, Electronic Notes, Martin Gogolla, Paul Ziemann, Sabine Kuske
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that...