计算机科学 ›› 2015, Vol. 42 ›› Issue (4): 111-115.doi: 10.11896/j.issn.1002-137X.2015.04.021

• 信息安全 • 上一篇    下一篇

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

沈 华,何炎祥,张明武   

  1. 湖北工业大学计算机学院 武汉430068,武汉大学计算机学院 武汉430072,湖北工业大学计算机学院 武汉430068
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金:隐私保护策略函数策略加密体制(61272404),国家自然科学基金:抗泄露的身份基类加密体制及可证明安全研究(61370224),湖北省自然科学基金重点项目:敏感信息泄漏条件下的隐私保护技术研究(2013CFA046)资助

Verification Methods Based on Petri Networks for Web Services Composition

SHEN Hua, HE Yan-xiang and ZHANG Ming-wu   

  • Online:2018-11-14 Published:2018-11-14

摘要: 对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的。Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web服务或子Web服务组合;死锁验证用来发现是否存在可能的服务盲区;陷阱验证用来发现是否存在可能的服务异常区。给出了上述各项验证的实现算法,测试实验验证了该算法的正确性。

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

Abstract: 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.

Key words: Service composition,Structure verification,Boundedness,Deadlock,Trap

[1] 王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,39(1):120-123
[2] 雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,18(12):2980-2990
[3] 骆翔宇,谭征,苏开乐,等.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011,34(6):1041-1061
[4] Wombacher A,Fankhauser P,Mahleko B,et al.Matchmaking for business processes based on choreographies [C]∥2004 IEEE International Conference on e-Technology,e-Commerce and e-Service.IEEE,2004:359-368
[5] 李景霞,闫春钢.一种基于扩展颜色Petri网的Web服务组合验证机制[J].计算机科学,2009,36(10):146-149
[6] 陈丁剑,吴健,马满福,等.基于Petri网的Web服务组合建模[J].计算机科学,2006,33(5):128-130,135
[7] Narayanan S,McIlraith S.Analysis and simulation of web ser-vices[J].Computer Networks,2003,42(5):675-693
[8] Overdick H,Puhlmann F,Weske M.Towards a formal model for agile service discovery and integration.http://frapu.net/pdf/icsoc2005.pdf
[9] 廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643
[10] 林闯.随机Petri网和系统性能评价(第2版)[M].北京:清华大学出版社,2005
[11] 何炎祥,沈华.随机Petri网模型到马尔可夫链的转换规则与实现[J].计算机科学与探索,2013,7(1):55-62
[12] 何炎祥,沈华.一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J].计算机学报,2013,36(10):1953-1966
[13] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:28-30,88-91
[14] 李扬.求解线性方程组及不等式组的ABS方法[D].大连:辽宁师范大学,2007
[15] Murata T.Petri nets:Properties,analysis and applications [J].Proceedings of the IEEE,1989,77(4):541-580

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!