Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling Architecture Description Languages Using AML
Automated Software Engineering
The ISI Visual Design Editor Generator
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Abstractions and Implementations forArchitectural Connections
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A formal approach to software architecture
A formal approach to software architecture
| Hi-index | 0.00 |
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 system's 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.