A general framework for architecture composability
type: Item
instance of: scholarly article
title: A general framework for architecture composability
zbMATH Open document ID: 1342.68029
author: Paul C. Attie
author: Eduard Baranov
author: Simon Bliudze
author: Joseph Sifakis
author: Mohamad Y. Jaber
published in: Formal Aspects of Computing
publication date: 2016-08-04T00:00:00Z
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6609069
zbMATH Keywords: architecture composability
zbMATH Keywords: component-based frameworks
zbMATH Keywords: safety
zbMATH Keywords: liveness
zbMATH Keywords: BIP
describes a project that uses: Ptolemy
describes a project that uses: Reo
describes a project that uses: Metropolis
MaRDI profile type: Publication
Wikidata QID: Q59436819
full work available at URL: s00165-015-0349-8
OpenAlex ID: W2175855740
cites work: Reo: a channel-based coordination model for component composition
cites work: A basic algebra of stateless connectors
cites work: The Algebra of Connectors—Structuring Interaction in BIP
cites work: Causal semantics for the algebra of connectors
cites work: Feature interaction: a critical review and considered forecast.
cites work: Conflict-Tolerant Features
cites work: Q4864236
cites work: Categories for Software Engineering
cites work: Q3777424
cites work: Q3787422
cites work: Q3992568
cites work: Feature integration using a feature construct
cites work: Depth-First Search and Linear Graph Algorithms
DBLP publication ID: journals/fac/AttieBBJS16
DOI: 10.1007/S00165-015-0349-8
description: scientific article; zbMATH DE number 6609069