检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京理工大学计算机科学与工程学院,南京210094
出 处:《计算机工程与应用》2014年第2期25-30,74,共7页Computer Engineering and Applications
基 金:国家重点基础研究发展计划(973)(No.2009CB320702);国家自然科学基金(No.61021062;No.61003019)
摘 要:构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。To make a service-oriented system dynamically adapt to its changing environment and requirement, it often needs to update some of its member services at runtime without wholly shutting it down. However, in order to ensure the consistency of the system, a member service can only be updated when it is in a safe state. In this paper, it studies the dependences between WS-BPEL (Web Service Business Process Execution Language) processes and their partners, which are used to predict the safe time points for dynamic updates. The experiment shows that the algorithm can help to update services in a low-disruptive way and without any compromise on system consistency.
关 键 词:在线演化 动态更新 Web服务业务流程执行语言(WS BPEL) 依赖
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.248