Expressiveness of component-based frameworks: a study of the expressiveness of BIP

DOI10.1007/S00236-019-00337-7MaRDI QIDQ2216474zbMATH OpenOpenAlexFDO

Authors Eduard Baranov, Simon Bliudze

Publication date 16 December 2020

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-019-00337-7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7440178
• A Notion of Glue Expressiveness for Component-Based Systems
• Symbolic implementation of connectors in BIP
• Parameterized systems in BIP: design and model checking
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

Cites work

• scientific article; zbMATH DE number 3716792 (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?)
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• A Notion of Glue Expressiveness for Component-Based Systems
• A basic algebra of stateless connectors
• A general framework for architecture composability
• A non-interleaving process calculus for multi-party synchronisation
• Branching bisimilarity is an equivalence indeed!
• Causal semantics for the algebra of connectors
• Combined 19th international workshop on expressiveness in concurrency and 9th workshop on structured operational semantics, Newcastle upon Tyne, UK, September 3, 2012. Proceedings
• Composition for component-based modeling
• Connector algebras, Petri nets, and BIP
• Formal Methods for Components and Objects
• Relating BIP and Reo
• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• Software engineering and formal methods. 12th international conference, SEFM 2014, Grenoble, France, September 1--5, 2014. Proceedings
• The Algebra of Connectors—Structuring Interaction in BIP
• Towards a unified approach to encodability and separation results for process calculi
• Universal coalgebra: A theory of systems

Cited in

(3)

• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• A Notion of Glue Expressiveness for Component-Based Systems

Describes a project that uses

Uses Software

• Ptolemy

This page was built for publication: Expressiveness of component-based frameworks: a study of the expressiveness of BIP

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