An Institutional Approach to Communicating UML State Machines
Tobias Rosenberger, Alexander Knapp, Markus Roggenbach · Lecture notes in computer science · 2022
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 $$\mathcal {M}^{\downarrow }_{\mathcal {D}}$$ M D ↓ . A theoroidal comorphism maps $$\mathcal {M}^{\downarrow }_{\mathcal {D}}$$ M D ↓ into the $$\textsc {Casl}$$ C A S L institution. This allows for symbolic reasoning on communicating UML state machines.