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 条

[21] A meta-model based approach to the description of resources and skills
Oberweis, Andreas
Schuster, Thomas
AMCIS 2010 PROCEEDINGS, 2010,
[22] ACTIVITY BASED USE CASE STRUCTURE META-MODEL
Wei, Changjiang
Lei, Ma
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2, 2009, : 1071 - 1078
[23] Building Probabilistic Ontologies Based on Meta-Model PODM
Emna, Hlel
Salma, Jamoussi
Mohamed, Turki
Abdelmajid, Ben Hamadou
PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS 2016), 2017, 552 : 288 - 297
[24] Meta-model Based Framework for Architectural Knowledge Management
Bhat, Manoj
Shumaiev, Klym
Biesdorf, Andreas
Hohenstein, Uwe
Hassel, Michael
Matthes, Florian
ACM PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), 2016,
[25] A meta-model based approach to the development of telecommunication systems
Kim, GJ
Kim, JS
Ahn, YW
Jeon, JO
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2330 - 2335
[26] META-MODEL FOR VR-BASED DESIGN REVIEWS
Gebert, Martin
Steger, Wolfgang
Stelzer, Ralph
Bertelmann, Kathrin
DS87-4 PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 17), VOL 4: DESIGN METHODS AND TOOLS, 2017, : 337 - 346
[27] A SPEM BASED SOFTWARE PROCESS IMPROVEMENT META-MODEL
de Espindola, Rodrigo Santos
Nicolas Audy, Jorge Luis
ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 301 - 306
[28] Generic Layout Algorithm for Meta-model Based Editors
Maier, Sonja
Minas, Mark
APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2008, 5088 : 66 - 81
[29] The Research on the Workflow Meta-Model Based on Web Service
Wang Chengjun
2009 SECOND INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, FITME 2009, 2009, : 400 - 403
[30] THE GUI TESTING METHOD BASED ON TESTING META-MODEL
Usaniov, Andrej
Packevicius, Sarunas
Motiejunas, Kestutis
INFORMATION TECHNOLOGIES' 2010, 2010, : 233 - 237

← 1 2 3 4 5 →