广西青年科学基金(0728090)

作品数：8被引量：19H指数：3
导出分析报告
相关作者：骆翔宇董荣胜轩爱成沙宗鲁陈艳更多>>
相关机构：桂林电子科技大学清华大学华侨大学北京大学更多>>
相关期刊：《小型微型计算机系统》《计算机工程与应用》《微电子学与计算机》《计算机工程》更多>>
相关主题：WEB服务时态认知逻辑时间自动机多智能体系统UPPAAL更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
全局优化的分层动态Web服务组合被引量：2
《计算机工程与应用》2011年第12期72-74,145,共4页王飞明 董荣胜 胡元闯 骆翔宇 
国家自然科学基金No.60762002;No.60763004;广西自然科学基金项目(No.桂科自0991242);广西青年科学基金项目(No.桂科青0728090)~~
优化选取服务是动态Web服务组合的关键技术之一。在对分层组合算法研究的基础上,利用产生式规则和接口语义规则对Web服务建模,引入了备选服务的QoS性能指标和用户请求对响应时间、成本、成功率、可靠性和组合率的多条件约束,给出了一种...
关键词：动态WEB服务组合 全局优化 服务质量(QoS) 
基于Verics的组合Web服务有界模型检测
《小型微型计算机系统》2011年第3期412-415,共4页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金项目(9071803960763004)资助;中国博士后科学基金项目(20090450389)资助;广西青年科学基金项目(桂科青0728090)资助;广西研究生教育创新计划项目(2008105950812M424)资助
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成...
关键词：有界模型检测 时态认知逻辑 WEB服务 时间自动机 Verics 
一种执行代价较小的Web服务动态合成方法
《微电子学与计算机》2011年第2期166-170,共5页轩爱成 骆翔宇 沙宗鲁 董荣胜 
国家自然科学基金项目(60763004);中国博士后科学基金(20090450389);广西自然科学基金(0991242);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)
在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最小的Web服务,从而动态生成一个执行代价较小的合成方案.该合成...
关键词：WEB服务合成 执行代价 反向链 产生式模型 
一种Web服务特征交互自动检测方法被引量：3
《计算机科学》2010年第12期106-109,119,共5页骆翔宇 谭征 董荣胜 
国家自然科学基金(60763004);中国博士后科学基金(20090450389);广西科学基金(桂科自0991242);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)资助
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式...
关键词：模型检测 WEB服务组合 特征交互 BPEL 
基于时间自动机的Web服务模型检测被引量：7
《计算机科学》2010年第8期139-142,197,共5页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金(60763004);中国博士后科学基金(20090450389);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)资助
传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工...
关键词：模型检测 WEB服务 时间自动机 UPPAAL 
Web服务的形式化验证被引量：3
《计算机工程》2010年第5期257-259,共3页骆翔宇 陈艳 
国家自然科学基金资助项目(60763004);中国博士后科学基金资助项目(20090450389);广西青年科学基金资助项目(桂科青0728090)
将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的...
关键词：模型检测 时态知识逻辑 多智能体系统 WEB服务 
一种求解认知难题的模型检测方法被引量：5
《计算机学报》2010年第3期406-414,共9页骆翔宇 苏开乐 顾明 
国家自然科学基金重点项目(90718039);国家"九七三"重点基础研究发展规划项目基金(2010CB328103);国家杰出青年科学基金(60725207);国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);中国博士后科学基金(20090450389)资助
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以...
关键词：模型检测 OBDD 公告逻辑 时态认知逻辑 和与积难题 
基于时态认知逻辑的Web服务模型检测被引量：1
《计算机科学》2009年第8期153-157,共5页骆翔宇 陈艳 古天龙 董荣胜 
国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2007105950811m19)资助
传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,...
关键词：模型检测 时态认知逻辑 多智能体系统 WEB服务 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部