The Algebra of Connectors—Structuring Interaction in BIP

DOI10.1109/TC.2008.26zbMath1390.68031OpenAlexW2098346263MaRDI QIDQ4564086

Joseph Sifakis, Simon Bliudze

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2008.26

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Related Items

Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Configuration logics: modeling architecture styles, Functional BIP: embedding connectors in functional programming languages, SMT-based generation of symbolic automata, Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation, Modelling Uncertainty in Architectures of Parametric Component-Based Systems, 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, Unnamed Item, A Notion of Glue Expressiveness for Component-Based Systems, A ground-complete axiomatization of stateless bisimilarity over Linda, Conditions of contracts for separating responsibilities in heterogeneous systems, Feedback in Synchronous Relational Interfaces, Building distributed controllers for systems with priorities, Causal Semantics for the Algebra of Connectors, Causal semantics for the algebra of connectors, A general framework for architecture composability, A Theory Agenda for Component-Based Design