UML interactions meet state machines -- an institutional approach

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

Till Mossakowski, Alexander Knapp

Publication date: 13 August 2018

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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
• Formal Methods in Software and Systems Modeling
• Decomposing Interactions
• An institutional approach to communicating UML state machines

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)