Revealing component properties through architectural styles ?
An underlying assumption in even using the phrase component certification and system prediction is that an understanding of individual components properties will lead to an understanding of a systems properties by some form of compositional reasoning. Unfortunately, standard analytical composition techniques suffer from two problems: (1) they require that the internal structure of components be revealed in order to reason about them and (2) they deal clumsily with properties that require analysis of patterns of interaction. Here, based on the observation that a formal software architecture description itself is a constructive composition mechanism, I illustrate how the use of software architecture styles can sometimes alleviate the first problem and solve the latter.
components architecture style analytical composition software architecture constructive composition domain-specific languages