基于Pi演算的构件演化研究

确保构件系统的一致性是构件演化的根本目标 .根据构件交互过程 ,借鉴Pi演算的类型系统和进程构造方法 ,提出构件交互的类型系统和基于交互的构件模型 .为确保构件服务端口和交互通道的正确行为 ,给出服务的端口类型和通道类型 .以此为基础 ,结合Pi演算中良类型的思想 ,提出一致性构件系统的概念 .然后 ,结合构件演化的特点 ,给出能保持系统一致性的构件静态演化和动态演化规则 .最后 。

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

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

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

1 引言 软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化.软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护.软件演化包括软件系统的过程、方法、技术、组织方式等的演化.基于软件构架和构件的开发方法实现的系统比传统的开发方法具有更好的易演化性.软件构架高度抽象地描述了软件系统的结构,包括系统元素的描述、元素之间的交互、用于指导元素复合的模式和这些模式的约束.构件是组成构架的基本元素,是对系统应用功能的实现;构件封装了功能性,有着自己的内部状态信息;构件的实现是异质的(可以用多种语言实现),而且在系统实现中可能使用的是第三方提供的构件.

软件产品族构件演化及其复杂度评价

基于现有构件以演化方式产生出新的构件是提高软件复用水平和满足用户不断变化需求的关键技术。首先,给出了一种基于多个代理的构件演化交互模型,该模型能够以自治方式实现演化一致性数据处理;其次,利用方面织入机制将新的功能代码准确织入现有构件内部,降低了构件不同功能代码的耦合度;然后,对构件演化的复杂度进行了讨论,给出了四项演化复杂度评价指标和一个复杂度计算模型,以对构件演化成本进行量化估算;最后,以数字化校园中各应用系统间数据交换构件演化为例,证明了方法的可行性和有效性。

一个支持构件演化的配置管理框架

构件库在基于构件的软件开发(CBSD)中扮演着重要的角色,然而在实际的软件开发过程中,构件的生产、维护、复用等还存在许多困难,其中一个主要的困难是大多数构件库仅提供构件的描述、存储和检索功能,缺乏配置管理支持。该文提出了一个支持构件演化的配置管理框架。这个框架将构件库作为一类特殊的资源库加以管理,从而为构件的演化提供系统的配置管理支持。

基于消息的构件组合运算与构件演化

根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型,并给出了模型的代数表达式和简化算法.

支持构件演化的软件配置管理研究

基于构件的软件开发作为一种全新的软件开发方法,与传统的软件开发方式不同,配置管理的需求与传统的配置管理方法也有了很大的不同。在基于构件软件开发的过程中,如何以一种良好的风格和技术来对构件变化进行控制,保持构件系统的一致性、稳定性是软件开发者历来追求的目标。分析了基于构件软件开发过程中构件演化对配置管理技术的新需求,探讨了配置管理的几个关键技术,并提出了一种度量构件演化过程的方法,从而把构件的整个演化过程置于配置管理的支持之下。

构件演化度量方法研究

构件演化是指构件根据用户的需求和技术的变化而不断改变,它是由一系列复杂的变化活动组成的。分析了构件演化的特点及其对度量的影响,根据GQM度量定义模型,给出了构件演化过程中的主要度量。希望通过度量和测评,能够有效地对构件演化进行控制,保持构件系统的一致性和稳定性。

构件演化的配置管理研究

分析了基于构件的软件开发过程中构件演化对配置管理的新挑战,探讨了配置管理的对象,提出一种管理构件之间的关系方法以跟踪构件演化活动,从而配置管理能很好地支持构件的演化。

基于高阶π演算的构件演化行为研究

用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性。

基于功能的构件演化模型的应用研究

基于构件的软件架构技术是软件工程领域中新兴的软件设计技术,其中构件演化理论成为目前软件工程理论研究的热点问题。本文从构件的功能出发建立了基于功能的构件演化模型,分析了该模型的性质,并通过该模型建立了构件演化的判断条件和演化后软件系统的可达性判断方法。

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.

基于演化构件模型的软件演化研究

基于CBD,从软件演化的角度提出了演化构件的概念模型、技术模型以及演化构件关系运算的相关理论,建立了演化构件关系图到演化构件关系运算表达式的转换算法,为用代数理论研究构件的属性、行为特征以及软件演化提供了理论基础和依据。系统地分析了软件演化过程中的波及效应及构件贡献度,为控制软件演化过程、制定合理的演化方案提供了技术支持。

基于构件运算的软件体系结构及其复杂性度量

为了达到对软件体系结构SA的描述目标,引进了基于消息的5种构件组合运算,并给出了基于这些运算的SA的图形与其代数表达式之间的转换算法。为了降低SA复杂性,给出SA的直观复杂性度量方法,提出了11种构件演化运算,并给出了一个实例。

基于Petri网的构件组装模型

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

一种软件可行性评估模型的仿真研究

通过对软件构件演化对软件系统的可靠性和系统行为的一致性进行研究,有利于掌握软件的性能。当前的软件功能越来越多,可行性评估指标也日趋复杂,很难在根据几个单一的指标完成评估,传统的评估方法无法在指标存在制约的情况下,建立的评估模型很难准确描述制约关系,造成后期评估的不准确。通过研究软件构件演化的可靠性评估模型和前提条件,并在满足软件系统一致性的前提下,提出了AHP层次分析方法的软件可行性评估模型,首先利用目标指标对可执行方案的有利度矩阵和决策矩阵进行生成,然后依据各方案的权重进行目标指标下的参数求解,最后对各方案进行可行性优先排序,从而得到具有最佳预期收益的软件构件演化方案。仿真分析表明,改进方法得到的方案是最优且可行的。

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

构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议进行监测,能够自动判定演化后的系统是否与演化前保持一致。最后将该模型应用于实际系统的开发中,验证了该方法的可行性和有效性。