Zuberek, W. M. and Craig, Donald C. (2007) Multicomponent Compatibility and its Verification. In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia.
[English]
PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.)
- Accepted Version
Available under License Creative Commons Attribution Non-commercial. Download (111kB) |
Abstract
Software architecture has been introduced with promise of better re-use of software, greater flexibility, scalability and higher quality of software services. Software architecture uses components as the basic building blocks of software systems. Components represent high-level software models; they must be generic enough to work in a variety of contexts and in cooperation with other components, but they also must be specific enough to provide easy reuse. To be composable with other (third-party) components, a component needs to be sufficiently self-contained. Also, it needs a clear specification of what it requires and what it provides. In other words, a component needs to encapsulate its implementation and interact with its environment by means of well-defined interfaces.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
URI: | http://research.library.mun.ca/id/eprint/14604 |
Item ID: | 14604 |
Department(s): | Science, Faculty of > Computer Science |
Date: | July 2007 |
Date Type: | Completion |
Digital Object Identifier (DOI): | https://doi.org/10.1109/ACSD.2007.56 |
Related URLs: |
Actions (login required)
View Item |