基于构件动态演化的行为一致性验证方法

为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。     

构件演化的交互行为一致性研究

构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。     

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

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

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

基于进程代数的软件动态演化模型初探

许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化.因此确保软件在演化时以及演化后可以正确的执行变得十分重要.最近Zhang Ji提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验.     

构件系统演化一致性的判定方法

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。     

构件动态演化内部一致性保证方法

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。     

基于动态构件框架的构件演化

软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化。软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护。软件演化包括软件系统的过程、方法、技术、组织方式等的演化。基于软件构架和构件的开发方法实现的系统比传统的开发方法具有更好的易演化性。软件构架高度抽象地描述了软件系统的结构,包括系统元素的描述、元素之间的交互、用于指导元素复合的模式和这些模式的约束。我件是组成构架的基本元素,是对系统应用功能的实现;构件封装了功能性,有着自己的内部状态信息;构件的实现是异质的（可以用多种语言实现）,而且在系统实现中可能使用的是第三方提供的构件。基本构架和构件的系统可以有两种方式的演化：一是整体构架的演化,重组系统的构架,增加、删除系统的构件,修改构件之间的拓扑结构;二是系统中单个构件的演化,着眼于系统的单个构件,修改构件的接口、功能。本文着重于研究构架构件系统中构件的演化,对系统使用的构件进行演化,在不修改系统中其他的构件,保持构件之间的基本连接拓扑结构不变的情况下,将演化后的构件替换系统中的原有构件,实现对系统功能的修改。     

基于反射机制的系统行为一致性判定模型研究*

构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求.然而,构件演化可能会导致系统演化前后行为的不一致.对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致...     

基于进程代数的构件语义标注技术研究

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。     

基于观察者的动态演化一致性研究

为了解决软件体系结构动态演化的不一致性问题,提高软件体系结构动态演化的演化效率,针对构件技术特性,分析了软件演化技术研究现状优缺点以及观察者技术特点,结合观察者技术特点扩展了构件,使构件具有被监视以及监视的特性,提出基于观察者的动态演化模型,来保证动态演化的一致性,并为分布式环境下的动态演化提供可行的方法。     

基于模体演化与社区一致性的时序链路预测方法

针对动态有向网络中的时序链路预测问题,充分分析动态有向网络中微观结构三元组模体的演化规律,使用指数平滑法季节加法（Holter-Winter-Additive）时序分析方法预测三元组模体的转换概率,引入牛顿法寻求时序分析方法中的最优参数;同时考虑到节点的社区属性对链路预测产生的影响,定义模体内节点的社区结构一致性重要指标,对三元组模体的影响力进行评估。基于此,首先使用时间序列分析方法对模体的转换概率进行预测,进而结合模体社区结构一致性的指标提出一种新的链路预测方法。使用不同的方法在三个真实的有向网络中进行验证,实验结果显示该方法能够达到更好的链路预测效果。     

基于分层的过程构件分类描述的研究与应用

在以标准过程为基础的过程复用中,为解决传统的基于标准过程裁剪中标准过程只有单一抽象层次,造成裁剪工作量大的问题,提出了创建多抽象层次标准过程以满足不同应用需要;对相同功能不同抽象层次的过程采用继承机制简化定义,并根据现有的构件描述框架对不同层次的标准过程给出了不同的描述方案。最后通过一个实例对标准过程构件的分层结构与继承机制的描述方案进行了实现,并取得了一定的成效,为企业实施过程改进提供借鉴。     

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

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

基于构件的动态工作流建模方法研究

针对目前工作流管理系统在描述能力和动态性上存在的不足，提出了一种基于构件的动态工作流建模方法。该方法扩展了传统的活动网络模型，引入了新的建模元素，提出了新的建模机制。详细描述了模型的实现机制和应用场景，同时给出了一个模型实例。与传统的活动网络模型相比，该模型方法在提高模型描述能力、降低模型复杂性、提高系统动态性及适应性方面有明显的优点，对于设计开发高可靠性、动态性和适应性的工作流管理系统具有重要的应用价值。     

基于进程代数的网络体系结构形式化模型

首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构的代数模型,为进一步研究网络体系结构打下了坚实的理论基础。     

基于动态概率主元分析的统计过程监测

概率主元分析(PPCA)已广泛应用于工业过程监测.然而,PPCA法仅构造了生产过程的静态线性关系,处理具有较强动态特性的实际工业生产过程效果较差.为此提出动态概率主元分析(DPPCA)法,对经过时谱扩展后的变量数据阵,通过期望最大化(EM)算法建立生成模型,从而将静态PPCA推广到动态多变量过程.最后将此法应用于TE过程的仿真研究,结果表明该法有效.     

一种基于Bigraph理论的软件演化过程模型研究

基于Bigraph理论对软件演化过程模型进行研究, 目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想, 首先提出了一个形式化的软件演化过程模型, 然后用扩展的Bigraph来描述软件演化过程模型的结构, 使用Bigraph反应系统来描述软件演化过程模型的动态变化, 最后对软件演化过程模型动态调整后的完整性进行了验证。