Web服务组合语义一致性验证研究

• 论文 •

Web服务组合语义一致性验证研究

王志坚，程永上，徐经纬

1.河海大学计算机与信息工程学院,江苏南京210098;2.南京邮电大学计算机学院,江苏南京210046

出版日期:2009-01-15 发布日期:2009-01-25

Semantic consistency verification of Web service composition

WANG Zhi-jian, CHENG Yong-shang，XU Jing-wei

1.College of Computer & Information Engineering, Hohai University, Nanjing 210098, China；2.College of Computer Science,Nanjing University of Posts & Teclecomnunications, Nanjing 210046,China

Online:2009-01-15 Published:2009-01-25

摘要/Abstract

摘要： 通过分析Web服务组合正确性验证方法，给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程，而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容，给出了其相应验证算法。最后，进行了总结，并提出了下一步的工作。

关键词: Web服务组合, 语义, Petri网, 一致性, 服务质量

Abstract: By analyzing correctness verification method of Web service composition, semantic Petri net corresponding to Web service composition was presented. By using semantic Petri nets, not only Web service composition processes could be described, but also the correctness of Web service composition could be verified. Content of the semantic consistency of Web service composition was proposed. And the verification algorithms were given. Finally, the summary was concluded, and the future work was also pointed out.

Key words: Web service composition, semantics, Petri nets, consistency, quality of service

中图分类号:

TP311

王志坚，程永上，徐经纬. Web服务组合语义一致性验证研究[J]. .

WANG Zhi-jian, CHENG Yong-shang，XU Jing-wei. Semantic consistency verification of Web service composition [J]. .

[1]	高子建,张晗睿,窦万春,徐江民,孟顺梅. 基于谱聚类和隐语义模型的智能协同推荐方法[J]. 计算机集成制造系统, 2021, 27(9): 2517-2524.
[2]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[3]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[4]	陈明,高铁梁,张志锋,季肖辉,唐启光. 基于用户多兴趣的服务流程推荐方法[J]. 计算机集成制造系统, 2021, 27(9): 2701-2707.
[5]	闫志强,杨翰宇,程冠杰,刘洪荣,邓水光,刘冠宇,杨明. 基于区块链的服务质量综合评估框架与算法[J]. 计算机集成制造系统, 2021, 27(9): 2708-2720.
[6]	王春雨,蒋祖华,王福华,吉永军,江辉. 面向工业软件开发的半结构化知识语义检索方法[J]. 计算机集成制造系统, 2021, 27(8): 2371-2381.
[7]	阴艳超,张晟博,廖伟智,徐凯. 资源组件驱动的装配工具匹配推理方法[J]. 计算机集成制造系统, 2021, 27(7): 1981-1992.
[8]	陈治宇,鲍劲松,郑小虎,丁司懿,刘天元. 基于长短期记忆网络的装配工艺语义识别方法[J]. 计算机集成制造系统, 2021, 27(6): 1582-1593.
[9]	王婕,耿秀丽. 基于直觉模糊余弦相似度的云制造服务质量评价[J]. 计算机集成制造系统, 2021, 27(4): 1128-1134.
[10]	李雪瑞,侯幸刚,杨梅,王璐瑶,王怡妍,李欣颖. 数字孪生驱动的工业产品CMF设计服务模型构建与应用[J]. 计算机集成制造系统, 2021, 27(2): 307-327.
[11]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[12]	孙延浩,张琦,袁志明,李智. 基于二维二元语义和前景理论的改进FMEA法[J]. 计算机集成制造系统, 2021, 27(12): 3439-3449.
[13]	冯立杰,李子宇,王金凤,张珂,刘鹏. 面向特征考虑用户创新偏好的软件产品创新机会识别及优先级分析[J]. 计算机集成制造系统, 2021, 27(12): 3625-3638.
[14]	胡杨,吴锋,王红涛. 考虑稀缺服务与质量损失云制造服务组合问题[J]. 计算机集成制造系统, 2021, 27(12): 3639-3650.
[15]	任剑,谢翠华,杨艺,卞灿. 智能工厂建设方案的正态云多准则优选方法[J]. 计算机集成制造系统, 2021, 27(10): 2990-3003.