Abstract not found

Software component technologies support assembly of systems from binary component implementations that may have been created in isolation from one and another. While these technologies provide assistance in wiring components together, they fail to provide support for predicting the quality attributes of assemblies of components prior to their actual composition. The study of software architecture, on the other hand, assumes a relationship between the large-scale structure of a software system, canonically expressed in terms of components and connectors, and system quality attributes. While the study of software architecture has produced good results, the translation from architectural theory to implementation today rests upon rather weak-kneed notions of architectural conformance, i.e., that an implementation conforms to its architecture. In short, the gap between what we may denote as abstract, architecture-level components, and concrete, implementation-level components has yet to be bridged. In this position paper, we discuss and illustrate the fundamental affinity between software architecture and component technology. We also outline criteria for their integration, so that the gap between component integration and architectural analysis can be reduced. 1.

This paper provides an overview of the major issues and trends in architecture-based software engineering. While all software systems can be described in terms of components and interconnections, such descriptions are not always documented. Explicit description of software architecture provides a foundation for understanding and reasoning about both the functionality and quality of software systems very early in the development process as well as at a high level of abstraction. In this paper, we discuss the formalization of architectural specication, including a review of several languages developed especially for architectural description, and follow this with a discussion of architectural analysis techniques that can be applied to architectures described in these languages. Additionally, we discuss several other emerging concepts in software architecture that are having an inuence on the general utility of the eld. 1 Introduction All systems built from components exhib...

The RESOLVE approach to reusable component-based software engineering is mathematically-based. This paper discusses the logical foundations and terminology of RESOLVE, the built-in RESOLVE notation for writing mathematics, and the RESOLVE mechanisms that support description of mathematics that has no built-in notation. It is intended to serve primarily as a reference document. Copyright ' 1994-2000 by the authors. All rights reserved. THIS PAGE INTENTIONALLY BLANK MATHEMATICAL FOUNDATIONS AND NOTATION OF RESOLVE 1 1.