一种面向自动推理的语义Web服务发现方法

摘要：

面向服务计算是近年研究的热点,在面向软件方面上主要体现在Web服务发现、服务选择、服务组合等方面.提出一种面向自动推理的服务发现方法,主要建立一种Petri网的流程控制方法和自动机推理模式,并给出一些定理和性质来说明服务发现的可行性.从而实现服务发现的自动识别,并有效完成服务组合.最后以Amazon中的一组定购服务进行分析得出,该方法可行且有效.

关键词：服务发现、Petri网、自动机、语义Web服务组合

所属期刊栏目：39

分类号：TP391(计算技术、计算机技术)

资助基金：四川省教育厅自然科学基金09ZC002

在线出版日期：2011-09-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：21-24,131