• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >Using UML Statecharts with Knowledge Logic Guards
【24h】

Using UML Statecharts with Knowledge Logic Guards

机译：将UML状态图与知识逻辑防护一起使用

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper describes an extension of UML statecharts, called K-statechart, suitable for the. formal specification, modeling, and runtime verification of system behavior that depends on knowledge and belief in distributed multi-agent systems. With K-statecharts, statechart transition guards allow the use of knowledge-logic formulae, a form of modal logic used for reasoning about multi-agent systems. We demonstrate the proposed formalism using an example of a multi-agent system that consists of three traffic-light controllers. We also describe a newly developed K-statechart code generator that is part of the StateRover Eclipse-IDE plug-in for statechart-based modeling and formal specification.
机译：本文介绍了适用于UML状态图的扩展，称为K状态图。依赖于分布式多代理系统知识和信念的系统行为的形式化规范，建模和运行时验证。对于K状态图，状态图过渡保护机制允许使用知识逻辑公式，这是用于推理多主体系统的一种形式逻辑。我们使用由三个交通灯控制器组成的多主体系统的示例演示拟议的形式主义。我们还将描述一个新开发的K状态图代码生成器，该代码生成器是StateRover Eclipse-IDE插件的一部分，用于基于状态图的建模和正式规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号