The integration and adaptation of reusable components through semantic interface analysis

The application of reusable software has the potential to improve software quality and productivity. The utilization of current reuse library techniques is important in such a software process. However these approaches tend to be retrieval based and offer no formal assistance in the adaptation and integration of a retrieved component. As software components become larger their reuse value greatly increases and the ease of adapting and integrating the component decreases. We describe a formal notation which describes the semantics of module interfaces for complex software. We describe the Module Integration and Analysis Tool for Ada Components prototype analysis engine which is used to recognize and analyze our module interface notations and assist developers in the adaptation and integration of large Ada components