License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2017.15
URN: urn:nbn:de:0030-drops-80346
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/8034/
Knapp, Alexander ;
Mossakowski, Till
UML Interactions Meet State Machines - An Institutional Approach
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.
BibTeX - Entry
@InProceedings{knapp_et_al:LIPIcs:2017:8034,
author = {Alexander Knapp and Till Mossakowski},
title = {{UML Interactions Meet State Machines - An Institutional Approach}},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-033-0},
ISSN = {1868-8969},
year = {2017},
volume = {72},
editor = {Filippo Bonchi and Barbara K{\"o}nig},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8034},
URN = {urn:nbn:de:0030-drops-80346},
doi = {10.4230/LIPIcs.CALCO.2017.15},
annote = {Keywords: UML, state machines, interactions, composite structure diagrams, institutions, multi-view consistency}
}
Keywords: |
|
UML, state machines, interactions, composite structure diagrams, institutions, multi-view consistency |
Collection: |
|
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) |
Issue Date: |
|
2017 |
Date of publication: |
|
17.11.2017 |