On weak modal compatibility, refinement, and the MIO workbench

DOI10.1007/978-3-642-12002-2_15zbMATH Open1284.68339OpenAlexW1564626116MaRDI QIDQ3557076FDOQ3557076

Authors: Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker 

Publication date: 27 April 2010

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_15

Recommendations

• Modal specification theories for component-based design
• Modal Interface Automata
• Modal I/O Automata for Interface and Product Line Theories
• Modal interface automata
• Richer interface automata with optimistic and pessimistic compatibility

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (24)

• Stuttering for abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• EXPTIME-completeness of thorough refinement on modal transition systems
• Building a Modal Interface Theory for Concurrency and Data
• Featured Team Automata
• Connecting open systems of communicating finite state machines
• Moving from interface theories to assembly theories
• Richer interface automata with optimistic and pessimistic compatibility
• Interface theories for concurrency and data
• Can we communicate? Using dynamic logic to verify team automata
• ACTL for modal interface automata
• Assembly theories for communication-safe component systems
• Compatibility properties of synchronously and asynchronously communicating components
• Modal Open Petri Nets
• A modal interface theory with data constraints
• Modal Interface Theories for Communication-Safe Component Assemblies
• A generalised theory of interface automata, component compatibility and error
• A generalised theory of interface automata, component compatibility and error
• Extending modal transition systems with structured labels
• A linear-time branching-time perspective on interface automata
• Error-pruning in interface automata
• Nondeterministic modal interfaces
• Compatibility in a multi-component environment
• Interface automata for shared memory

Uses Software

• MIO Workbench

This page was built for publication: On weak modal compatibility, refinement, and the MIO workbench

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