A Modal Interface Theory for Component-based Design

DOI10.3233/FI-2011-416zbMath1242.68147OpenAlexW1557653052MaRDI QIDQ2895779

Benoît Caillaud, Jean-Baptiste Raclet, Axel Legay, Roberto Passerone, Albert Benveniste, Eric Badouel

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-416

zbMATH Keywords

compositional reasoninginterface automatamodal mu-calculusinterface theorycomponent-based systemmodal specifications

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (23)

Mediator Synthesis in a Component Algebra with Data ⋮ Nondeterministic modal interfaces ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Event algebra for transition systems composition application to timed automata ⋮ ACTL for modal interface automata ⋮ A linear-time branching-time perspective on interface automata ⋮ A generalised theory of interface automata, component compatibility and error ⋮ Interface automata for shared memory ⋮ An algebraic theory of interface automata ⋮ Taming Dr. Frankenstein: contract-based design for cyber-physical systems ⋮ From interface automata to hypercontracts ⋮ A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories ⋮ Unnamed Item ⋮ Refinement modal logic ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Model-Based Testing ⋮ Interface theories for concurrency and data ⋮ A linear-time-branching-time spectrum for behavioral specification theories ⋮ A Generalised Theory of Interface Automata, Component Compatibility and Error ⋮ Logical vs. behavioural specifications ⋮ Unnamed Item ⋮ Moving from interface theories to assembly theories ⋮ Refinement checking on parametric modal transition systems

Uses Software

• Ptolemy

This page was built for publication: A Modal Interface Theory for Component-based Design