An institutional approach to communicating UML state machines

DOI10.1007/978-3-030-99429-7_12MaRDI QIDQ6535554zbMATH OpenFDO

Authors Tobias Rosenberger, Alexander Knapp, Markus Roggenbach

Publication date 23 January 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• UML interactions meet state machines -- an institutional approach
• A Heterogeneous Approach to UML Semantics
• scientific article; zbMATH DE number 1670514
• Compositional operational semantics of a UML-kernel-model language
• scientific article; zbMATH DE number 2097479

Cites work

• CASL reference manual. The complete documentation of the common algebraic specification language.
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Institutions: abstract model theory for specification and programming
• Modal logic
• Relating CASL with other specification languages: the institution level.
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• UML interactions meet state machines -- an institutional approach

This page was built for publication: An institutional approach to communicating UML state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535554)