湖北工程学院学报
湖北工程學院學報
호북공정학원학보
JOURNAL OF XIAOGAN UNIVERSITY
2015年
3期
16-20
,共5页
Web服务%Petri网%合理性验证%自由选择网
Web服務%Petri網%閤理性驗證%自由選擇網
Web복무%Petri망%합이성험증%자유선택망
Web service%Petri net%rationality verification%free choice net
为了更加有效地对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網模型證明瞭本文方法的有效性。
위료경가유효지대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 .