DC FieldValueLanguage
dc.contributor.authorJulius, Robert-
dc.contributor.authorTrenner, Thomas-
dc.contributor.authorFay, Alexander-
dc.contributor.authorNeidig, Jörg-
dc.contributor.authorHoang, Xuan-Luu-
dc.date.accessioned2023-03-14T15:31:11Z-
dc.date.available2023-03-14T15:31:11Z-
dc.date.issued2019-
dc.description.abstractGRAFCET 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.de_DE
dc.description.sponsorshipAutomatisierungstechnikde_DE
dc.language.isoengde_DE
dc.publisherIEEEde_DE
dc.titleA meta-model based environment for GRAFCET specificationsde_DE
dc.typeConference Objectde_DE
dc.relation.conferenceIEEE International Systems Conference (SysCon), 08-11 April 2019 , Orlando, FL, USAde_DE
dc.identifier.doi10.1109/SYSCON.2019.8836959-
dcterms.bibliographicCitation.pagestart1de_DE
dcterms.bibliographicCitation.pageend7de_DE
dcterms.bibliographicCitation.originalpublisherplacePiscatawayde_DE
local.submission.typeonly-metadatade_DE
dc.description.peerReviewedde_DE
dc.type.conferenceObjectConference Paperde_DE
item.fulltextNo Fulltext-
item.fulltext_sNo Fulltext-
item.grantfulltextnone-
item.languageiso639-1en-
item.openairetypeConference Object-
crisitem.author.deptAutomatisierungstechnik-
crisitem.author.orcid0000-0002-1922-654X-
crisitem.author.parentorgFakultät für Maschinenbau und Bauingenieurwesen-
Appears in Collections:3 - Publication references (only metadata)
Show simple item record

CORE Recommender

SCOPUSTM   
Citations

7
checked on Dec 5, 2023

Google ScholarTM

Check

Altmetric

Altmetric


Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.