语义标记Petri网的组合Web服务建模与验证

doi:10.3778/j.issn.1673-9418.2009.02.006

计算机科学与探索 ›› 2009, Vol. 3 ›› Issue (2): 173-187.DOI: 10.3778/j.issn.1673-9418.2009.02.006

语义标记Petri网的组合Web服务建模与验证

雷丽晖^1,2,段振华¹⁺

1. 西安电子科技大学计算理论与技术研究所，西安 710071
2. 武汉大学软件工程国家重点实验室，武汉 430072

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-03-15 发布日期:2009-03-15
通讯作者: 雷丽晖

Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets

LEI Lihui^1,2, DUAN Zhenhua¹⁺

1. Institute of Computing Theory and Technology， Xidian University， Xi’an 710071， China
2. State Key Laboratory of Software Engineering， Wuhan University， Wuhan 430072， China

Received:1900-01-01 Revised:1900-01-01 Online:2009-03-15 Published:2009-03-15
Contact: LEI Lihui

摘要/Abstract

摘要： 随着Web服务组合的发展，整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行，因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网（SaPNs），并给出其语义；用受限描述逻辑tableau算法获得组合Web服务；使用SaPNs描述组合Web服务及其组成部分；最后，使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。

关键词: Petri网, Web服务, 语义匹配

Abstract: Integrating business processes becomes practicable along with the development of Web services composition. Composite Web services can be regarded as process-based workflows. Since error design of flow structures， such as deadlock， unsafeness， non-reachability and so on， will affect composite Web services performance， these errors should be detected and corrected before composite Web services are executed. An approach for modeling and verifying composite Web services based on semantic annotated Petri Nets is proposed. Firstly， semantic annotated Petri Nets （SaPNs） is presented and the semantics of SaPNs is given. Secondly， a restricted description logic tableau algorithm is utilized to obtain composite Web services. Thirdly， SaPNs is used to represent a composite Web service and the participating services that are invoked by this composite Web service. Finally， the composite Web services represented with the SaPN are verified by means of some analysis methods based on SaPNs. With this approach， a reliable composite Web services meeting client requirements in an open Internet environment can be achieved.

Key words: Petri Nets, Web services, semantic matching

雷丽晖1,2 ,段振华1+ . 语义标记Petri网的组合Web服务建模与验证[J]. 计算机科学与探索, 2009, 3(2): 173-187.

LEI Lihui^1,2, DUAN Zhenhua¹⁺. Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets[J]. Journal of Frontiers of Computer Science and Technology, 2009, 3(2): 173-187.

[1]	周广瑞, 徐淑琳, 郭乙运, 鲁法明, 岳昊. 标注Petri网的最小代价计划序列估计[J]. 计算机科学与探索, 2021, 15(7): 1350-1358.
[2]	姜家鑫，黄志球，马薇薇. 满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索, 2018, 12(3): 370-379.
[3]	孙晓玲. 直觉模糊Petri网的双向模糊故障推理算法[J]. 计算机科学与探索, 2017, 11(6): 1006-1013.
[4]	李吟，方建勇，江梦. 面向需求覆盖的Web服务自动化测试框架[J]. 计算机科学与探索, 2017, 11(11): 1747-1763.
[5]	李登辉，焦健，陈昕，宋亚鹏，肖庆. 有色Petri网的Android恶意代码建模方法研究[J]. 计算机科学与探索, 2017, 11(1): 99-105.
[6]	赵芳，方贤文，方欢. Petri网动态切片的最小变化域分析方法[J]. 计算机科学与探索, 2016, 10(4): 516-523.
[7]	何一凡，黄志球，孙艺. 面向Web服务组合的pivot事务嵌套模型[J]. 计算机科学与探索, 2015, 9(8): 926-934.
[8]	苏鹏，冯志勇，陈世展. 交互式Web服务语义增强[J]. 计算机科学与探索, 2015, 9(6): 682-691.
[9]	代飞，莫启，林雷蕾，朱锐，李彤，谢仲文. 结合Petri网和Pi演算的协同业务过程建模[J]. 计算机科学与探索, 2015, 9(6): 692-706.
[10]	张雪洁，王志坚，张伟建. 基于混合协同过滤的个性化Web服务推荐[J]. 计算机科学与探索, 2015, 9(5): 565-574.
[11]	田刚，何克清，孙承爱，赵卫东，赵一. Web服务描述的本体学习方法[J]. 计算机科学与探索, 2015, 9(5): 575-585.
[12]	贾垒，刘靖，马燕林，叶新铭. BitTorrent协议中激励机制的设计与分析[J]. 计算机科学与探索, 2014, 8(3): 275-287.
[13]	王晶，胡昊，余萍，吕建，葛季栋. 结合公共视图和对象Petri网的跨组织流程建模[J]. 计算机科学与探索, 2014, 8(1): 18-27.
[14]	王纯子，郭伟，张斌. 求解非线性混合整数规划的算法设计与仿真[J]. 计算机科学与探索, 2013, 7(9): 854-864.
[15]	陆嘉俊，黄志球，王进，沈国华，柯昌博. 面向行为的Web服务组合隐私策略描述研究[J]. 计算机科学与探索, 2013, 7(7): 592-601.

语义标记Petri网的组合Web服务建模与验证

Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics