UML Interactions Meet State Machines - An Institutional Approach
Alexander Knapp, Till Mossakowski · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017
UML allows the multi-viewpoint modelling of systems. One important question is whether an interaction as specified by a sequence diagram can be actually realised in the system. Here, the latter is specified as a combination of several state machines (one for each lifeline in the interaction) by a composite structure diagram. In order to tackle this question, we formalise the involved UML diagram types as institutions, and their relations as institution (co)morphisms.