{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T02:10:02Z","timestamp":1728699002948},"reference-count":23,"publisher":"Walter de Gruyter GmbH","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,1,27]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p xml:lang=\"en\">GRAFCET is a graphical means for formal specifications in industrial control design. In order to use these formal specifications for model-driven development of control code, it is beneficial to ensure syntactic correctness and verify the model. This paper presents a detailed meta-model for GRAFCET that includes logical and arithmetic expressions in conditions and assignments. The meta-model and additional invariants allow for creation of syntactically correct Grafcets. On this basis, a translation of GRAFCET into Guarded Action Language (GAL) is presented. The resulting transition systems in GAL allow a semantic analysis of GRAFCET by means of model checking. From these GRAFCET specifications, specification-compliant PLC code can be generated automatically.<\/jats:p>","DOI":"10.1515\/auto-2022-0094","type":"journal-article","created":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:07:47Z","timestamp":1673510867000},"page":"56-68","source":"Crossref","is-referenced-by-count":2,"title":["Transformation von GRAFCET in GAL auf Basis eines ausf\u00fchrlichen Metamodells zur Verifikation von Entwurfsfehlern"],"prefix":"10.1515","volume":"71","author":[{"given":"Aron","family":"Schnakenbeck","sequence":"first","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Hamburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Mro\u00df","sequence":"additional","affiliation":[{"name":"RWTH Aachen University , Aachen , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"V\u00f6lker","sequence":"additional","affiliation":[{"name":"RWTH Aachen University , Aachen , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University , Aachen , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Hamburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2023,1,13]]},"reference":[{"key":"2023033110472088742_j_auto-2022-0094_ref_001","doi-asserted-by":"crossref","unstructured":"A. Schnakenbeck, R. Mro\u00df, M. V\u00f6lker, S. Kowalewski, and A. Fay, \u201cTransformation von GRAFCET in GAL auf Basis eines ausf\u00fchrlichen Metamodells zur Verifikation von Entwurfsfehlern,\u201d in 17. Fachtagung EKA 2020 \u2013 Entwurf Komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen, Magdeburg, 2022.","DOI":"10.1515\/auto-2022-0094"},{"key":"2023033110472088742_j_auto-2022-0094_ref_002","doi-asserted-by":"crossref","unstructured":"R. Julius, T. Trenner, A. Fay, J. Nedidig, and X. L. Hoang, \u201cA meta-model based environment for GRAFCET specifications,\u201d in SYSCON 2019, Piscataway, NJ, IEEE, 2019, pp. 1\u20137.","DOI":"10.1109\/SYSCON.2019.8836959"},{"key":"2023033110472088742_j_auto-2022-0094_ref_003","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser, A. Fay, I. Schaefer, and M. Tichy, \u201cEvolution of software in automated production systems: challenges and research directions,\u201d J. Syst. Software, vol. 110, 54\u201384, 2015. https:\/\/doi.org\/10.1016\/j.jss.2015.08.026.","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"2023033110472088742_j_auto-2022-0094_ref_004","unstructured":"DIN EN 60848, GRAFCET, Spezifikationssprache f\u00fcr Funktionspl\u00e4ne der Ablaufsteuerung, 2014."},{"key":"2023033110472088742_j_auto-2022-0094_ref_005","unstructured":"B. W. Boehm, Software Engineering Economics. Prentice-Hall Advances in Computing Science and Technology Series, Englewood Cliffs, NJ, Prentice-Hall, 1981."},{"key":"2023033110472088742_j_auto-2022-0094_ref_006","unstructured":"Y. T. Mieg, \u201cFrom symbolic verification to domain specific languages: Formal languages and automata theory,\u201d Diss. Sorbonne Universit\u00e9 UPMC, Paris, France, 2016."},{"key":"2023033110472088742_j_auto-2022-0094_ref_007","doi-asserted-by":"crossref","unstructured":"R. Julius, T. Trenner, J. Neidig, and A. Fay, \u201cA model-driven approach for transforming GRAFCET specification into PLC code including hierarchical structures,\u201d IFAC-PapersOnLine, vol. 52, no. 13, pp. 1767\u20131772, 2019.","DOI":"10.1016\/j.ifacol.2019.11.457"},{"key":"2023033110472088742_j_auto-2022-0094_ref_008","unstructured":"DIN EN 61131-3, Speicherprogrammierbare Steuerungen \u2013 Teil 3: Programmiersprachen, 2014."},{"key":"2023033110472088742_j_auto-2022-0094_ref_009","doi-asserted-by":"crossref","unstructured":"F. Schumacher, S. Schr\u00f6ck, und A. Fay, \u201cTransforming hierarchical concepts of GRAFCET into a suitable Petri net formalism,\u201d IFAC Proc. Vol., Bd. 46, Nr.\u00a09, SS. 295\u2013300, 2013. https:\/\/doi.org\/10.3182\/20130619-3-RU- 3018.00188.","DOI":"10.3182\/20130619-3-RU-3018.00188"},{"key":"2023033110472088742_j_auto-2022-0094_ref_010","doi-asserted-by":"crossref","unstructured":"J. Provost, J. M. Roussel, und J. M. Faure, \u201cA formal semantics for Grafcet specifications,\u201d in 2011 IEEE International Conference on Automation Science and Engineering, H. von Michael Yu Wang, Ed., Piscataway, NJ, IEEE, 2011, SS. 488-494.","DOI":"10.1109\/CASE.2011.6042457"},{"key":"2023033110472088742_j_auto-2022-0094_ref_011","doi-asserted-by":"crossref","unstructured":"F. Schumacher und A. Fay, \u201cFormal representation of GRAFCET to automatically generate control code,\u201d Control Eng. Pract., Bd. 33, SS. 84\u201393, 2014. https:\/\/doi.org\/10.1016\/j.conengprac.2014.09.008.","DOI":"10.1016\/j.conengprac.2014.09.008"},{"key":"2023033110472088742_j_auto-2022-0094_ref_012","unstructured":"ISO\/IEC 15909-2, Systems and software engineering \u2013 high-level petri nets \u2013 part 2: transfer format, 2011."},{"key":"2023033110472088742_j_auto-2022-0094_ref_013","unstructured":"Object Management Group, Meta Object Facility (MOF) Core Specification, Object Management Group, 2019."},{"key":"2023033110472088742_j_auto-2022-0094_ref_014","doi-asserted-by":"crossref","unstructured":"G. V. Arnold, P. R. Henriques, und J. C. Fonseca, \u201cA graphical interface based on grafcet for programming industrial robots off-line,\u201d in ICINCO, 2005, SS. 113\u2013118. Available at: https:\/\/repositorium.sdum.uminho.pt\/handle\/1822\/3360.","DOI":"10.5220\/0001168501130118"},{"key":"2023033110472088742_j_auto-2022-0094_ref_015","unstructured":"G. Nzebop, E. Simeu, und M. Tchuente, \u201cLangage et s\u00e9mantique des expressions pour la synth\u00e9se de mod\u00e9le Grafcet dans un environnement IDM,\u201d in Conf\u00e9rence de Recherche en Informatique (CRI\u201919, Yaound\u00e9), 2020."},{"key":"2023033110472088742_j_auto-2022-0094_ref_016","unstructured":"F. Cassez, \u201cFormal semantics for reactive Grafcet,\u201d J. Eur. Syst. Autom., vol. 31, pp. 581\u2013603, 1997."},{"key":"2023033110472088742_j_auto-2022-0094_ref_017","unstructured":"M. Sogbohossou und A. Vianou, \u201cTranslation of hierarchical GRAFCET charts into time Petri nets,\u201d in Working Paper or Preprint, 2020. Available at: https:\/\/hal.archives-ouvertes.fr\/hal-02934113."},{"key":"2023033110472088742_j_auto-2022-0094_ref_018","doi-asserted-by":"crossref","unstructured":"Y. T. Mieg, \u201cSymbolic model-checking using ITStools,\u201d in Tools and Algorithms for the Construction and Analysis of Systems, Bd. 9035, LNTCS, Springer Berlin Heidelberg, 2015, SS. 231\u2013237. Available at: https:\/\/hal.archives-ouvertes.fr\/hal-02104373.","DOI":"10.1007\/978-3-662-46681-0_20"},{"key":"2023033110472088742_j_auto-2022-0094_ref_019","doi-asserted-by":"crossref","unstructured":"R. Julius, M. Sch\u00fcrenberg, F. Schumacher, and A. Fay, \u201cTransformation of GRAFCET to PLC code including hierarchical structures,\u201d Control Eng. Pract., vol. 64, pp. 173\u2013194, 2017. https:\/\/doi.org\/10.1016\/j.conengprac.2017.03.012.","DOI":"10.1016\/j.conengprac.2017.03.012"},{"key":"2023033110472088742_j_auto-2022-0094_ref_020","unstructured":"Object Management Group, Object Constraint Language, Object Management Group, 2014."},{"key":"2023033110472088742_j_auto-2022-0094_ref_021","unstructured":"Object Management Goup, XML Metadata Interchange (XMI) Specification, Object Management Group, 2015."},{"key":"2023033110472088742_j_auto-2022-0094_ref_022","unstructured":"Technical Paper, \u201cPLCopen technical committtee 6. XML formats for IEC 61131-3: version 2.01 \u2013 official release,\u201d 2009."},{"key":"2023033110472088742_j_auto-2022-0094_ref_023","unstructured":"CODESYS, CODESYS, 2022. Available at: https:\/\/www.codesys.com\/."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0094\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0094\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T01:37:40Z","timestamp":1728697060000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0094\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,1]]},"references-count":23,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2023,1,13]]},"published-print":{"date-parts":[[2023,1,27]]}},"alternative-id":["10.1515\/auto-2022-0094"],"URL":"https:\/\/doi.org\/10.1515\/auto-2022-0094","relation":{},"ISSN":["0178-2312","2196-677X"],"issn-type":[{"type":"print","value":"0178-2312"},{"type":"electronic","value":"2196-677X"}],"subject":[],"published":{"date-parts":[[2023,1,1]]}}}