Modal Interface Theories for Communication-Safe Component Assemblies

DOI10.1007/978-3-642-23283-1_11MaRDI QIDQ3105749zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexander Knapp

Publication date 6 January 2012

Published in Theoretical Aspects of Computing – ICTAC 2011 (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44448

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Assembly theories for communication-safe component systems
• A modal interface theory for component-based design
• Safety interface scheme for component-based safety critical software
• Modal specification theories for component-based design
• scientific article; zbMATH DE number 2089421
• Synthesis of Safe Message-Passing Systems
• Building a Modal Interface Theory for Concurrency and Data
• A modal type theory for formalizing trusted communications
• scientific article; zbMATH DE number 1759600

Cites work

• Modal I/O Automata for Interface and Product Line Theories
• On Communicating Finite-State Machines
• On weak modal compatibility, refinement, and the MIO workbench

Cited in

(5)

• Compositionality of safe communication in systems of team automata
• Moving from interface theories to assembly theories
• Compatibility in a multi-component environment
• Assembly theories for communication-safe component systems
• Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures

Describes a project that uses

Uses Software

• MIO Workbench

This page was built for publication: Modal Interface Theories for Communication-Safe Component Assemblies

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