Research on Component Composition Based on Linear Logic
Software component composition is widely recognized to be a crucial problem in component-based software engineering.In this paper,the component model which has the pre-condition and the post-condition and three composition architectures including sequential architecture,alternative architecture and parallel architecture are described in linear logic.The approach of component composition can be given automatically according to the available component and the composition architectures in theorem prove.The complex component's specification can be made automatically from the adapted components' specifications.The proposed approach in the paper improves the ability of specification and analysis of system to component adaptation and offers a guarantee to the formal analysis of component composition and the validation of the proper component composition.At last the future works are listed.