{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:00:31Z","timestamp":1786978831793,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197550","type":"print"},{"value":"9783031197567","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T00:00:00Z","timestamp":1665964800000},"content-version":"vor","delay-in-days":289,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    In 2010, Fuhrmann et al. argued for enhancing modeler productivity by providing tooling that, put simply, combines the best of textual and graphical worlds. They referred to this as\n                    <jats:italic>pragmatics<\/jats:italic>\n                    , and argued that a key enabler would be the ability to automatically synthesize customized graphical views from a (possibly textual) model. The model would be the \u201cground truth\u201d used, for example, for downstream code synthesis and simulation; the graphical views would typically be abstractions from the model serving various purposes, including documentation.\n                  <\/jats:p>\n                  <jats:p>Twelve years later, we reflect on their proposal, and illustrate the current state with the recently developed polyglot coordination language Lingua Franca (LF). LF has been designed with pragmatics in mind since early on, and some characteristics of LF make it particularly suited for pragmatics-aware programming and modeling. However, the underlying pragmatic principles are broadly applicable, and by now a set of mature open source tools is available for putting them into practice.<\/jats:p>","DOI":"10.1007\/978-3-031-19756-7_5","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T03:02:54Z","timestamp":1666148574000},"page":"60-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Pragmatics Twelve Years Later: A Report on\u00a0Lingua Franca"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5691-1215","authenticated-orcid":false,"given":"Reinhard","family":"von Hanxleden","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8820-7537","authenticated-orcid":false,"given":"Hauke","family":"Fuhrmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1494-8631","authenticated-orcid":false,"given":"Alexander","family":"Schulz-Rosengarten","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8011-8484","authenticated-orcid":false,"given":"S\u00f6ren","family":"Domr\u00f6s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5448-3664","authenticated-orcid":false,"given":"Soroush","family":"Bateni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7134-8384","authenticated-orcid":false,"given":"Christian","family":"Menard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-91908-9_6","volume-title":"Computing and Software Science","author":"C Binucci","year":"2019","unstructured":"Binucci, C., et al.: 10 reasons to get interested in graph drawing. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 85\u2013104. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_6"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Broman, D.: Interactive programmatic modeling. ACM Trans. Embed. Comput. Syst. 20(4), 33:1\u201333:26 (2021). https:\/\/doi.org\/10.1145\/3431387","DOI":"10.1145\/3431387"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Deantoni, J., Cambeiro, J., Bateni, S., Lin, S., Lohstroh, M.: Debugging and verification tools for LINGUA FRANCA in GEMOC studio. In: 2021 Forum on specification Design Languages (FDL), pp. 1\u20138 (2021). https:\/\/doi.org\/10.1109\/FDL53530.2021.9568383","DOI":"10.1109\/FDL53530.2021.9568383"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Domr\u00f6s, S., von Hanxleden, R.: Preserving order during crossing minimization in Sugiyama layouts. In: Proceedings of the 14th International Conference on Information Visualization Theory and Applications (IVAPP 2022), Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2022), pp. 156\u2013163. INSTICC, SciTePress (2022). https:\/\/doi.org\/10.5220\/0010833800003124","DOI":"10.5220\/0010833800003124"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-45848-4_57","volume-title":"Graph Drawing","author":"J Ellson","year":"2002","unstructured":"Ellson, J., Gansner, E., Koutsofios, L., North, S.C., Woodhull, G.: Graphviz\u2014 open source graph drawing tools. In: Mutzel, P., J\u00fcnger, M., Leipert, S. (eds.) GD 2001. LNCS, vol. 2265, pp. 483\u2013484. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45848-4_57"},{"key":"5_CR6","unstructured":"Eumann, P.: Model-Based Debugging. Master thesis, Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science (2020). https:\/\/rtsys.informatik.uni-kiel.de\/biblio\/downloads\/theses\/peu-mt.pdf"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, OOPSLA 2010, Reno\/Tahoe, Nevada, USA, pp. 307\u2013309 (2010). https:\/\/doi.org\/10.1145\/1869542.1869625","DOI":"10.1145\/1869542.1869625"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-16145-2_14","volume-title":"Model Driven Engineering Languages and Systems","author":"H Fuhrmann","year":"2010","unstructured":"Fuhrmann, H., von Hanxleden, R.: Taming graphical modeling. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 196\u2013210. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_14"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Furuta, K., Yamakita, M., Kobayashi, S.: Swing-up control of inverted pendulum using pseudo-state feedback. Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng. 206(4), 263\u2013269 (1992). https:\/\/doi.org\/10.1243\/PIME_PROC_1992_206_341_02","DOI":"10.1243\/PIME_PROC_1992_206_341_02"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Giomi, J.: Finite state machine extraction from hardware description languages. In: Proceedings of Eighth International Application Specific Integrated Circuits Conference, pp. 353\u2013357. IEEE (1995). https:\/\/doi.org\/10.1109\/ASIC.1995.580747","DOI":"10.1109\/ASIC.1995.580747"},{"key":"5_CR11","unstructured":"Green, T.R.G., Petre, M.: When visual programs are harder to read than textual programs. In: Human-Computer Interaction: Tasks and Organisation, Proceedings ECCE-6 (6th European Conference Cognitive Ergonomics) (1992)"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Gretz, F., Grosch, F.J.: Blech, imperative synchronous programming! In: Proceedings of Forum on Specification Design Languages (FDL 2018), pp. 5\u201316 (2018). https:\/\/doi.org\/10.1109\/FDL.2018.8524036","DOI":"10.1109\/FDL.2018.8524036"},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"CA Gurr","year":"1999","unstructured":"Gurr, C.A.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317\u2013342 (1999). https:\/\/doi.org\/10.1006\/jvlc.1999.0130","journal-title":"J. Vis. Lang. Comput."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0378-2166(77)90019-4","volume":"1","author":"H Haberland","year":"1977","unstructured":"Haberland, H., Mey, J.L.: Editorial: linguistics and pragmatics. J. Pragmat. 1, 1\u201312 (1977)","journal-title":"J. Pragmat."},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"von Hanxleden, R., Biastoch, A., Fohrer, N., Renz, M., Vafeidis, A.: Getting the big picture in cross-domain fusion. Inform. Spektr. (2022). https:\/\/doi.org\/10.1007\/s00287-022-01471-2","DOI":"10.1007\/s00287-022-01471-2"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"von Hanxleden, R., et al.: SCCharts: sequentially constructive statecharts for safety-critical applications. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), pp. 372\u2013383. ACM, Edinburgh (2014). https:\/\/doi.org\/10.1145\/2594291.2594310","DOI":"10.1145\/2594291.2594310"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-34059-8_11","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"R von Hanxleden","year":"2012","unstructured":"von Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020\u2014position paper on designing complex cyber-physical systems. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 209\u2013223. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34059-8_11"},{"issue":"10","key":"5_CR18","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modelling: what\u2019s the semantics of \u201csemantics\u2019\u2019? IEEE Comput. 37(10), 64\u201372 (2004). https:\/\/doi.org\/10.1109\/MC.2004.172","journal-title":"IEEE Comput."},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Hoffmann, B., Minas, M.: Defining models\u2013meta models versus graph grammars. In: Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Electronic Communications of the EASST, vol. 29. Berlin, Germany (2010). https:\/\/doi.org\/10.14279\/tuj.eceasst.29.411","DOI":"10.14279\/tuj.eceasst.29.411"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"Ishio, T., Etsuda, S., Inoue, K.: A lightweight visualization of interprocedural data-flow paths for source code reading. In: Beyer, D., van Deursen, A., Godfrey, M.W. (eds.) IEEE 20th International Conference on Program Comprehension (ICPC), pp. 37\u201346. IEEE, Passau (2012). https:\/\/doi.org\/10.1109\/ICPC.2012.6240506","DOI":"10.1109\/ICPC.2012.6240506"},{"key":"5_CR21","unstructured":"Klauske, L.K.: Effizientes Bearbeiten von Simulink Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus. Ph.D. thesis, Technische Universit\u00e4t Berlin (2012)"},{"key":"5_CR22","unstructured":"Klauske, L.K., Dziobek, C.: Improving modeling usability: automated layout generation for simulink. In: Proceedings of the MathWorks Automotive Conference (MAC 2010) (2010)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-31223-6_11","volume-title":"Diagrammatic Representation and Inference","author":"LK Klauske","year":"2012","unstructured":"Klauske, L.K., Schulze, C.D., Sp\u00f6nemann, M., von Hanxleden, R.: Improved layout for data flow diagrams with port constraints. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 65\u201379. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31223-6_11"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"DE Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate programming. Comput. J. 27(2), 97\u2013111 (1984). https:\/\/doi.org\/10.1093\/comjnl\/27.2.97","journal-title":"Comput. J."},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Korshunova, E., Petkovi\u0107, M., van den Brand, M.G.J., Mousavi, M.R.: CPP2XMI: reverse engineering of UML class, sequence, and activity diagrams from C++ source code. In: 13th Working Conference on Reverse Engineering (WCRE 2006), pp. 297\u2013298. IEEE Computer Society, Benevento (2006). https:\/\/doi.org\/10.1109\/WCRE.2006.21","DOI":"10.1109\/WCRE.2006.21"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"Kung, D., Suchak, N., Gao, J.Z., Hsia, P., Toyoshima, Y., Chen, C.: On object state testing. In: Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 1994), pp. 222\u2013227. IEEE (1994). https:\/\/doi.org\/10.1109\/CMPSAC.1994.342801","DOI":"10.1109\/CMPSAC.1994.342801"},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"Lethbridge, T.C., et al.: Umple: model-driven development for open source and education. Sci. Comput. Program. 208, 102665 (2021). https:\/\/doi.org\/10.1016\/j.scico.2021.102665","DOI":"10.1016\/j.scico.2021.102665"},{"issue":"1","key":"5_CR28","doi-asserted-by":"publisher","first-page":"391","DOI":"10.3182\/20020721-6-ES-1901.00553","volume":"35","author":"J Liu","year":"2002","unstructured":"Liu, J., Eker, J., Janneck, J.W., Lee, E.A.: Realistic simulations of embedded control systems. IFAC Proc. Vol. 35(1), 391\u2013396 (2002). https:\/\/doi.org\/10.3182\/20020721-6-ES-1901.00553","journal-title":"IFAC Proc. Vol."},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a Lingua Franca for deterministic concurrent systems. ACM Trans. Embedd. Comput. Syst. (TECS) 20(4), Article 36 (2021). https:\/\/doi.org\/10.1145\/3448128. Special Issue on FDL\u201919","DOI":"10.1145\/3448128"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Lucas, D., Schulz-Rosengarten, A., von Hanxleden, R., Gretz, F., Grosch, F.J.: Extracting mode diagrams from Blech code. In: Proceedings of Forum on Specification and Design Languages (FDL 2021). Antibes, France (2021). https:\/\/doi.org\/10.1109\/FDL53530.2021.9568375","DOI":"10.1109\/FDL53530.2021.9568375"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Mihancea, P.F.: Towards a reverse engineering dataflow analysis framework for Java and C++. In: Negru, V., Jebelean, T., Petcu, D., Zaharie, D. (eds.) 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, pp. 285\u2013288 (2008). https:\/\/doi.org\/10.1109\/SYNASC.2008.7","DOI":"10.1109\/SYNASC.2008.7"},{"key":"5_CR32","volume-title":"Foundations of the Theory of Signs, International Encyclopedia of Unified Science","author":"CW Morris","year":"1938","unstructured":"Morris, C.W.: Foundations of the Theory of Signs, International Encyclopedia of Unified Science, vol. 1. The University of Chicago Press, Chicago (1938)"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Prochnow, S., von Hanxleden, R.: Comfortable modeling of complex reactive systems. In: Proceedings of Design, Automation and Test in Europe Conference (DATE 2006), Munich, Germany (2006). https:\/\/doi.org\/10.1109\/DATE.2006.243970","DOI":"10.1109\/DATE.2006.243970"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/978-3-540-75209-7_43","volume-title":"Model Driven Engineering Languages and Systems","author":"S Prochnow","year":"2007","unstructured":"Prochnow, S., von Hanxleden, R.: Statechart development beyond WYSIWYG. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 635\u2013649. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_43"},{"key":"5_CR35","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014). http:\/\/ptolemy.org\/books\/Systems"},{"key":"5_CR36","unstructured":"Reenskaug, T.: Models \u2013 views \u2013 controllers (1979). Xerox PARC technical note"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-030-86062-2_37","volume-title":"Diagrammatic Representation and Inference","author":"N Rentz","year":"2021","unstructured":"Rentz, N., Smyth, S., Andersen, L., von Hanxleden, R.: Extracting interactive actor-based dataflow models from legacy C code. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 361\u2013377. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86062-2_37"},{"key":"5_CR38","unstructured":"Roestenburg, R., Bakker, R., Williams, R.: Akka in Action. Manning Publications Co. (2016)"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"R\u00fcegg, U., Lakkundi, R., Prasad, A., Kodaganur, A., Schulze, C.D., von Hanxleden, R.: Incremental diagram layout for automated model migration. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), pp. 185\u2013195 (2016). https:\/\/doi.org\/10.1145\/2976767.2976805","DOI":"10.1145\/2976767.2976805"},{"key":"5_CR40","doi-asserted-by":"publisher","unstructured":"Said, W., Quante, J., Koschke, R.: On state machine mining from embedded control software. In: 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 138\u2013148. IEEE (2018). https:\/\/doi.org\/10.1109\/ICSME.2018.00024","DOI":"10.1109\/ICSME.2018.00024"},{"key":"5_CR41","doi-asserted-by":"publisher","unstructured":"Schneider, C., Sp\u00f6nemann, M., von Hanxleden, R.: Just model! - Putting automatic synthesis of node-link-diagrams into practice. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2013), San Jose, CA, USA, pp. 75\u201382 (2013). https:\/\/doi.org\/10.1109\/VLHCC.2013.6645246","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"5_CR42","doi-asserted-by":"publisher","unstructured":"Schulze, C.D., Lasch, Y., von Hanxleden, R.: Label management: keeping complex diagrams usable. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2016), pp. 3\u201311 (2016). https:\/\/doi.org\/10.1109\/VLHCC.2016.7739657","DOI":"10.1109\/VLHCC.2016.7739657"},{"issue":"2","key":"5_CR43","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.jvlc.2013.11.005","volume":"25","author":"CD Schulze","year":"2014","unstructured":"Schulze, C.D., Sp\u00f6nemann, M., von Hanxleden, R.: Drawing layered graphs with port constraints. J. Vis. Lang. Comput. Spec. Issue Diagram Aesthet. Layout 25(2), 89\u2013106 (2014). https:\/\/doi.org\/10.1016\/j.jvlc.2013.11.005","journal-title":"J. Vis. Lang. Comput. Spec. Issue Diagram Aesthet. Layout"},{"key":"5_CR44","unstructured":"Seibel, A.: Personal communication (2017)"},{"issue":"5","key":"5_CR45","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003). https:\/\/doi.org\/10.1109\/MS.2003.1231146","journal-title":"IEEE Softw."},{"issue":"2","key":"5_CR46","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s10270-014-0415-3","volume":"15","author":"T Sen","year":"2014","unstructured":"Sen, T., Mall, R.: Extracting finite state representation of Java programs. Softw. Syst. Model. 15(2), 497\u2013511 (2014). https:\/\/doi.org\/10.1007\/s10270-014-0415-3","journal-title":"Softw. Syst. Model."},{"key":"5_CR47","unstructured":"Simonyi, C.: The death of computer languages, the birth of intentional programming. Technical report MSR-TR-95-52, Microsoft Research (1995)"},{"key":"5_CR48","doi-asserted-by":"publisher","unstructured":"Smyth, S., Lenga, S., von Hanxleden, R.: Model extraction for legacy C programs with SCCharts. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Doctoral Symposium. Electronic Communications of the EASST, Corfu, Greece, vol. 74 (2016). https:\/\/doi.org\/10.14279\/tuj.eceasst.74.1044. With accompanying poster","DOI":"10.14279\/tuj.eceasst.74.1044"},{"key":"5_CR49","doi-asserted-by":"publisher","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Guidance in model-based compilations. In: Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Doctoral Symposium. Electronic Communications of the EASST, Limassol, Cyprus, vol. 78 (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_15","DOI":"10.1007\/978-3-030-03418-4_15"},{"key":"5_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-030-03418-4_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"S Smyth","year":"2018","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Towards interactive compilation models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 246\u2013260. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_15"},{"issue":"2","key":"5_CR51","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"11","author":"K Sugiyama","year":"1981","unstructured":"Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybern. 11(2), 109\u2013125 (1981). https:\/\/doi.org\/10.1109\/TSMC.1981.4308636","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"5_CR52","doi-asserted-by":"publisher","unstructured":"Sutton, A., Maletic, J.I.: Mappings for accurately reverse engineering UML class models from C++. In: 12th Working Conference on Reverse Engineering (WCRE 2005), pp. 175\u2013184. IEEE Computer Society, Pittsburgh (2005). https:\/\/doi.org\/10.1109\/WCRE.2005.21","DOI":"10.1109\/WCRE.2005.21"},{"issue":"2","key":"5_CR53","first-page":"3","volume":"26","author":"C Taylor","year":"1996","unstructured":"Taylor, C.: What has WYSIWYG done to us? Seybold Rep. Publ. Syst. 26(2), 3\u201312 (1996)","journal-title":"Seybold Rep. Publ. Syst."},{"key":"5_CR54","doi-asserted-by":"publisher","unstructured":"Tonella, P., Potrich, A.: Reverse Engineering of Object Oriented Code. Springer, New York (2005). https:\/\/doi.org\/10.1007\/b102522","DOI":"10.1007\/b102522"},{"key":"5_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-319-95246-8_28","volume-title":"Principles of Modeling","author":"N Wechselberg","year":"2018","unstructured":"Wechselberg, N., Schulz-Rosengarten, A., Smyth, S., von Hanxleden, R.: Augmenting state models with data flow. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 504\u2013523. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_28"},{"issue":"2","key":"5_CR56","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2556938","volume":"57","author":"W Young","year":"2014","unstructured":"Young, W., Leveson, N.G.: An integrated approach to safety and security based on systems theory. Commun. ACM 57(2), 31\u201335 (2014). https:\/\/doi.org\/10.1145\/2556938","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19756-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,4]],"date-time":"2023-04-04T20:11:16Z","timestamp":1680639076000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}