一种Web服务组合模型合理性验证方法  

A Rationality Verification Approach for Web Services Composition Model

作　　者：胡晓静[1] 刘士喜[1] 王涛[1] 

机构地区：[1]滁州学院计算机与信息工程学院,安徽滁州239000

出　　处：《湖北工程学院学报》2015年第3期16-20,共5页Journal of Hubei Engineering University

基　　金：安徽省高校省级科学研究项目(KJ2012Z282);滁州学院自然科学基金资助项目(2011kj008B);滁州学院科研启动基金项目(2012qd09);安徽省自然科学基金项目(1508085MF123)

摘　　要：为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合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 .

关 键 词：WEB服务 PETRI网 合理性验证 自由选择网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]