语义WEB服务组合

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态描述逻辑的语义Web服务组合被引量：14
《计算机学报》2013年第12期2468-2478,共11页常亮 刘进 古天龙 史忠植 
国家自然科学基金(61363030;61262030;61035003;61070013;61163041);国家"九七三"重点基础研究发展规划项目基金(2007CB311004);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-02);广西自然科学基金(2012GXNSFBA053169);广西可信软件重点实验室研究课题(KX201109)资助~~
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,...
关键词：语义WEB服务 服务组合 动态描述逻辑 动作理论 规划问题 
基于元对象机制的语义Web服务组合模型转换方法被引量：1
《计算机集成制造系统》2011年第4期867-875,共9页倪悦 范玉顺 
国家973计划资助项目(2006CB705407);国家自然科学基金资助项目(60704027);欧盟第六框架资助项目(FP6-IST-033610)~~
为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活...
关键词：语义 WEB服务 元对象机制 模型转换 业务过程协同 
语义Web服务组合综述被引量：21
《计算机科学》2010年第5期21-25,共5页崔华 应时 袁文杰 胡罗凯 
国家重点基础研究发展规划(973)(2007CB7310800);国家自然科学基金(60773006);高等学校博士学科点专项科研基金(20060486045)资助
语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有...
关键词：组合方法 语义WEB服务 本体 语义推理 
语义Web服务组合中的服务建模及规划算法被引量：2
《智能系统学报》2009年第6期490-496,共7页万长林 陈立民 王竹晓 王文杰 史忠植 
国家自然科学基金资助项目(60775035;60970088);国家"863"计划资助项目(2007AA01Z132);国家"973"计划资助项目(2003CB317004;2007CB311004);国家科技支撑计划资助项目(2006BAC08B06);中国科学院研究生院院长基金资助项目(O85101JM03)
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简...
关键词：语义WEB 动态描述逻辑 自动服务组合 
一种QoS感知的语义Web服务组合群决策算法被引量：3
《高技术通讯》2009年第7期693-698,共6页李祯 杨放春 苏森 
973计划(2003CB314806);863计划(2006AA01Z164);教育部新世纪人才支持计划(NCET-05-0114)资助项目。
针对QoS信息不确定和存在多个决策者的语义Web服务组合问题,基于多属性群决策理论给出了一个自治的语义Web服务组合群决策算法(AGSC)。该算法能够对以实数型、区间型和语言型数据描述的复杂的QoS信息进行综合评估,从而为多客户提供正确...
关键词：语义WEB服务 服务组合 服务质量(QoS) 不确定理论 多属性群决策(MAGDM)理论 
语义Web服务组合的形式化描述与验证研究被引量：3
《计算机科学》2008年第4期40-43,共4页程永上 王志坚 
国家自然科学基金(60573098);973项目(2002CB312002);江苏省自然科学基金(BK2006168)
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务...
关键词：WEB服务 WEB服务组合 PETRI网 建模 验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部