基于Agent的网构软件构件模型及其实现

网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制.开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.     

基于Agent的自主构件模型设计与评估

为适应复杂环境和业务需求的变化,自适应软件开发要求为系统及其构成成分提供新的抽象和建模手段。自主构件能够感知并依据环境的变化自动地做出决策。采用自主构件开发复杂软件系统的主要目的是有效降低软件开发和维护的复杂性。在分析自适应软件实体功能和特征的基础上,提出一种基于智能体(Agent)的自主构件模型,该自主构件模型能动态感知环境的变化,合理封装自适应逻辑,依据策略规则进行决策,并根据目标导向,自动规划执行行为的序列。评估结果表明,该模型为建模与开发复杂自适应化软件提供了有效的底层支持。     

面向网构软件的构件自适应机制研究*

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。     

体系结构动态演化中的构件行为分析

在体系结构演化的过程中,关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制.但在体系结构的动态升级过程中,由于构件风格、功能及交互方式等方面的差别,强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑,采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法,描述构件行为并在构件替换之前分析原构件和新构件间的行为特性,在演化前确认构件的行为一致性,从而保证动态升级过程的正确性和合法性,以及提高系统演化的自适应性。     

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

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

XSSRA/ADL:一种基于XML的安全需求体系结构描述语言

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难提出了一种基于XML的安全需求体系结构描述语言--XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系另外,XSSRA?ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化.     

通用鱼雷声自导联邦成员可适应性软件开发

针对通用鱼雷声自导联邦成员在特定联邦系统中对适应性的需求,提出了一种基于适应性软件体系结构的联邦成员开发方法,并给出适应性联邦成员体系结构框架。该框架具有对仿真需求动态自适应的能力,从基于构件的软件开发技术角度出发,根据需求自顶向下地构造联邦成员系统,其功能实现与配置控制相分离的结构,使得当需求变化时联邦成员可通过动态重配置达到自适应的目的。     

SMC/ADL:一种层级式构件系统的体系结构描述语言

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。     

软件体系结构中接口连接规则研究

基于体系结构的软件开发方法以构件作为最小组装粒度,构件通过其自身定义的接口与外界进行交互。连接件作为一种特殊的构件,它主要负责管理构件之间信息的交换。构件与连接件之间通过接口进行数据的传递,因此,如何从体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在。在现有动态体系结构描述框架的基础上,定义了端口以及通道的连接规则,并结合实际的案例,采用动态体系结构描述语言D-ADL进行描述,具体说明了这些规则的应用。从而为系统行为的形式化分析、验证和仿真奠定了基础。     

软件体系结构中接口连接规则研究

基于体系结构的软件开发方法以构件作为最小组装粒度,构件通过其自身定义的接口与外界进行交互.连接件作为一种特殊的构件,它主要负责管理构件之间信息的交换.构件与连接件之间通过接口进行数据的传递,因此,如何从体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在.在现有动态体系结构描述框架的基础上,定义了端口以及通道的连接规则,并结合实际的案例,采用动态体系结构描述语言D-ADL进行描述,具体说明了这些规则的应用.从而为系统行为的形式化分析、验证和仿真奠定了基础.