A Notion of Glue Expressiveness for Component-Based Systems

DOI10.1007/978-3-540-85361-9_39zbMath1160.68458OpenAlexW1578262153MaRDI QIDQ3541041

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)

Related Items

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, Functional BIP: embedding connectors in functional programming languages, A framework for automated distributed implementation of component-based models, A formal algebraic approach for the quantitative modeling of connectors in architectures, Unnamed Item, Expressiveness of component-based frameworks: a study of the expressiveness of BIP, Behaviour, Interaction and Dynamics, Feedback in Synchronous Relational Interfaces, Building distributed controllers for systems with priorities, Causal semantics for the algebra of connectors, Runtime Verification of Component-Based Systems, A modular formal semantics for Ptolemy, A Theory Agenda for Component-Based Design

Cites Work

• SOS formats and meta-theory: 20 years after
• Calculi for synchrony and asynchrony
• The Algebra of Connectors—Structuring Interaction in BIP
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item