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

摘要

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