A general framework for architecture composability

DOI10.1007/S00165-015-0349-8zbMATH Open1342.68029DBLPjournals/fac/AttieBBJS16OpenAlexW2175855740WikidataQ59436819 ScholiaQ59436819MaRDI QIDQ736458FDOQ736458

Eduard Baranov, Paul C. Attie, Mohamad Y. Jaber, Simon Bliudze, Joseph Sifakis

Publication date: 4 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-015-0349-8

Recommendations

• Composition for component-based modeling
• A Theory Agenda for Component-Based Design
• Composition: a fresh look at an old topic
• scientific article; zbMATH DE number 2087508
• scientific article; zbMATH DE number 1787170

zbMATH Keywords

BIPsafetylivenessarchitecture composabilitycomponent-based frameworks

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Reo: a channel-based coordination model for component composition
• Depth-First Search and Linear Graph Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• A basic algebra of stateless connectors
• The Algebra of Connectors—Structuring Interaction in BIP
• Causal semantics for the algebra of connectors
• Categories for Software Engineering
• Title not available (Why is that?)
• Feature interaction: a critical review and considered forecast.
• Conflict-Tolerant Features
• Title not available (Why is that?)
• Feature integration using a feature construct
• A general framework for architecture composability

Cited In (13)

• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Automatic construction of systems of distributed components from nested Petri nets models
• A compliant persistent architecture
• GNUC: a new universal composability framework
• Title not available (Why is that?)
• A Formal Approach to Security Architectures
• A general framework for architecture composability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Roads to higher dimensional polytopic projects. Reference architectures
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• SMT-based generation of symbolic automata
• Weighted propositional configuration logic over De Morgan algebras

Uses Software

• Reo
• Ptolemy
• Metropolis

This page was built for publication: A general framework for architecture composability

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