SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Correctness and Composition of Software Architectures
 by MArk Moriconi & Xialei Qian.

From Proceedings of ACM SIGSOFT'94: Symposium on Foundations of Software Engineering.
New Orleans, Louisiana.
December, 1994.
Pages 164–174.


The design of a large system typically involves the development of a hierarchy of different but related architectures. A criterion for the relative correctness of an architecture is presented, and conditions for architecture composition are defined which ensure that the correctness of a composite architecture follows from the correctness of its parts. Both the criterion and the composition requirements reflect special considerations from the domain of software architecture.

The main points are illustrated by means of familiar architectures for a compiler. A proof of the relative correctness of two different compiler architectures shows how to decompose a proof into generic properties, which are proved once for every pair of architectural styles, and instance-level properties, which must be proved for every architecture.

BibTEX Entry
    AUTHOR = {Mark Moriconi and Xialei Qian},
    TITLE = {Correctness and Composition of Software Architectures},
    YEAR = {1994},
    PAGES = {164--174},
    MONTH = {December},
    ADDRESS = {New Orleans, Louisiana},
    URL = {},
    BOOKTITLE = {Proceedings of {ACM} {SIGSOFT'94:} Symposium on Foundations of Software Engineering}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy