云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60763004)

国家自然科学基金(60763004): 作品数：13被引量：23H指数：3; 导出分析报告; 相关作者：骆翔宇董荣胜古天龙轩爱成沙宗鲁更多>>; 相关机构：桂林电子科技大学华侨大学清华大学北京大学更多>>; 相关期刊：《微电子学与计算机》《桂林电子科技大学学报》《小型微型计算机系统》《计算机仿真》更多>>; 相关主题：WEB服务多智能体系统时态认知逻辑BPELWEB服务组合更多>>; 相关领域：自动化与计算机技术自然科学总论电子电信理学更多>>

基于智能体的OWL-S过程模型验证: 《桂林电子科技大学学报》2012年第2期134-139,共6页骆灵洁骆翔宇邹蒙蒙; 国家自然科学基金(60763004);华侨大学中央高校基本科研业务费项目(JB-GJ1001);华侨大学高层次人才科研启动项目(11BS108); 为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证。提出了OWL-S语言的...; 关键词：模型检测 WEB服务 OWL-S 认知逻辑多智能体系统

一种Web服务组合的认知模型检测方法被引量：2: 《小型微型计算机系统》2011年第10期2041-2047,共7页骆翔宇王昆王凤钗; 国家自然科学基金项目(60763004)资助;华侨大学中央高校基本科研业务费项目(JB-GJ1001)资助;华侨大学高层次人才科研启动费项目(11BS108)资助; 由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保证.将Web服务组合抽象为多主体系统,提出业务流程执行语言BPEL...; 关键词：模型检测 WEB服务 BPEL 认知逻辑多主体系统策略

基于ZING的Web服务建模与验证: 《桂林电子科技大学学报》2011年第3期202-207,共6页陆晶晶骆翔宇; 国家自然科学基金(60763004); 为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然...; 关键词：WEB服务 BPEL4WS I/OLTS 软件模型检测

Competent predicate abstraction in model checking被引量：4: 《Science China(Information Sciences)》2011年第2期258-267,共10页LI Li SONG XiaoYu GU Ming LUO XiangYu; supported by the National Basic Research Program of China (Grant No. 2004CB719406);the National Natural Science Foundation of China (Grant Nos. 60635020, 90718039, 60763004); The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in ...; 关键词：PROGRAM model checking predicate abstraction weight heuristic

一种执行代价较小的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 公告逻辑时态认知逻辑和与积难题

一种新颖有效的在线/离线门限签名方案被引量：1: 《计算机仿真》2009年第9期92-95,共4页梁炳辉黄廷辉; 国家自然科学基金(60763004);广西壮族自治区教育厅立项项目(Z20667); 基于以前提出的门限签名方案的不足,给出了一种新的在线/离线门限签名方案。给出了密钥生成、离线阶段和在线阶段的具体算法步骤,并在随机预言模型下,从完备性和可靠性等方面证明了该方案的安全性,采用零知识证明验证部分签名的方法保...; 关键词：密钥泄露在线/离线签名门限签名消息随机预言模型

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60763004)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60763004)

检索结果分析

下载全文

用户登录

高级检索检索式检索