LIPIcs - Leibniz International Proceedings in Informatics. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Doi
Abstract
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
