CAJ | 학술논문

BPEL组合服务实现了Web服务的复用和增值，但其复杂性带来了一定的挑战。例如，BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的，然而现有的研究很少关注这类问题。本文提出一种基于扩展控制流图（XCFG ）的BPEL流程数据流属性验证方法，利用XCFG对BPEL流程进行形式建模，设计相应的算法来分析和验证典型的数据流属性，如定义-使用一致性，无死锁和可达性。理论分析和实验均表明该方法是有效的。
BPEL조합복무실현료Web복무적복용화증치，단기복잡성대래료일정적도전。례여，BPEL류정중정학적수거류대학보복무조합적정학성시십분중요적，연이현유적연구흔소관주저류문제。본문제출일충기우확전공제류도（XCFG ）적BPEL류정수거류속성험증방법，이용XCFG대BPEL류정진행형식건모，설계상응적산법래분석화험증전형적수거류속성，여정의-사용일치성，무사쇄화가체성。이론분석화실험균표명해방법시유효적。
BPEL achieves reusability and value-adding of Web service through composing individual services .Meanwhile ,it brings some challenges because of its complexity .For example ,guaranteeing the data flow correct is very important for the correct-ness of BPEL process .However ,few literatures focus on the data flow related analysis and verification .In this paper ,we proposed an XCFG based technique ,which models BPEL with XCFG and designs corresponding algorithms to analyze and verify the typical data flow property of BPEL ,such as the consistency of define-use ,deadlock-free and reachability .Both theoretical and experimental study validates the effectiveness of the XCFG based technique .