A Theory Agenda for Component-Based Design

DOI10.1007/978-3-319-15545-6_24MaRDI QIDQ5256362zbMATH OpenOpenAlexFDO

Authors Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL http://infoscience.epfl.ch/record/209929

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 2080757
• A modal interface theory for component-based design
• Modal specification theories for component-based design
• Principles of component-based design of intelligent agents
• scientific article; zbMATH DE number 2000455
• Component-based software architectures: A framework based on inheritance of behavior

Cites work

• A framework for automated distributed implementation of component-based models
• A Notion of Glue Expressiveness for Component-Based Systems
• Behaviour, Interaction and Dynamics
• Calculi for synchrony and asynchrony
• Causal semantics for the algebra of connectors
• Compositional Verification for Component-Based Systems and Application
• Configuration and dynamic reconfiguration of components using the coordination paradigm
• Conflict-Tolerant Features
• Connector rewriting with high-level replacement systems
• Event algebra for transition systems composition application to timed automata
• Feature integration using a feature construct
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Reo: a channel-based coordination model for component composition
• Synthesis from Component Libraries
• The Algebra of Connectors—Structuring Interaction in BIP
• The origins of structural operational semantics

Cited in

(7)

• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Formal specification and verification of dynamic parametrized architectures
• A heterogeneous characterisation of component-based system design in a categorical setting
• A Notion of Glue Expressiveness for Component-Based Systems
• Towards a theory of glue
• Theoretical Aspects of Computing – ICTAC 2005
• A general framework for architecture composability

Describes a project that uses

Uses Software

• D-Finder
• Ptolemy
• Reo

This page was built for publication: A Theory Agenda for Component-Based Design

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