IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "An institutional approach to Communicating UML State Machines"

by Alexander Knapp

Tue, 06 September 2022 at 04:00 pm in Lipari, Italy

Joint work with: Tobias Rosenberger, Markus Roggenbach

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.

Slides
Paper