{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:44Z","timestamp":1759032944928,"version":"3.37.3"},"reference-count":35,"publisher":"Walter de Gruyter GmbH","issue":"3","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRAFCETbringtS"],"award-info":[{"award-number":["GRAFCETbringtS"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3,26]]},"abstract":"<jats:title>Zusammenfassung<\/jats:title>\n               <jats:p>In diesem Beitrag werden ein modellbasiertes Konzept zur Transformation von GRAFCET nach IEC 61131-3 Steuerungscode sowie verschiedene darauf aufbauende Ans\u00e4tze f\u00fcr die automatische R\u00fccktransformation des manuell ge\u00e4nderten Codes in die GRAFCET-Spezifikation vorgestellt und diskutiert. Diese bidirektionale Transformation kann als Round-Trip-Engineering im Steuerungs-Lebenszyklus verstanden werden.<\/jats:p>","DOI":"10.1515\/auto-2018-0091","type":"journal-article","created":{"date-parts":[[2019,4,11]],"date-time":"2019-04-11T15:28:16Z","timestamp":1554996496000},"page":"208-217","source":"Crossref","is-referenced-by-count":3,"title":["Konzept zur bidirektionalen Transformation zwischen GRAFCET-Spezifikationen und IEC 61131-3 Steuerungscode"],"prefix":"10.1515","volume":"67","author":[{"given":"Robert","family":"Julius","sequence":"first","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Institut f\u00fcr Automatisierungstechnik , Holstenhofweg 85 , Hamburg , Germany"}]},{"given":"Viktoria","family":"Fink","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Institut f\u00fcr Automatisierungstechnik , Holstenhofweg 85 , Hamburg , Germany"}]},{"given":"Stefan","family":"Uelzen","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Institut f\u00fcr Automatisierungstechnik , Holstenhofweg 85 , Hamburg , Germany"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg , Institut f\u00fcr Automatisierungstechnik , Holstenhofweg 85 , Hamburg , Germany"}]}],"member":"374","published-online":{"date-parts":[[2019,3,1]]},"reference":[{"key":"2023033110003435987_j_auto-2018-0091_ref_001_w2aab3b7b2b1b6b1ab1b7b1Aa","unstructured":"Programmable controllers \u2013 Part 3: Programming languages, 61131-3, 2013."},{"key":"2023033110003435987_j_auto-2018-0091_ref_002_w2aab3b7b2b1b6b1ab1b7b2Aa","unstructured":"G. Frey and L. Litz, \u201cFormal methods in PLC programming,\u201d in IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2000, pp.\u20092431\u20132436."},{"key":"2023033110003435987_j_auto-2018-0091_ref_003_w2aab3b7b2b1b6b1ab1b7b3Aa","unstructured":"Software and system Engineering \u2013 High-level Petri nets \u2013 Part 1 Concepts, definitions and graphicalnotation, 15909-1, 2004."},{"key":"2023033110003435987_j_auto-2018-0091_ref_004_w2aab3b7b2b1b6b1ab1b7b4Aa","unstructured":"OMG \u2013 Object Management Group, \u201cUnified Modeling Language Specification, Superstructure, V2.5,\u201d OMG \u2013 Object Management Group (2015). Available Online: http:\/\/www.omg.org\/spec\/UML\/2.5\/PDF."},{"key":"2023033110003435987_j_auto-2018-0091_ref_005_w2aab3b7b2b1b6b1ab1b7b5Aa","doi-asserted-by":"crossref","unstructured":"J. Zaytoon and B. Riera, \u201cSynthesis and implementation of logic controllers \u2013 A review,\u201d Annual Reviews in Control, vol.\u200943, pp.\u2009152\u2013168, 2017.10.1016\/j.arcontrol.2017.03.004","DOI":"10.1016\/j.arcontrol.2017.03.004"},{"key":"2023033110003435987_j_auto-2018-0091_ref_006_w2aab3b7b2b1b6b1ab1b7b6Aa","doi-asserted-by":"crossref","unstructured":"G. Frey, \u201cAutomatic implementation of Petri net based control algorithms on PLC,\u201d in Proceedings of the American Control Conference Chicago Illiiois, 2000, pp.\u20092819\u20132823.","DOI":"10.1109\/ACC.2000.878725"},{"key":"2023033110003435987_j_auto-2018-0091_ref_007_w2aab3b7b2b1b6b1ab1b7b7Aa","unstructured":"F. Schumacher, \u201cAutomatische Generierung von IEC 61131-3 Steuerungscode aus einer GRAFCET-Spezifikation,\u201d Dissertation, Insitut f\u00fcr Automatisierungstechnik, Helmut-Schmidt-Universit\u00e4t\/Universit\u00e4t der Bundeswehr Hamburg, 2013."},{"key":"2023033110003435987_j_auto-2018-0091_ref_008_w2aab3b7b2b1b6b1ab1b7b8Aa","doi-asserted-by":"crossref","unstructured":"D. Witsch and B. Vogel-Heuser, \u201cPLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering \u2013 Aspects on Behavioral Semantics and Model-Checking,\u201d in Proceedings of the 18th World Congress The International Federation of Automatic Control Milano (Italy), 2011, pp.\u20097866\u20137872.","DOI":"10.3182\/20110828-6-IT-1002.02207"},{"key":"2023033110003435987_j_auto-2018-0091_ref_009_w2aab3b7b2b1b6b1ab1b7b9Aa","doi-asserted-by":"crossref","unstructured":"V. Vyatkin, \u201cSoftware Engineering in Industrial Automation: State-of-the-Art Review,\u201d IEEE Trans. Ind. Inf., vol.\u20099, no.\u20093, pp.\u20091234\u20131249, 2013.10.1109\/TII.2013.2258165","DOI":"10.1109\/TII.2013.2258165"},{"key":"2023033110003435987_j_auto-2018-0091_ref_010_w2aab3b7b2b1b6b1ab1b7c10Aa","unstructured":"M. V\u00f6lter, T. Stahl, J. Bettin, A. Haase and S. Helsen, Model-Driven Software Development: Technology, Engineering, Management, 1st ed. s.l.: Wiley, 2013."},{"key":"2023033110003435987_j_auto-2018-0091_ref_011_w2aab3b7b2b1b6b1ab1b7c11Aa","doi-asserted-by":"crossref","unstructured":"D.\u2009S. Kolovos, D. Di Ruscio, A. Pierantonio and R.\u2009F. Paige, \u201cDifferent models for model matching: An analysis of approaches to support model differencing,\u201d in 2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, 2009, pp.\u20091\u20136.","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"2023033110003435987_j_auto-2018-0091_ref_012_w2aab3b7b2b1b6b1ab1b7c12Aa","doi-asserted-by":"crossref","unstructured":"K. Czarnecki and S. Helsen, \u201cFeature-based survey of model transformation approaches,\u201d IBM Syst. J., vol.\u200945, no.\u20093, pp.\u2009621\u2013645, 2006.10.1147\/sj.453.0621","DOI":"10.1147\/sj.453.0621"},{"key":"2023033110003435987_j_auto-2018-0091_ref_013_w2aab3b7b2b1b6b1ab1b7c13Aa","unstructured":"S. Sendall and J. K\u00fcster, \u201cTaming Model Round-Trip Engineering,\u201d in Proceedings of Workshop on est Practices for Model-Driven Software Development, pp.\u20091\u201313, 2004."},{"key":"2023033110003435987_j_auto-2018-0091_ref_014_w2aab3b7b2b1b6b1ab1b7c14Aa","doi-asserted-by":"crossref","unstructured":"M. Bork, L. Geiger, C. Schneider and A. Z\u00fcndorf, \u201cTowards Roundtrip Engineering \u2013 A Template-Based Reverse Engineering Approach,\u201d in Lecture Notes in Computer Science, Model Driven Architecture \u2013 Foundations and Applications, I. Schieferdecker and A. Hartman, Eds., Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp.\u200933\u201347.","DOI":"10.1007\/978-3-540-69100-6_3"},{"key":"2023033110003435987_j_auto-2018-0091_ref_015_w2aab3b7b2b1b6b1ab1b7c15Aa","doi-asserted-by":"crossref","unstructured":"L. Angyal, L. Lengyel and H. Charaf, \u201cA Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering,\u201d in 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS), Belfast, Northern Ireland, 2008, pp.\u2009463\u2013472.","DOI":"10.1109\/ECBS.2008.33"},{"key":"2023033110003435987_j_auto-2018-0091_ref_016_w2aab3b7b2b1b6b1ab1b7c16Aa","doi-asserted-by":"crossref","unstructured":"S. Greiner, T. Buchmann and B. Westfechtel, \u201cBidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source Code,\u201d in MODELSWARD 2016: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development: Rome - Italy, February 19-21, 2016, S. Hammoudi, Ed., Piscataway, NJ: IEEE, 2016.","DOI":"10.5220\/0005644700150027"},{"key":"2023033110003435987_j_auto-2018-0091_ref_017_w2aab3b7b2b1b6b1ab1b7c17Aa","doi-asserted-by":"crossref","unstructured":"T. Buchmann and B. Westfechtel, \u201cUsing triple graph grammars to realise incremental round-trip engineering,\u201d IET Software, 2016.","DOI":"10.1049\/iet-sen.2015.0125"},{"key":"2023033110003435987_j_auto-2018-0091_ref_018_w2aab3b7b2b1b6b1ab1b7c18Aa","unstructured":"J. Gosling et al., \u201cThe Java\u00ae Language Specification: Java SE 10 Edition,\u201d Oracle America, Inc., 2018."},{"key":"2023033110003435987_j_auto-2018-0091_ref_019_w2aab3b7b2b1b6b1ab1b7c19Aa","unstructured":"Information technology - Programming languages - C, 9899, 2014."},{"key":"2023033110003435987_j_auto-2018-0091_ref_020_w2aab3b7b2b1b6b1ab1b7c20Aa","unstructured":"DevBoost GmbH, EMFText Syntax-Zoo. Available Online: http:\/\/www.jamopp.org\/index.php\/EMFText_Concrete_Syntax_Zoo. Accessed on: Apr. 10 2018."},{"key":"2023033110003435987_j_auto-2018-0091_ref_021_w2aab3b7b2b1b6b1ab1b7c21Aa","unstructured":"T. Horn und J. Ebert, \u201cEin Referenzschema f\u00fcr die Sprachen der IEC 61131: Arbeitsberichte aus dem Fachbereich Informatik,\u201d Fachbereich Informatik, Universit\u00e4t Koblenz \u2013 Landau, 2008."},{"key":"2023033110003435987_j_auto-2018-0091_ref_022_w2aab3b7b2b1b6b1ab1b7c22Aa","unstructured":"GRAFCET specification language for sequential function charts, 60848, 2013."},{"key":"2023033110003435987_j_auto-2018-0091_ref_023_w2aab3b7b2b1b6b1ab1b7c23Aa","doi-asserted-by":"crossref","unstructured":"F. Schumacher und A. Fay, \u201cPetrinetzmodell f\u00fcr die Formalisierung von GRAFCET-Spezifikationen,\u201d at \u2013 Automatisierungstechnik, vol.\u200962, no.\u20096, 2014.","DOI":"10.1515\/auto-2013-1071"},{"key":"2023033110003435987_j_auto-2018-0091_ref_024_w2aab3b7b2b1b6b1ab1b7c24Aa","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 Engineering Practice, vol.\u200964, pp.\u2009173\u2013194, 2017.10.1016\/j.conengprac.2017.03.012","DOI":"10.1016\/j.conengprac.2017.03.012"},{"key":"2023033110003435987_j_auto-2018-0091_ref_025_w2aab3b7b2b1b6b1ab1b7c25Aa","doi-asserted-by":"crossref","unstructured":"J. Provost, J.-M. Roussel and J.-M. Faure, \u201cA formal semantics for Grafcet specifications,\u201d in IEEE International Conference on Automation Science and Engineering (CASE), Italy, 24\u201327 August 2011, 2011.","DOI":"10.1109\/CASE.2011.6042457"},{"key":"2023033110003435987_j_auto-2018-0091_ref_026_w2aab3b7b2b1b6b1ab1b7c26Aa","unstructured":"F. Couffin, S. Lamp\u00e9ri\u00e8re and J.-M. Faure, \u201cContribution to the Grafcet formalisation: A static meta-model proposition,\u201d European Journal of Automated Systems, 1997."},{"key":"2023033110003435987_j_auto-2018-0091_ref_027_w2aab3b7b2b1b6b1ab1b7c27Aa","unstructured":"OMG \u2013 Object Management Group, \u201cOMG Meta Object Facility (MOF) Core Specification, V\u20092.5.1,\u201d OMG \u2013 Object Management Group, 2016."},{"key":"2023033110003435987_j_auto-2018-0091_ref_028_w2aab3b7b2b1b6b1ab1b7c28Aa","doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr, \u201cSpecification of graph translators with triple graph grammars,\u201d in Lecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science, G. Goos et al., Eds., Berlin, Heidelberg: Springer Berlin Heidelberg, 1995, pp.\u2009151\u2013163.","DOI":"10.1007\/3-540-59071-4_45"},{"key":"2023033110003435987_j_auto-2018-0091_ref_029_w2aab3b7b2b1b6b1ab1b7c29Aa","unstructured":"S. Hildebrandt et al., \u201cA Survey of Triple Graph Grammar Tools,\u201d Electronic Communications of the EASST, no.\u200957, 2013."},{"key":"2023033110003435987_j_auto-2018-0091_ref_030_w2aab3b7b2b1b6b1ab1b7c30Aa","unstructured":"A. Anjorin, G. Varr\u00f3 and A. Sch\u00fcrr, \u201cComplex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques,\u201d (en), 2012."},{"key":"2023033110003435987_j_auto-2018-0091_ref_031_w2aab3b7b2b1b6b1ab1b7c31Aa","unstructured":"Eclipse Foundation, Eclipse Modeling Framework. Available Online: https:\/\/www.eclipse.org\/modeling\/emf\/. Accessed on: Nov. 28 2017."},{"key":"2023033110003435987_j_auto-2018-0091_ref_032_w2aab3b7b2b1b6b1ab1b7c32Aa","unstructured":"Borland Software Corporation and others, Graphical Modeling Framework. Available Online: http:\/\/www.eclipse.org\/modeling\/gmp\/."},{"key":"2023033110003435987_j_auto-2018-0091_ref_033_w2aab3b7b2b1b6b1ab1b7c33Aa","doi-asserted-by":"crossref","unstructured":"F. Heidenreich, J. Johannes, S. Karol, M. Seifert and C. Wende, \u201cModel-based Language Engineering withEMFText,\u201d in Lecture Notes in Computer Science, vol.\u20097680, Generative and transformational techniques in software engineering IV: International summer school, GTTSE 2011, Braga, Portugal, July 3\u20139, 2011; revised papers, R. L\u00e4mmel, J. Saraiva and J. Visser, Eds., Berlin: Springer, 2013.","DOI":"10.1007\/978-3-642-35992-7_9"},{"key":"2023033110003435987_j_auto-2018-0091_ref_034_w2aab3b7b2b1b6b1ab1b7c34Aa","unstructured":"A. Anjorin, M. Lauder, S. Patzina and Sch\u00fcrr Andy, \u201ceMoflon: Leveraging EMF and Professional CASE Tools,\u201d in Informatik 2011: Informatik schafft Communities; 41. Jahrestagung der Gesellschaft f\u00fcr Informatik e.\u2009V. GI; 4.10. bis 7.10.2011, TU Berlin, 2011."},{"key":"2023033110003435987_j_auto-2018-0091_ref_035_w2aab3b7b2b1b6b1ab1b7c35Aa","doi-asserted-by":"crossref","unstructured":"R. Julius und A. Fay, \u201cKonzept zur bidirektionalen Transformation zwischen GRAFCET-Spezifikationen und IEC 61131-3 Steuerungs-code,\u201d in Entwurf komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen, 2018.","DOI":"10.1515\/auto-2018-0091"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/auto.2019.67.issue-3\/auto-2018-0091\/auto-2018-0091.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0091\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0091\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T10:40:17Z","timestamp":1680259217000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0091\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,1]]},"references-count":35,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,3,1]]},"published-print":{"date-parts":[[2019,3,26]]}},"alternative-id":["10.1515\/auto-2018-0091"],"URL":"https:\/\/doi.org\/10.1515\/auto-2018-0091","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"type":"electronic","value":"2196-677X"},{"type":"print","value":"0178-2312"}],"subject":[],"published":{"date-parts":[[2019,3,1]]}}}