CAJ | 학술논문

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术，该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而，为保证更新前后系统行为的一致性，只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL（Web Service Business Process Execution Language）的软件系统为例，通过分析WS-BPEL过程与其成员服务间的依赖关系，提出了一种可预判成员服务是否动态更新的算法。实验结果表明，依赖分析算法可以有效预判成员服务可动态更新的时机，从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。
구건화복무등연건실체적동태경신시지탱연건계통재선연화적관건기술，해기술가이재불중단계통운행적전제하대연건계통적결구혹행위진행조정。연이，위보증경신전후계통행위적일치성，지유당연건실체처우안전상태시방가진행경신。이기우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.