基于Petri网的Web服务组合验证方法  

Verification Methods Based on Petri Networks for Web Services Composition

作　　者：沈华[1] 何炎祥[2] 张明武[1] 

机构地区：[1]湖北工业大学计算机学院,武汉430068 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机科学》2015年第4期111-115,共5页Computer Science

基　　金：国家自然科学基金:隐私保护策略函数策略加密体制(61272404);国家自然科学基金:抗泄露的身份基类加密体制及可证明安全研究(61370224);湖北省自然科学基金重点项目:敏感信息泄漏条件下的隐私保护技术研究(2013CFA046)资助

摘　　要：对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的。Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web服务或子Web服务组合;死锁验证用来发现是否存在可能的服务盲区;陷阱验证用来发现是否存在可能的服务异常区。给出了上述各项验证的实现算法,测试实验验证了该算法的正确性。The purpose of structure verification analysis for services composition is to find the inherent achilles heel of the structure of services composition,which ensures that the structure of Web services composition is good in running phase.The boundedness verification of Web service composition is used to determine whether there are Web services or sub Web services composition that impacts the implementation of Web services composition.The deadlock verification is used to find whether services blind area exists.The trap verification is used to find whether service abnormal areas exist.This paper gave the algorithms to complete the above validation.The correctness of the algorithms was verified by testing experiments.

关 键 词：服务组合 结构验证 有界性 死锁 陷阱 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]