高层次人才科研启动基金(11BS108)
- 作品数：3 被引量：2H指数：1
- 相关作者：骆翔宇邹蒙蒙骆灵洁许兴旺更多>>
- 相关机构：桂林电子科技大学华侨大学更多>>
- 发文基金：高层次人才科研启动基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于KQML的多智能体系统建模与验证被引量：1
- 2012年
- 为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智能体模型检测工具MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模,并用MCMAS对多智能体系统规范的正确性进行验证。实验结果表明,所提出的算法不仅能够验证多智能体系统的时态规范,还能验证其特有的认知规范。
- 邹蒙蒙骆翔宇骆灵洁
- 关键词：KQML多智能体系统
- 基于MAS模型检测与抽象的Web服务验证被引量：1
- 2015年
- Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一种Web服务组合形式化验证方法,将基于图状反例向导的抽象与精化方法应用于多主体系统(MAS)模型检测工具(MCTK)中,大幅缓解模型检测的状态爆炸问题,从理论上证明该验证方法的正确性。实验通过将银行贷款风险评估系统转换成MCTK描述的MAS,并对比抽象前后的模型检测代价,结果显示,基于抽象的Web服务验证方法明显优于未采用抽象技术的验证方法。
- 许兴旺骆翔宇
- 关键词：WEB服务组合多主体系统精化
- 基于智能体的OWL-S过程模型验证
- 2012年
- 为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证。提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证。实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性。
- 骆灵洁骆翔宇邹蒙蒙
- 关键词：WEB服务OWL-S认知逻辑多智能体系统
