文章基本信息

标题：UML Interactions Meet State Machines - An Institutional Approach
本地全文：下载
作者：Alexander Knapp ; Till Mossakowski
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：72
页码：15:1-15:15
DOI：10.4230/LIPIcs.CALCO.2017.15
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：UML; state machines; interactions; composite structure diagrams; institutions; multi-view consistency