中央高校基本科研业务费专项资金(JB-GJ1001)
- 作品数：4 被引量：17H指数：2
- 相关作者：骆翔宇邹蒙蒙骆灵洁吴立军苏开乐更多>>
- 相关机构：华侨大学桂林电子科技大学电子科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金高层次人才科研启动基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种Web服务组合的认知模型检测方法被引量：2
- 2011年
- 由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保证.将Web服务组合抽象为多主体系统,提出业务流程执行语言BPEL的形式模型BSTS,设计并实现了从BPEL到BSTS的B2S转化算法,以及从BSTS到多主体系统模型检测工具MCMAS输入语言ISPL的S2I转化算法,从而实现Web服务组合的自动形式化建模,使得我们不仅可以验证Web服务组合的时态逻辑规范,而且还可以验证认知与合作等多主体系统特有的逻辑规范.我们实现了相关的模型检测工具原型MCWS,并用其对一个贷款核准服务实例进行建模和验证,实验结果显示了MCWS的有效性.
- 骆翔宇王昆王凤钗
- 关键词：WEB服务BPEL认知逻辑多主体系统
- 基于KQML的多智能体系统建模与验证被引量：1
- 2012年
- 为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智能体模型检测工具MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模,并用MCMAS对多智能体系统规范的正确性进行验证。实验结果表明,所提出的算法不仅能够验证多智能体系统的时态规范,还能验证其特有的认知规范。
- 邹蒙蒙骆翔宇骆灵洁
- 关键词：KQML多智能体系统
- 一种基于认知模型检测的Web服务组合验证方法被引量：15
- 2011年
- 近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,将Web服务组合建模为多主体系统,在分析BPEL语言控制流程基础上,提出BPEL活动的形式化模型,给出活动执行语义.进而以迁移七元组为中间形式,开发从BPEL流程到迁移七元组集合以及从这些迁移七元组到MCTK(一种我们开发的多主体系统模型检测工具)输入语言的自动转换算法,最终通过MCTK进行验证.实验结果表明开发的算法不仅可以有效验证Web服务组合的时态逻辑规范,而且可以验证多主体系统特有的认知逻辑规范及其时态组合.
- 骆翔宇谭征苏开乐吴立军
- 关键词：WEB服务组合BPEL认知逻辑多主体系统
- 基于智能体的OWL-S过程模型验证
- 2012年
- 为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证。提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证。实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性。
- 骆灵洁骆翔宇邹蒙蒙
- 关键词：WEB服务OWL-S认知逻辑多智能体系统
