语义WEB服务组合

作品数:32被引量:145H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:倪悦范玉顺马洪江杨兴江周相兵更多>>
相关机构:武汉大学清华大学吉林大学阿坝师范高等专科学校更多>>
相关期刊:《电子世界》《微电子学与计算机》《计算机集成制造系统》《吉林大学学报(理学版)》更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划四川省教育厅自然科学科研项目更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机学报x
条 记 录,以下是1-1
视图:
排序:
基于动态描述逻辑的语义Web服务组合被引量:14
《计算机学报》2013年第12期2468-2478,共11页常亮 刘进 古天龙 史忠植 
国家自然科学基金(61363030;61262030;61035003;61070013;61163041);国家"九七三"重点基础研究发展规划项目基金(2007CB311004);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-02);广西自然科学基金(2012GXNSFBA053169);广西可信软件重点实验室研究课题(KX201109)资助~~
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,...
关键词:语义WEB服务 服务组合 动态描述逻辑 动作理论 规划问题 
检索报告 对象比较 聚类工具 使用帮助 返回顶部