Skip to Main content Skip to Navigation
New interface
Journal articles

Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM

Abstract : The GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) is a powerful graphical modeling language for the pecification of controllers in discrete event systems.It uses expressions to express the conditions of transitions and conditional actions as well as the logical and arithmetic expressions assigned to stored actions. However, several research works has focused on the transformation of Grafcet specifications (including expressions) into control code for embedded systems. To make it easier to edit valid Grafcet models and generate code, it is necessary to propose a formalization of the Grafcet expression language permitting to validate its constructs and provide an appropriate semantics. For this, we propose a context-free grammar that generates the whole set of Grafcet expressions, by extending the usual grammars of logical and arithmetic expressions. We also propose a metamodel and an associated semantics of Grafcet expressions to facilitate the implementation of the Grafcet language. A parser of the expressions Grafcet emph G7Expr is then obtained thanks to the generator of parsers ANTLR, while the metamodel is implemented in the Eclipse EMF Model Driven Engineering (MDE) environment. The combination of the two tools makes it possible to analyze and automatically build Grafcet expressions when editing and synthesizing Grafcet models.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02558838
Contributor : Gérard NZEBOP NDENOKA Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2021 - 11:48:40 AM
Last modification on : Monday, October 10, 2022 - 12:34:07 PM

File

Latex_CRI2019_ARIMA_Final_Vers...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

Collections

Citation

Gérard Nzebop Ndenoka, Maurice Tchuenté, Emmanuel Simeu. Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, Volume 33 - 2020 - Special issue CRI 2019 (33), ⟨10.46298/arima.6452⟩. ⟨hal-02558838v4⟩

Share

Metrics

Record views

226

Files downloads

387