A Notion of Glue Expressiveness for Component-Based Systems

DOI10.1007/978-3-540-85361-9_39MaRDI QIDQ3541041zbMATH OpenOpenAlexFDO

Authors Simon Bliudze, Joseph Sifakis

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_39

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Towards a theory of glue
• scientific article; zbMATH DE number 7440178
• A Theory Agenda for Component-Based Design
• A Model of Component-Based Programming

Cites work

• Calculi for synchrony and asynchrony
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177780 (Why is no real title available?)
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The Algebra of Connectors—Structuring Interaction in BIP

Cited in

(16)

• First-order Glue
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Event algebra for transition systems composition application to timed automata
• A framework for automated distributed implementation of component-based models
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Functional BIP: embedding connectors in functional programming languages
• A modular formal semantics for Ptolemy
• Runtime verification of component-based systems
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• Feedback in synchronous relational interfaces
• Towards a theory of glue
• A Theory Agenda for Component-Based Design
• Behaviour, Interaction and Dynamics
• Building distributed controllers for systems with priorities
• Causal semantics for the algebra of connectors
• A formal algebraic approach for the quantitative modeling of connectors in architectures

This page was built for publication: A Notion of Glue Expressiveness for Component-Based Systems

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