CAJ | 학술논문

为了更加有效地对Web服务组合进行分析验证，设计BPEL到PNML语言的文件转换规则，实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程，在不破坏原Petri网模型结构性质与系统行为的基础上，将其调整映射为自由选择网。在自由选择Petri网理论基础上，设计了一种Web服务组合Petri网模型的合理性验证规则，能在多项式时间内分析网模型的结构活性与有界性，从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后，使用两个具体的W eb服务组合Petri网模型证明了本文方法的有效性。
위료경가유효지대Web복무조합진행분석험증，설계BPEL도PNML어언적문건전환규칙，실현Web복무조합류정적Petri망건모。침대Web복무조합류정설계중가능존재사쇄급불정학적류정，재불파배원Petri망모형결구성질여계통행위적기출상，장기조정영사위자유선택망。재자유선택Petri망이론기출상，설계료일충Web복무조합Petri망모형적합이성험증규칙，능재다항식시간내분석망모형적결구활성여유계성，종이피면채용전통적가체수등분석방법출현적상태공간폭작문제。최후，사용량개구체적W eb복무조합Petri망모형증명료본문방법적유효성。
To analyze and verify the Web Service composition model more effectively ,a file transforma‐tion rule from the BPEL files to the PNM L is designed for establishing the Petri net model of Web Service composition process .In order to detect the deadlock and w rong process of Web Service compo‐sition process ,the Petri net model is adjusted and mapped to Free Choice net ,w hich is based on the premise that it would not affect the constitutive property and system behavior of the original model . Combining the Commoner theorem with the rank theorem ,this paper proposes a rationality verifica‐tion approach for the Web service composition model ,and analyses the structural liveliness and ration‐ality of Free Choice net in polynomial time .Finally ,two specific Web Services composition Petri net models are employed to verify the effectiveness of the proposed method .