基于Petri网的语义Web服务自动组合方法

• 作者: 丁志军 汤宪飞 王成 蒋昌俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Web服务 Web服务组合 Horn子句 Petri网 T-不变量
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 面向服务的计算专利
• 页码范围: 2991-3000
• 页数: 10页
• 分类号: TP393
• 字数: 8809字
• 语种: 中文

摘要

Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与技术系	93	1492	18.0	36.0
3	丁志军	同济大学计算机科学与技术系	37	329	8.0	17.0
9	王成	同济大学计算机科学与技术系	25	357	7.0	18.0
11	汤宪飞	同济大学计算机科学与技术系	2	187	2.0	2.0