UML interactions meet state machines -- an institutional approach

DOI10.4230/LIPICS.CALCO.2017.15zbMATH Open1433.68097MaRDI QIDQ4580211FDOQ4580211

Authors Alexander Knapp, Till Mossakowski

Publication date 13 August 2018

zbMATH Keywords

interactionsinstitutionsstate machinesUMLcomposite structure diagramsmulti-view consistency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A Heterogeneous Approach to UML Semantics
• scientific article; zbMATH DE number 1951193
• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1670514
• scientific article; zbMATH DE number 1860616

Cited in

(9)

• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• A Heterogeneous Approach to UML Semantics
• Revisiting Semantics of Interactions for Trace Validity Analysis
• Views on behaviour protocols and their semantic foundation
• An institutional approach to communicating UML state machines
• scientific article; zbMATH DE number 1951193 (Why is no real title available?)
• Decomposing Interactions
• Formal Methods in Software and Systems Modeling
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper

This page was built for publication: UML interactions meet state machines -- an institutional approach

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