A compositional specification theory for component behaviours

DOI10.1007/978-3-642-28869-2_8MaRDI QIDQ2892725zbMATH OpenOpenAlexFDO

Authors Taolue Chen, Chris Chilton, Marta Kwiatkowska, Bengt Jonsson

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

componentscompositionalityconjunctionI/O automatainterface automatalogic LTSquotientrefinementspecification theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algebraic theory of interface automata
• Modal specification theories for component-based design
• Revisiting timed specification theories: a linear-time perspective
• Compositional refinement of interactive systems
• A modal interface theory with data constraints

Cited in

(45)

• An explanatory presentation of composition rules for assumption- commitment specifications
• Composition of assumption-commitment specifications in a UNITY style
• Factorizing fault tolerance.
• Specification transformers: a predicate transformer approach to composition
• An abstract contract theory for programs with procedures
• A formal framework for distributed cyber-physical systems
• Richer interface automata with optimistic and pessimistic compatibility
• A generalised theory of interface automata, component compatibility and error
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Error-pruning in interface automata
• Nondeterministic modal interfaces
• scientific article; zbMATH DE number 1612492 (Why is no real title available?)
• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• Automated synthesis of application-layer connectors from automata-based specifications
• Quotient of acceptance specifications under reachability constraints
• A generalised theory of interface automata, component compatibility and error
• On formal specification of software components and systems
• The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
• A compositional trace logic for behavioural interface specifications
• Scenario-driven component behavior derivation
• Mediator Synthesis in a Component Algebra with Data
• scientific article; zbMATH DE number 5368992 (Why is no real title available?)
• Compositionality Through an Operational Semantics of Contexts
• An algebraic theory of interface automata
• Compositional refinement of interactive systems
• scientific article; zbMATH DE number 1304371 (Why is no real title available?)
• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• scientific article; zbMATH DE number 1973973 (Why is no real title available?)
• scientific article; zbMATH DE number 2080014 (Why is no real title available?)
• scientific article; zbMATH DE number 1487473 (Why is no real title available?)
• scientific article; zbMATH DE number 1487739 (Why is no real title available?)
• Revisiting timed specification theories: a linear-time perspective
• Trace- and failure-based semantics for responsiveness
• scientific article; zbMATH DE number 2113972 (Why is no real title available?)
• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Refinement-preserving plug-in components
• Assembly theories for communication-safe component systems
• Towards a theory of glue
• Formal Methods for Components and Objects
• Specifying, relating and composing object oriented interfaces, components and architectures
• Constructive Specifications for Compositional Units
• Formal Methods for Components and Objects
• Implementation and Application of Automata
• A compositional semantic theory for synchronous component-based design.
• Component composition preserving behavioral contracts based on communication traces

This page was built for publication: A compositional specification theory for component behaviours

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