A meta-model based environment for GRAFCET specifications

被引：0

作者：

Julius, Robert ^{[1
]}

Trenner, Thomas ^{[2
]}

Fay, Alexander ^{[1
]}

Neidig, Joerg ^{[2
]}

Hoang, Xuan Luu ^{[1
]}

机构：

[1] Helmut Schmidt Univ Hamburg, Inst Automat Technol, Hamburg, Germany

[2] Siemens AG, Digital Factory Div, Nurnberg, Germany

来源：

2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON) | 2019年

关键词：

formal methods; industrial automation; meta-model; model-driven engineering (MDE); IMPLEMENTATION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页数：7

共 50 条

[31] Evolution Strategies with an RBM-Based Meta-Model
Makukhin, Kirill
KNOWLEDGE MANAGEMENT AND ACQUISITION FOR SMART SYSTEMS AND SERVICES, PKAW 2014, 2014, 8863 : 246 - 259
[32] A form-based meta-model for software composition
Lumpe, M
Schneider, JG
SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (1-2) : 59 - 78
[33] A meta-model based approach to UML modelling and simulation
Kleins, Arnis
Merkuryev, Yuri
Teilans, Artis
Filonik, Maxim
PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '08): RECENT ADVANCES IN SYSTEMS SCIENCE AND SIMULATION IN ENGINEERING, 2008, : 272 - +
[34] Evolution strategies with an RBM-based meta-model
Makukhin, Kirill
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8863 : 246 - 259
[35] A Meta-Model for Cooperation Systems
Jeners, Nils
Prinz, Wolfgang
Franken, Sebastian
COLLABORATIVE SYSTEMS FOR REINDUSTRIALIZATION, 2013, 408 : 239 - 246
[36] A Meta-Model for Knowledge Management
Ammann, Eckhard
PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON INTELLECTUAL CAPITAL AND KNOWLEDGE MANAGEMENT & ORGANISATIONAL LEARNING, 2008, : 37 - 44
[37] The Rosetta meta-model framework
Kong, C
Alexander, P
ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 133 - 140
[38] Research on Activity Based Use case Meta-Model
Lei, Ma
Jiang, Wei Chang
2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 843 - 846
[39] BioSignalML - a meta-model for biosignals
Brooks, David J.
Hunter, Peter J.
Smaill, Bruce H.
Titchener, Mark R.
2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2011, : 5670 - 5673
[40] A meta-model for method integration
Saeki, M
INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 39 (14-15) : 925 - 932

← 1 2 3 4 5 →