A formal basis for architectural connection | Zendy

Robert J. Allen | Zendy; David Garlan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A formal basis for architectural connection

Author(s) -

Robert J. Allen,

David Garlan

Publication year - 1997

Publication title -

acm transactions on software engineering and methodology

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.597

H-Index - 78

eISSN - 1557-7392

pISSN - 1049-331X

DOI - 10.1145/258077.258078

Subject(s) - computer science , architectural pattern , software engineering , formal methods , programming language , architectural geometry , design by contract , formal specification , architecture description language , software architecture , software system , software , software design , software development , software construction , reference architecture

As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research