基于构件运算的软件演化研究

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统科学地描述软件演化。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化,把软件系统的演化归结为构件表达式的变化,利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究,并给出将演化后的结果用图形方式表示的方法。     

基于结构熵的构件耦合性度量方法

在基于构件的软件系统中,耦合性是软件中各个构件之间相互关联程度的一种度量.为了能够较好地对软件系统中构件之间的耦合性进行度量,首先对基于构件的软件系统进行形式化表示;然后,对软件系统中的构件之间的耦合关系进行分析;最后,提出结构熵的概念和一种基于结构熵的构件耦合度的度量方法.     

制造控制系统的软件构件模型

为了实现制造控制系统软件的有效重用，提出了制造控制系统软件构件的描述模型，保证软件构件描述与可执行代码之间的一致性。通过领域分析，将制造控制系统的软件构件接口与实现分离，信息与功能分离，构件之间通信通过独立的数据对象实现。消除了软件构件之间的网状调用关系，简化了应用软件结构和软件设计，提高了软件的可重用性和重用效率。     

构件运算的完整性证明及性质

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。     

构件演化中的系统行为一致性的研究

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力.基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的.因此在构件演化时,例如时构件功能实现进行改变,可能导致系统运行偏离原来的系统行为.我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统.在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为.在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的一改变符合行为的一致性要求,同时又保证了构件演化的灵活性.     

SOLO STUDIO：一个基于构件的应用开发环境

传统的软件开发环境着眼于从头开始开发某个应用系统。而基于构件的开发方法最明显的特点是整合而不是从头开发，整合的对象是由不同的三方构件提供商开发出来的构件。本文着重于基于构件的软件开发环境的设计，并且描述了一个原型系统SOLOSTUDIO。该系统后台有基于WebServices的构件库平台作为支持，SOLOSTUDIO的主要功能包括从构件库中搜索并且下载合适的构件，整合构件进入待组装系统的构架之中，测试构架的性能并做出评估，动态演化构架使其适应不同需求的用户，生成最终的应用系统等。     

一种构件化的动态软件系统模型

本文提出一种构件化的动态软件系统模型ＣＬＡＳ,其基本思想是用系统的宏观逻辑描述来联结实现系统具体功能的构件,从而组成完整的软件系统。在ＣＬＡＳ模型中,系统的构件化使软件的复用性大大提高,而逻辑与实现的分离又明显改善了系统的灵活性和逻辑可扩充性。     

基于JavaBean的领域构件库的研究与实现*

为提高软件的复用程度,采用了基于领域工程的开发方法,提出了领域信息系统设计体系结构和软件构架.重点讨论了领域信息系统模型结构和领域构件库的设计,初步实现了领域构件库中对构件的标志、验证和分类功能,并在组件模型JavaBeans的支持下,实现了构件库分析过程的UML描述.     

一种构件化动态软件系统组态模型*

在讨论软件构件技术复用现状的基础上,借鉴工业控制领域的组态概念,提出了一种构件化动态软件系统组态模型。其基本思想是：在一定的软件体系结构基础上,用系统的宏观逻辑组态描述联结实现系统具体功能的软件构件,定制组装成完整的应用系统。构件化大大提高软件开发的速度和效率,逻辑和实现的分离明显改善软件系统的灵活性和逻辑可扩充性,系统逻辑组态描述能始终保持软件系统应用和需求的一致性。     

一种基于构件的可信软件系统框架及其表示

随着软件在信息社会中发挥越来越重要的作用,人们对软件系统的可信性方面的要求也愈来愈高。对可信软件和软件构件进行定义和分析的基础上,提出了一种基于构件的可信软件系统框架;一个基于构件的可信软件系统框架包括软件系统的信任根构件、可执行的构件集、HASH函数以及构件之间的控制权可信转移协议等部分;在此框架下,对基于构件的可信软件系统进行描述和表示。为基于构件的可信软件系统的构造和开发提供相应的理论支持和借鉴作用。