一种面向自动推理的语义Web服务发现方法
马洪江
阿坝师范高等专科学校计算机科学系,成都,611741
摘要：面向服务计算是近年研究的热点,在面向软件方面上主要体现在Web服务发现、服务选择、服务组合等方面.提出一种面向自动推理的服务发现方法,主要建立一种Petri网的流程控制方法和自动机推理模式,并给出一些定理和性质来说明服务发现的可行性.从而实现服务发现的自动识别,并有效完成服务组合.最后以Amazon中的一组定购服务进行分析得出,该方法可行且有效.
关键词：服务发现Petri网自动机语义Web服务组合
分类号：TP391(计算技术、计算机技术)
资助基金：四川省教育厅自然科学基金(09ZC002)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 21-24,131 )
英文信息