基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

基于Z-ADL语言的动态体系结构描述

软件动态演化已成为软件发展的新动力,动态体系结构语言成为描述复杂软件体系结构的有效工具.提了一种基于Z-ADL语言的动态体系结构描述,可通过对构件、连接件添加和删除实现软件的动态演化.     

基于连接件的软件体系结构动态演化

针对基于中间件的软件体系结构（SA）动态演化存在的缺陷,对连接件进行了扩展,使连接件能够对其所连接的实体进行监视和操作;提出了一种支持动态演化的SA风格,使得演化信息可以通过SA自身进行传播．如果连接件之间没有连接通路,则增加一个或多个连接件对SA进行改造．设计了从运行系统中获得SA的算法,使SA成为运行系统的一个可控组成部分．提出了直接对连接件进行操作的SA动态演化框架,消除了SA动态演化的不一致性,提高了演化效率,并具有很好的可跟踪性．     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

一种基于交互的网络服务体系结构描述语言

在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础.     

Z++a:Z++的AOP扩展

为了适应面向Agent技术的发展及其系统设计的需求，提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。     

预见式连接件本体模型研究

由软件生存环境变化引起的软件体系结构调整,需要通过连接件的重新配置来实现,迫切需要预见式的自适应连接件对系统进行运行时演化。针对当前被动式连接件的不足,于是借助面向方面的思想构造预见式连接件本体模型,以实现构件连接的修改和体系结构的动态配置,提高软件体系结构自适应性,并借助影响因子价值去量化选择调整政策的依据。本方法应用于一个实际运营的在线健康评估系统之后,提高了系统的服务质量。     

一种改进的基于RTCOM的实时系统设计方法

对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.     

XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.