论文部分内容阅读
构件组装是基于构件的软件开发中的一个重要环节．本文利用线性逻辑描述了具有语义信息的构件结构，描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系，利用定理证明的方法，根据现存构件的描述和构件组装关系自动生成构件组装的方案，并从被适应的构件描述中推导出复合构件的描述，以提高对构件适应过程的描述和分析能力，为构件组装形式化分析、组装正确性的检验提供了保证，并列出了一些值得进一步研究的问题．