会议专题

基于逻辑推理和Petri网的Web服务自动组合

本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法.该方法使用命题逻辑规则作为语义Web服务的内在表示模型,通过把服务及服务接口概念之间的语义关系表示为一组命题逻辑规则,把用户提供的输入和要求的输出分别表示为事实和目标命题,从而将服务自动组合问题转化为命题逻辑推理问题.基于逻辑推理的算法可以在规则库大小的线性时间内有效判断是否存在满足用户功能要求的合成服务,并同时选出那些组合中可能会用到的规则:进而使用Petri网为选出的规则集建模,利用其结构分析方法来有效获取及验证合成服务的流程.

Web服务 逻辑推理 Petri网

汤宪飞 蒋昌俊 丁志军 王鹏伟

同济大学 计算机科学与技术系,上海 201804 同济大学 嵌入式系统与服务计算教育部重点实验室,上海 201804

国内会议

第一届全国服务计算学术会议

哈尔滨

中文

525-534

2010-08-10(万方平台首次上网日期,不代表论文的发表时间)