An institutional approach to communicating UML state machines

DOI10.1007/978-3-030-99429-7_12zbMATH Open1547.68469MaRDI QIDQ6535554FDOQ6535554

Authors: Tobias Rosenberger, Alexander Knapp, Markus Roggenbach 

Publication date: 23 January 2024

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

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)

Cites Work

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

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)