论文部分内容阅读
基于构件的软件工程(Component Based Software Engineering，CBSE)提高软件生产效率和质量，日益成为软件开发的主流范型，是软件开发实现工程化、自动化从而解决软件危机的现实可行途径。构件接口是构件开发人员和组装人员共同遵守的契约。但现今构件的工业标准，如CORBA、JavaBeans、COM等，它们的构件模型和接口定义语言仅仅规约构件接口的型构，不能提供正确运用构件的足够信息，阻碍了CBSE的发展和构件市场的形成。因此，定义新的构件接口模型、扩充和增强构件接口规约成为CBSE研究的重要课题。本文分析软件体系结构(Software Architecture，SA)领域和CBSE构件模型的特点，提出了一种面向体系结构的构件接口模型，并基于此模型设计了构件制作、构件的匹配和构件组装技术。具体内容如下：(1)初步提出了基于体系结构的构件接口模型。结合软件体系结构SA和基于构件的软件工程CBSE的思想，融合改进了的常用接口连接方式，提出了一种面向体系结构的构件接口模型。它既能表达体系结构设计的高层抽象构件，又能表达底层代码级别的实现构件，是SA和CBSE技术融合的一种探索和尝试。(2)根据提出的接口模型给出了构件匹配和构件组装的具体方法。根据设计的接口模型，在本文中，主要针对接口连接式构件组装机制进行了改进，采用了形式化语义的方法描述和推导了与构件匹配相关的问题，并在此基础上给出了构件组装的映射算法。(3)结合特定的构件库，给出了构件的匹配、制作过程。结合特定的构件库，以具体的例子阐述了构件的匹配。对于原子构件制作给出了实例，对于复杂的复合构件以宜昌市办公自动化系统为例给出了复合构件在具体系统中的实现。