A modal interface theory for component-based design

DOI10.3233/FI-2011-416MaRDI QIDQ2895779zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Modal Interface Automata
• Modal interface automata
• A modal interface theory with data constraints
• Nondeterministic modal interfaces
• Nondeterministic modal interfaces

Cited in

(31)

• An algebraic theory of interface automata
• Mediator Synthesis in a Component Algebra with Data
• scientific article; zbMATH DE number 7455750 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• 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
• Composition of model interface. A theorem of model composition
• Nondeterministic modal interfaces
• Refinement modal logic
• Refinement checking on parametric modal transition systems
• Compatibility properties of synchronously and asynchronously communicating components
• Event algebra for transition systems composition application to timed automata
• A modal interface theory with data constraints
• 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
• A linear-time branching-time perspective on interface automata
• Modal specification theories for component-based design
• 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
• Nondeterministic modal interfaces
• Interface automata for shared memory
• From interface automata to hypercontracts
• Information-flow interfaces
• A Theory Agenda for Component-Based Design

Describes a project that uses

Uses Software

• Ptolemy

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)