A Formal Approach to Software Architecture

DMCA

A Formal Approach to Software Architecture (1997)

Cached

Download Links

by Robert J. Allen

Citations:

367 - 19 self

BibTeX

@TECHREPORT{Allen97aformal,
    author = {Robert J. Allen},
    title = {A Formal Approach to Software Architecture},
    institution = {},
    year = {1997}
}

OpenURL

Abstract

As software systems become more complex, the overall system structure---or software architecture---becomes a central design problem. A system's architecture provides a model of the system that suppresses implementation detail, allowing the architect to concentrate on the analyses and decisions that are most crucial to structuring the system to satisfy its requirements. Unfortunately, current representations of software architecture are informal and ad hoc. While architectural concepts are often embodied in infrastructure to support specific architectural styles and in the initial conceptualization of a system configuration, the lack of an explicit, independently-characterized architecture or architectural style significantly limits the benefits of software architectural design in current practice. In this dissertation, I show that an Architecture Description Language based on a formal, abstract model of system behavior can provide a practical means of describing and analyzing softwar...

Keyphrases

software architecture formal approach current representation independently-characterized architecture current practice software architectural design practical mean initial conceptualization implementation detail architecture description language ad hoc system behavior architectural concept software system specific architectural style central design problem overall system structure abstract model system configuration architectural style

DMCA