A modal interface theory for component-based design
DOI10.3233/FI-2011-416zbMATH Open1242.68147OpenAlexW1557653052MaRDI QIDQ2895779FDOQ2895779
Authors: Jean-Baptiste Raclet, Benoît Caillaud, Axel Legay, Roberto Passerone, Eric Badouel, Albert Benveniste 
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
Recommendations
compositional reasoninginterface automatamodal mu-calculusinterface theorycomponent-based systemmodal specifications
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (31)
- Title not available (Why is that?)
- Mediator Synthesis in a Component Algebra with Data
- An algebraic theory of interface automata
- Title not available (Why is that?)
- Moving from interface theories to assembly theories
- Interface theories for concurrency and data
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Model-based testing
- ACTL for modal interface automata
- Nondeterministic modal interfaces
- Composition of model interface. A theorem of model composition
- Refinement modal logic
- Refinement checking on parametric modal transition systems
- Compatibility properties of synchronously and asynchronously communicating components
- A modal interface theory with data constraints
- Event algebra for transition systems composition application to timed automata
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- 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
- Logical vs. behavioural specifications
- Modal specification theories for component-based design
- A linear-time branching-time perspective on interface automata
- A linear-time-branching-time spectrum for behavioral specification theories
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
- From interface automata to hypercontracts
- Nondeterministic modal interfaces
- Information-flow interfaces
- Interface automata for shared memory
- A Theory Agenda for Component-Based Design
Uses Software
This page was built for publication: A modal interface theory for component-based design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2895779)
