• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual IEEE International Systems Conference >A meta-model based environment for GRAFCET specifications
【24h】

A meta-model based environment for GRAFCET specifications

机译：GRAFCET规范的基于元模型的环境

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

GRAFCET is a powerful graphical modelling language and an international standard to specify the behavior of discrete event systems. One of the main advantages of GRAFCET compared to other specification languages is the description of distributed and nested program parts within a control application based on the hierarchical structures enclosing steps, partial-Grafcet and forcing orders. This contribution presents a meta-model based approach for GRAFCET specifications, including hierarchical structures. For this purpose, a suitable static GRAFCET meta-model has been defined. This model is the basis for both, a model-driven implementation of a graphical editor as well as a model-based GRAFCET syntax verification. This meta-model based approach has been made in consideration of the benefits of MDSD and the potential to expand the solution to other issues of formal methods in control system engineering. An integrated software solution is presented using the open-source environment Eclipse.
机译：GRAFCET是一种功能强大的图形建模语言，是一种用于指定离散事件系统的行为的国际标准。与其他规范语言相比，GRAFCET的主要优点之一是基于层次结构（包含步骤，部分Grafcet和强制顺序）来描述控制应用程序中分布式和嵌套程序部分。该贡献为GRAFCET规范提供了一种基于元模型的方法，包括层次结构。为此目的，已经定义了合适的静态GRAFCET元模型。该模型是图形编辑器的模型驱动实现以及基于模型的GRAFCET语法验证的基础。考虑到MDSD的优点以及将解决方案扩展到控制系统工程中形式方法的其他问题的潜力，因此采用了这种基于元模型的方法。使用开源环境Eclipse提出了一种集成的软件解决方案。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号