No Cover Image

Conference Paper/Proceeding/Abstract 594 views 45 downloads

An Institutional Approach to Communicating UML State Machines

Tobias Rosenberger, Alexander Knapp Orcid Logo, Markus Roggenbach Orcid Logo

Fundamental Approaches to Software Engineering, Pages: 205 - 224

Swansea University Authors: Tobias Rosenberger, Markus Roggenbach Orcid Logo

  • 60036.pdf

    PDF | Version of Record

    Copyright: The Author(s) 2022. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License

    Download (557.07KB)

Abstract

We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M↓D. A theoroidal comorphism maps M↓D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines.

Published in: Fundamental Approaches to Software Engineering
ISBN: 9783030994280 9783030994297
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60036
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M↓D. A theoroidal comorphism maps M↓D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines.
College: Faculty of Science and Engineering
Start Page: 205
End Page: 224