A Formal Approach to Component Adaptability

Y. Shinkawa (Japan)


Software Methodologies, Component Reuse, Formal Methods


In component based software development, we often use glue codes in order to fill the gaps between requirements and components. However, excessive use of glue codes might reduce the productivity. The paper proposes a com ponent combination without glue codes, which can enhance the functionality of a single component, and can be re garded as a unit of reuse. Such component combination is referred to as a virtual component. For accurate evaluation of virtual component adaptability, both the requirements and the components are expressed in the form of algebraic specifications. A term, which is one of the basic elements in algebraic specifications, represents a virtual component in this paper. Virtual component adaptability is evaluated by substituting the terms in the requirement specifications.

Important Links:

Go Back