Compatibility and inheritance in software architectures

DOI10.1016/S0167-6423(01)00002-8MaRDI QIDQ5949499zbMATH OpenOpenAlexFDO

Authors Carlos Canal, Ernesto Pimentel, J. M. Troya

Publication date 22 July 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(01)00002-8

zbMATH Keywords

process algebrassoftware architecture

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Study on behavioral compatibility of components in software architecture using object-oriented paradigm
• Component-based software architectures: A framework based on inheritance of behavior
• A process algebraic approach to software architecture design
• Process algebras as support for sustainable systems of services
• An ``abstract process approach to algebraic dynamic architecture description

Cited in

(10)

• An ``abstract process approach to algebraic dynamic architecture description
• A framework for specifying and verifying the behaviour of open systems
• On the usability of process algebra: An architectural view
• On the diversity of asynchronous communication
• Program Compatibility Approaches
• A generic framework for n-protocol compatibility checking
• Compatibility properties of synchronously and asynchronously communicating components
• Study on behavioral compatibility of components in software architecture using object-oriented paradigm
• Approximating Markovian testing equivalence
• Process algebras as support for sustainable systems of services

Describes a project that uses

Uses Software

• Rapide

This page was built for publication: Compatibility and inheritance in software architectures

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