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

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

软件体系结构动态演化的Z描述语言扩展方法

针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.     

基于Petri网的构件组装模型

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

多线程可动态演化程序的设计

为满足软件系统24/7/365不中断运行的需求,提出了对运行中的软件进行动态演化的要求.分析了软件演化的基本种类,叙述了多线程可动态演化软件的演化步骤,并对该类程序设计中涉及到的一些关键问题展开讨论.最后以数据集成软件为例分析了多线程可动态演化程序实例的运行状况.     

基于C#和多Agent的软件动态演化的研究

针对软件动态演化的自然性和重要性，笔者提出了一种基于C#和多Agent的软件动态演化方法。该方法具有演化简单和可以持续进行多次演化等特点。     

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

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

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

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

面向动态演化的复杂网构软件系统可靠性分析方法

 网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统，动态演化是其基本特征，演化过程中会导致软件系统失效，面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性，提出通过错误传播可达图来界定构件动态演化错误的影响范围，并建立错误传播可达图生成过程模型；其次，为有效解决Markov状态空间“爆炸”的问题，利用错误传播可达图来生成Markov状态转移图，提出基于Markov的网构软件动态演化可靠性分析方法；最后通过案例分析来验证该方法的有效性。     

软件体系结构在行为与结构演化中的一致性保持

通过给出的体系结构模型, 分析了在体系结构演化中需要保持的一致性, 并提出一种基于规则转换的体系结构演化方法. 应用通信序列进程（CSP）作为形式化的描述手段, 在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件, 为每步转换规则进行了形式化约束, 使演化结束时的体系结构依然满足一致性条件.     

基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

C++多重继承中冲突的一种动态解决方案

多重继承是 C+ + 继承的一种形式 ,在设计中可以简化类层次体系结构 ,而且允许对现实世界进行更直接的建模。文章在研究其特性的基础上 ,就目前软件中存在的多重继承中的冲突问题 ,提出了一种动态解决方案 ,并且给出了程序运行结果的描述。使用该方法 ,可以提高软件开发的效率 ,在实际应用中具有一定的参考价值。     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于容器的面向对象技术的多态性实现及应用

多态性是面向对象技术的重要特性之一,C++语言支持静态多态性和动态多态性.静态多态性主要通过函数重载和运算符重载来实现,动态多态性主要通过虚函数和动态联编来实现.多态性使程序设计更加灵活、易维护和易扩展.介绍了动态多态性在C++语言中的实现机制,提出基于容器的动态多态性实现技术,结合VC++6.0中绘图软件开发实例,描述基于容器的绘图过程及动态多态性应用.     

一类特殊的语言动力学模型分析

结合人类语言本身的特点,该文提出了一类具有Zn对称性的语言动力系统,并用定性的方法分析了该模型的性质,所得结果较好地反映了人类语言进化的特点．     

可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。