Y. Shinkawa (Japan)
Software Engineering, Formal Methods, Software Components
This paper presents a formal approach to identifying partially adaptable components to a requirement, which would be glued together in order to compose a fully adaptable system. Partial adaptability is defined by extending the concept of Σ homomorphism between a component and a requirement which are expressed in the form of Σ algebra. This partial adaptability can deal with semantic gaps between components and requirements rigorously. The paper discusses two kinds of semantic gaps, which are referred to as “vertical” and “horizontal” respectively.
Important Links:
Go Back
