Unifying models

DOI10.1007/BFB0023444MaRDI QIDQ5047155zbMATH OpenOpenAlexFDO

Authors Bernhard Steffen

Publication date 9 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0023444

zbMATH Keywords

verificationconsistencybehaviourabstractioncompletenessdecidabilityrefinementtemporal logicexpressivitypartial evaluationoperational semanticsarchitecturetransition systemintermediate languagetemporal models

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Unifying Theories of Objects
• The unified modeling language
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Synergistic verification and validation of systems and software engineering models
• Formal concepts for an integrated internal model of the UML

Cites work

• scientific article; zbMATH DE number 6084400 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Action Semantics
• Characteristic formulae for processes with divergence
• Data flow analysis as model checking
• Generating data flow analysis algorithms from modal specifications
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Results on the propositional \(\mu\)-calculus
• Statecharts: a visual formalism for complex systems
• Synthesis of Communicating Processes from Temporal Logic Specifications
• The complexity of propositional linear temporal logics
• Towards a formal foundation of the specification and description language SDL

Cited in

(5)

• Towards unambiguous model fragments
• ULTRA-UNIVERSAL MODELS
• Foundations of Software Science and Computational Structures
• Relative and absolute order-of-magnitude models unified
• Combining different models

Describes a project that uses

Uses Software

• Z
• MONA

This page was built for publication: Unifying models

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