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.