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

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

基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。     

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

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

基于进程代数的构件动态演化行为一致性研究*

为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。     

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

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

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

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

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

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

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

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

一种带租户演化容忍度的SaaS服务演化一致性判定方法

随着云技术的不断发展与成熟,软件即服务(SaaS)模式成为未来软件应用发展的主要趋势。在多元开放的网络生态环境中,SaaS服务若要有效应对用户需求及外部变化,就须具备演化能力。演化一致性 是指服务在演化后能保有原基础及与其他服务正常交互的能力。目前对演化一致性的判定多偏向于定性分析,且往往忽略了租户的感受,没有既定的显式标准对一致性进行定量度量并判定。针对此问题,从SaaS多租户单实例的应用模式出发,分层次细粒度地建立服务实例描述模型,引入一致性度量值来表示定量计算的结果,充分考虑租户的演化要求,提出一种带租户演化容忍度的判定方法,细粒度地判定演化一致性。最后,结合SaaS应用案例,采用所提方法对演化一致性进行分析判定,实际应用的反馈情况验证了该方法的可行性和有效性。     

基于变化的服务演化一致性判定

由于Web服务处在开放、动态、多变的网络环境下,为了有效响应用户需求、运行平台及外部环境的变化,服务必须具备演化的能力。演化后的服务应维持与原伙伴服务或服务用户之间的正常交互,这种性质称为演化一致性。由于Web环境的多样性,服务开发者对演化一致性的判定的标准并不统一。对于服务演化一致性判定问题,现有方法大多基于固定的判定标准,缺乏可调节、细粒度的定量分析且不能显式地反映服务版本之间的变化。针对上述不足,面向服务演化导致的变化,从服务的结构层和非功能层两个角度建立基于变化的服务描述模型,并在该模型的基础上引入演化一致度对演化一致性进行度量。基于所提出的方法,设计并实现了一个服务演化一致性判定工具,验证了所提出方法的可行性与有效性。     

构件组合的一致性验证和冗余行为去除

构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。     

包含协议和语义的构件一致性验证方法

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。所提方法将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。该算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。     

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

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