中央高校基本科研业务费专项资金(JB-GJ1001)

作品数：4被引量：17H指数：2
导出分析报告
相关作者：骆翔宇邹蒙蒙骆灵洁吴立军苏开乐更多>>
相关机构：华侨大学桂林电子科技大学电子科技大学北京大学更多>>
相关期刊：《桂林电子科技大学学报》《计算机学报》《小型微型计算机系统》更多>>
相关主题：认知逻辑BPELWEB服务组合多主体系统WEB服务更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于KQML的多智能体系统建模与验证被引量：1
《桂林电子科技大学学报》2012年第3期227-232,共6页邹蒙蒙 骆翔宇 骆灵洁 
国家自然科学基金(61170028);华侨大学中央高校基本科研业务项目(JB-GJ1001);华侨大学高层次人才科研启动项目(11BS108)
为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智...
关键词：KQML 多智能体系统 模型检测 MCMAS 
基于智能体的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 认知逻辑 多主体系统 策略 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部