A general framework for architecture composability

DOI10.1007/S00165-015-0349-8MaRDI QIDQ736458zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 4 August 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 839543 (Why is no real title available?)
• A basic algebra of stateless connectors
• A general framework for architecture composability
• Categories for Software Engineering
• Causal semantics for the algebra of connectors
• Conflict-Tolerant Features
• Depth-First Search and Linear Graph Algorithms
• Feature integration using a feature construct
• Feature interaction: a critical review and considered forecast.
• Reo: a channel-based coordination model for component composition
• The Algebra of Connectors—Structuring Interaction in BIP

Cited in

(13)

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

Describes a project that uses

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)