论文部分内容阅读
软件开发方法已经从面向过程转到面向对象.面向对象方法虽然大大促进了计算机科学和软件产业的发展,但是它依然存在缺陷,特别是在当前软件需求急剧膨胀,软件规模迅速扩大,软件开发周期逐渐缩短的情况下,对象技术明显力不从心了.取而代之的是基于构件的软件开发技术.基于构件的软件开发技术大大提高了软件复用率和软件的可靠性,缩短了软件开发周期,有利于软件开发的分工与合作.它是当前解决软件需求急剧膨胀和软件开发高成本低质量之间的矛盾的一个有效途径.构件技术的进步使得基于构件的开发(Component-based Development,CBD)越来越流行.但要实现基于构件的开发或者基于构件的软件工程(Component-based Software Engineering,CBSE)还有许多问题需要解决.现在的构件模型还有许多不足,基于构件的软件开发(CBSD)技术也尚未完善.本文吸取了众家之长,提出了一些新的概念和方法,最终提出了一种比较完善的(当然远未达到完美)构件模型.新模型的重点是构件依赖性和构件形式化规格说明.在探讨了当今最新的CBSD技术之后,我们为解决构件的检索和组装提出了一个新技术"虚构件".它能较好地实现领域知识的封装,可以帮助构件的复用人员利用构件库中的构件复合出符合特定要求的构件.它实现了构件复合(组装)的某种意义上的自动化(半自动化).任何好的方法学,如果要付诸实践就必须有相应工具的支持.工具是软件工程三要素之一.为了实现基于虚构件的软件开发,本课题组开发了UMLCASE和可复用构件库系统.并为它们定身量制了构件检索算法"利用UML设计模型信息进行可复用组件查询".本文试图解决(或部分解决)基于构件的软件工程所遇到的问题,意在建立一个比较完整的基于构件的软件开发的理论体系和实用的CASE工具.