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

摘要

SOC(Service-oriented Computing) is hotspot in the recent year, which mainly focus on some faces such Web service discovery, service selection and service composition.In the paper, a service discovery approach based on automaton reasoning has been proposed, which established flow control approach based on Petri Net and reasoning based on Automaton.Thus automatic identification of service discovery and service composition are accomplished.Finally, a sample is applied the approach showed that is feasible and effective in the Amazon.%面向服务计算是近年研究的热点,在面向软件方面上主要体现在Web服务发现、服务选择、服务组合等方面.提出一种面向自动推理的服务发现方法,主要建立一种Petri网的流程控制方法和自动机推理模式,并给出一些定理和性质来说明服务发现的可行性.从而实现服务发现的自动识别,并有效完成服务组合.最后以Amazon中的一组定购服务进行分析得出,该方法可行且有效.