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

DOI10.1007/S00236-019-00337-7zbMATH Open1477.68174OpenAlexW2950053778MaRDI QIDQ2216474FDOQ2216474

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• 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

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)