软件工程技术发展思索

在4个方面对软件工程技术的发展进行一些思索:(1) 从事物发展规律的角度,揭示软件工程技术发展历程;(2) 从软件本质特征的角度,浅析虚拟机各抽象层次的构造;(3) 从软件开发的本质,提出了软件工程学科研究的内容,并研究了软件工业化生产模式;(4) 以Internet的出现为背景,探索了软件技术的发展趋势.  

一个适用于网构软件的信任度量及演化模型

网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.Internet的开放性与动态性,使得对于诚实的、具有可靠服务质量协同实体的选择难度较大,难以确保网构软件的可信性.软件实体间的信任关系对于保障网构软件的可信性具有重要的指导意义.软件实体间的信任关系通常随协作的进行而不断变化,但现有的信任模型缺乏对实体间信任关系的自动形成与更新的支持,从而无法刻画信任关系的动态性.针对该问题,提出了一个适用于网构软件的信任度量及演化模型.该模型不仅对信任关系度量过程和信任信息传递及合并过程进行了合理抽象,而且还提供了一种合理的方法,用于促进协同实体间信任关系的自动形成与更新.该模型有助于解决开放环境下网构软件的可信性问题.  

构件软件测试技术研究进展

软构件技术提供了一种较面向对象方法更为有效的软件设计模式，构件软件被广泛应用并成为一种主流软件形态．然而，构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战，寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题．分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结；最后，对其今后若干研究方向进行了展望．  

Internet计算环境下的新型软件形态——网构软件(Internetware)综述

软件形态受到应用、平台和技术发展的影响而不断演化。由于Internet这一新的计算环境的普及，传统的软件形态逐渐无法适应Intermet环境下的开发和应用，需要研究新的软件形态和软件技术。该文在分析软件发展历史的基础上结合相关研究说明了基于Internet环境的网构软件(Internetware)是未来软件的发展趋势，介绍了网构软件的基本特征，并说明了网构软件领域的研究问题。  

基于OSGi的服务动态演化

提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题.对所提出的方法均通过实例说明了其设计、运行和更新的可行性.所提出的方法可以用于指导解决组件、服务和面向对象软件动态演化中的相关问题.  

一种可定制的自主构件运行支撑框架

描述了一种动态、可定制的构件自主化的实现手段及运行平台,试图通过对实现自主构件的方法和手段的探索,为开发具有自主性的基于Internet的软件系统提供一定的实践基础和经验.在实现自主构件时,采取了改装已有普通构件的方式,将软件Agent技术和构件技术结合起来,通过为构件定制行为规则和规划来控制和调度构件的行为,使得构件能够根据环境的状态调整自己的行为.同时,通过集成可以解释和执行声明式规则的规则引擎,使得可以在不修改构件源代码和重新部署构件的情况下,动态定制和实现构件的自主性行为能力.  

支持协商的网构软件体系结构行为建模与验证

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.  

基于构件的网构软件系统动态演化

为适应网构软件系统在线演化的需求，提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位，基于软件体系结构部署和实施演化，给出构件添加、删除和替换需求的演化算法，通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性，软件系统无须进行大量的改动即可适应该演化模型。  

基于PTCPN的网构软件建模与分析

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.  

网构软件实体的功能描述及其发现

网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.