1 Search Results for "Knapp, Alexander"

Document
DOI: 10.4230/LIPIcs.CALCO.2017.15
UML Interactions Meet State Machines - An Institutional Approach

Authors: Alexander Knapp and Till Mossakowski

Published in: LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)

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.
Cite as

Alexander Knapp and Till Mossakowski. UML Interactions Meet State Machines - An Institutional Approach. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{knapp_et_al:LIPIcs.CALCO.2017.15,
  author =	{Knapp, Alexander and Mossakowski, Till},
  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 =	{Bonchi, Filippo and K\"{o}nig, Barbara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.15},
  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}
}
  • Refine by Author
  • 1 Knapp, Alexander
  • 1 Mossakowski, Till

  • Refine by Classification

  • Refine by Keyword
  • 1 UML
  • 1 composite structure diagrams
  • 1 institutions
  • 1 interactions
  • 1 multi-view consistency
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact