{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:56:34Z","timestamp":1763178994997},"reference-count":102,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T00:00:00Z","timestamp":1494547200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10009-017-0453-6","type":"journal-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T10:30:09Z","timestamp":1494585009000},"page":"327-354","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":69,"title":["CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools"],"prefix":"10.1007","volume":"20","author":[{"given":"Stefan","family":"Naujokat","sequence":"first","affiliation":[]},{"given":"Michael","family":"Lybecait","sequence":"additional","affiliation":[]},{"given":"Dawid","family":"Kopetzki","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"453_CR1","unstructured":"Camunda BPM Core Engine. https:\/\/camunda.org\/features\/engine\/ . [Online]. Accessed 2 Nov 2016"},{"key":"453_CR2","unstructured":"COM: Component Object Model Technologies. http:\/\/www.microsoft.com\/com\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR3","unstructured":"Dart programming language. https:\/\/www.dartlang.org . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR4","unstructured":"DEViL Benutzerhandbuch. http:\/\/devil.cs.upb.de\/documentation\/manual-html.gen\/main.html . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR5","unstructured":"DEViL Installation Manual. http:\/\/devil.cs.upb.de\/documentation\/readme_english.txt . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR6","unstructured":"Eclipse Sirius. http:\/\/www.eclipse.org\/sirius\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR7","unstructured":"Epsilon. http:\/\/www.eclipse.org\/epsilon\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR8","unstructured":"Epsilon EuGENia. http:\/\/www.eclipse.org\/epsilon\/doc\/eugenia\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR9","unstructured":"Epsilon Object Language. http:\/\/www.eclipse.org\/epsilon\/doc\/eol\/ . [Online]. Accessed 25 Apr 2014"},{"key":"453_CR10","unstructured":"Graphiti\u2014A Graphical Tooling Infrastructure. http:\/\/www.eclipse.org\/graphiti\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR11","unstructured":"Marama. https:\/\/wiki.auckland.ac.nz\/display\/csidst\/Welcome . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR12","unstructured":"MetaCase - Domain-Specific Modeling with MetaEdit+. http:\/\/www.metacase.com . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR13","unstructured":"PNML reference site - Metamodels. http:\/\/www.pnml.org\/grammar.php . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR14","unstructured":"RapidMiner Data Science Platform. https:\/\/rapidminer.com\/ . [Online]. Accessed 2 Nov 2016"},{"key":"453_CR15","unstructured":"Spray\u2014a quick way of creating Graphiti. http:\/\/code.google.com\/a\/eclipselabs.org\/p\/spray\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR16","unstructured":"WebGME. https:\/\/webgme.org\/ . [Online]. Accessed 2 Nov 2016"},{"key":"453_CR17","unstructured":"Xtend - Modernized Java. http:\/\/xtend-lang.org . [Online]. Accessed 3 Nov 2016"},{"key":"453_CR18","unstructured":"Xtext - Language Engineering Made Easy! http:\/\/www.eclipse.org\/Xtext\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR19","doi-asserted-by":"publisher","unstructured":"Almorsy, M., Grundy, J., R\u00fcegg, U.: HorusCML: context-aware domain-specific visual languages designer. In: 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 133\u2013136. IEEE (2014). doi: 10.1109\/VLHCC.2014.6883035","DOI":"10.1109\/VLHCC.2014.6883035"},{"key":"453_CR20","doi-asserted-by":"publisher","unstructured":"Almorsy, M., Grundy, J., Sadus, R., van Straten, W., Barnes, D.G., Kaluza, O.: A suite of domain-specific visual languages for scientific software application modelling. In: 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). IEEE, pp. 91\u201394 (2013). doi: 10.1109\/VLHCC.2013.6645249","DOI":"10.1109\/VLHCC.2013.6645249"},{"issue":"2","key":"453_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). doi: 10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"key":"453_CR22","unstructured":"Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. In: IFIP Congress, pp. 125\u2013131 (1959)"},{"key":"453_CR23","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal 4.0. Tech. rep., Department of Computer Science, Aalborg University, Denmark (2006). http:\/\/www.uppaal.com\/admin\/anvandarfiler\/filer\/uppaal-tutori"},{"key":"453_CR24","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal\u2014a tool suite for automatic verification of real-time systems. In: Proceedings of Workshop on Verification and Control of Hybrid Systems III, no. 1066 in LNCS. Springer, pp. 232\u2013243 (1995)","DOI":"10.1007\/BFb0020949"},{"key":"453_CR25","unstructured":"Berg, A., Donfack, C.P., Gaedecke, J., Ogkler, E., Plate, S., Schamber, K., Schmidt, D., S\u00f6nmez, Y., Treinat, F., Weckwerth, J., Wolf, P., Zweihoff, P.: PG 582 - Industrial Programming by Example. Tech. rep., TU Dortmund (2015). http:\/\/hdl.handle.net\/2003\/34106"},{"key":"453_CR26","doi-asserted-by":"publisher","unstructured":"Bo\u00dfelmann, S., Frohme, M., Kopetzki, D., Lybecait, M., Naujokat, S., Neubauer, J., Wirkner, D., Zweihoff, P., Steffen, B.: DIME: a programming-less modeling environment for web applications. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 809\u2013832 (2016). doi: 10.1007\/978-3-319-47169-3-60","DOI":"10.1007\/978-3-319-47169-3-60"},{"key":"453_CR27","unstructured":"Bo\u00dfelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, T., Solo, A.M.G. (eds.) The 2016 International Conference on Security and Management (SAM 2016). Special Track \u201cEnd-to-end Security and Cybersecurity: from the Hardware to Application\u201d. CREA Press, pp. 145\u2013151 (2016)"},{"key":"453_CR28","doi-asserted-by":"publisher","unstructured":"Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), LNCS, vol. 8054. Springer (2013). doi: 10.1007\/978-3-642-40196-1_12","DOI":"10.1007\/978-3-642-40196-1_12"},{"key":"453_CR29","doi-asserted-by":"publisher","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool, San Rafael (2012). doi: 10.2200\/S00441ED1V01Y201208SWE001"},{"key":"453_CR30","doi-asserted-by":"crossref","unstructured":"Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)","DOI":"10.1007\/978-3-319-47169-3_17"},{"issue":"2","key":"453_CR31","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005). doi: 10.1007\/s10270-005-0079-0","journal-title":"Softw. Syst. Model."},{"key":"453_CR32","unstructured":"Chadli, M., Kim, J.H., Legay, A., Traonouez, L.M., Naujokat, S., Steffen, B.: A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems (2015). https:\/\/hal.archives-ouvertes.fr\/hal-01241681v1 . HAL Preprint: hal-01241681v1"},{"key":"453_CR33","doi-asserted-by":"publisher","unstructured":"Chadli, M., Kim, J.H., Legay, A., Traonouez, L.M., Naujokat, S., Steffen, B., Larsen, K.G.: A model-based framework for the specification and analysis of hierarchical scheduling systems. In: Proceedings of Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), LNCS, vol. 9933. Springer (2016). doi: 10.1007\/978-3-319-45943-1_9","DOI":"10.1007\/978-3-319-45943-1_9"},{"key":"453_CR34","doi-asserted-by":"publisher","unstructured":"Doedt, M., Steffen, B.: An evaluation of service integration approaches of business process management systems. In: Proceedings of the 35th Annual IEEE Software Engineering Workshop (SEW 2012) (2012). doi: 10.1109\/SEW.2012.23","DOI":"10.1109\/SEW.2012.23"},{"key":"453_CR35","doi-asserted-by":"publisher","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering. IEEE, pp. 411\u2013420 (1999). doi: 10.1145\/302405.302672","DOI":"10.1145\/302405.302672"},{"key":"453_CR36","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. Ph.D. thesis, University of California, Irvine (2000). http:\/\/www.ics.uci.edu\/~fielding\/pubs\/dissertation\/top.htm"},{"key":"453_CR37","unstructured":"Fowler, M.: Language Workbench. http:\/\/martinfowler.com\/bliki\/LanguageWorkbench.html . [Online]. Accessed 28 Oct 2016"},{"key":"453_CR38","unstructured":"Fowler, M.: Fluent Interface. http:\/\/martinfowler.com\/bliki\/FluentInterface.html (2005). [Online]. Accessed 28 Oct 2016"},{"key":"453_CR39","unstructured":"Fowler, M.: Language Workbenches: The Killer-App for Domain Specific Languages? http:\/\/martinfowler.com\/articles\/languageWorkbench.html (2005). [Online]. Accessed 28 Oct 2016"},{"key":"453_CR40","unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley ACM Press (2011). http:\/\/books.google.de\/books?id=ri1muolw_YwC"},{"key":"453_CR41","volume-title":"Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit","author":"RC Gronback","year":"2008","unstructured":"Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley, Boston (2008)"},{"issue":"4","key":"453_CR42","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1109\/TSE.2012.33","volume":"39","author":"J Grundy","year":"2013","unstructured":"Grundy, J., Hosking, J., Li, K.N., Ali, N.M., Huh, J., Li, R.L.: Generating domain-specific visual language tools from abstract visual specifications. IEEE Trans. Softw. Eng. 39(4), 487\u2013515 (2013). doi: 10.1109\/TSE.2012.33","journal-title":"IEEE Trans. Softw. Eng."},{"key":"453_CR43","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)"},{"key":"453_CR44","volume-title":"Dynamic Programming and Markov Processes","author":"RA Howard","year":"1960","unstructured":"Howard, R.A.: Dynamic Programming and Markov Processes. MIT Press, Cambridge (1960)"},{"key":"453_CR45","doi-asserted-by":"publisher","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE\u201911) (2011). doi: 10.1145\/1985793.1985858","DOI":"10.1145\/1985793.1985858"},{"key":"453_CR46","unstructured":"JetBrains: Meta Programming System. https:\/\/www.jetbrains.com\/mps\/ . [Online]. Accessed 6 Nov 2016"},{"key":"453_CR47","doi-asserted-by":"crossref","unstructured":"John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids, 2nd edn. Springer (2010)","DOI":"10.1007\/978-3-642-12015-2"},{"issue":"1\u20132","key":"453_CR48","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008). doi: 10.1016\/j.scico.2007.08.002","journal-title":"Sci. Comput. Program."},{"key":"453_CR49","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach. Lecture Notes in Computer Science, vol. 7747. Springer, Berlin Heidelberg, Germany (2013)","DOI":"10.1007\/978-3-642-36127-2"},{"issue":"4","key":"453_CR50","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4), 361\u2013384 (2008). doi: 10.1007\/s11334-008-0071-2","journal-title":"Innov. Syst. Softw. Eng."},{"key":"453_CR51","doi-asserted-by":"publisher","unstructured":"Kastens, U., Pfahler, P., Jung, M.T.: The Eli System. In: Proceedings of the 7th International Conference on Compiler Construction (CC\u201998), LNCS, vol. 1383. Springer, pp. 294\u2013297 (1998). doi: 10.1007\/BFb0026439","DOI":"10.1007\/BFb0026439"},{"key":"453_CR52","doi-asserted-by":"publisher","unstructured":"Katoen, J.P.: Labelled transition systems. In: Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science, vol. 3472. Springer, Berlin\/Heidelberg, pp. 615\u2013616 (2005). doi: 10.1007\/11498490_29","DOI":"10.1007\/11498490_29"},{"key":"453_CR53","doi-asserted-by":"publisher","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. In: CAiSE, Lecture Notes in Computer Science, vol. 1080. Springer, Berlin\/Heidelberg, pp. 1\u201321 (1996). doi: 10.1007\/3-540-61292-0_1","DOI":"10.1007\/3-540-61292-0_1"},{"key":"453_CR54","doi-asserted-by":"crossref","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, Hoboken (2008)"},{"key":"453_CR55","unstructured":"Kolovos, D., Rose, L., Garc\u00eda-Dom\u00ednguez, A., Paige, R.: The Epsilon Book. Published online: http:\/\/eclipse.org\/epsilon\/doc\/book\/ (2015). Last update: February 4, 2015"},{"key":"453_CR56","doi-asserted-by":"publisher","unstructured":"Kolovos, D.S., Rose, L.M., bin Abid, S., Paige, R.F., Polack, F.A.C., Botterweck, G.: Taming EMF and GMF using model transformation. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), pp. 211\u2013225 (2010). doi: 10.1007\/978-3-642-16145-2_15","DOI":"10.1007\/978-3-642-16145-2_15"},{"key":"453_CR57","unstructured":"Kopetzki, D.: Model-Based Generation of Graphical Editors on the Basis of Abstract Meta-model Specifications. Master thesis, TU Dortmund (2014)"},{"key":"453_CR58","unstructured":"Kouhen, A.E., Dumoulin, C., Gerard, S., Boulet, P.: Evaluation of Modeling Tools Adaptation (2012). https:\/\/hal.inria.fr\/hal-00706701v2 . HAL Report: hal-00706701v2"},{"key":"453_CR59","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Proceedings of 23rd International Conference on Computer Aided Verification (CAV 2011), LNCS, vol. 6806. Springer, pp. 585\u2013591 (2011). doi: 10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"453_CR60","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1), 101\u2013150 (2002). doi: 10.1016\/S0304-3975(01)00046-9","journal-title":"Theor. Comput. Sci."},{"key":"453_CR61","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L.: User-Level Workflow Design\u2014A Bioinformatics Perspective, Lecture Notes in Computer Science, vol. 8311. Springer (2013). doi: 10.1007\/978-3-642-45389-2","DOI":"10.1007\/978-3-642-45389-2"},{"key":"453_CR62","first-page":"47","volume-title":"ISoLA 2012, Part I, LNCS","author":"AL Lamprecht","year":"2012","unstructured":"Lamprecht, A.L., Margaria, T.: Scientific workflows: eternal components, changing interfaces, varying compositions. In: Margaria, T., Steffen, B., Merten, M. (eds.) ISoLA 2012, Part I, LNCS, vol. 7609, pp. 47\u201363. Springer, Berlin (2012)"},{"key":"453_CR63","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(Suppl 10), S8 (2009). doi: 10.1186\/1471-2105-10-S10-S8","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"453_CR64","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), Porto, Portugal. IEEE, pp. 262\u2013267 (2010). doi: 10.1109\/QUATIC.2010.53","DOI":"10.1109\/QUATIC.20"},{"key":"453_CR65","unstructured":"L\u00e9deczi, A., Mar\u00f3ti, M., V\u00f6lgyesi, P.: The Generic Modeling Environment. Tech. rep., Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37221, USA (2003). http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/GMEReport.pdf"},{"key":"453_CR66","unstructured":"Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomasson, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing (WISP 2001) (2001)"},{"key":"453_CR67","unstructured":"Lybecait, M.: Entwicklung und Implementierung eines Frameworks zur grafischen Modellierung von Modelltransformationen auf Basis von EMF-Metamodellen und Genesys. diploma thesis, TU Dortmund (2012)"},{"issue":"2\u20133","key":"453_CR68","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transf. 5(2\u20133), 107\u2013123 (2004). doi: 10.1007\/s10009-003-0119-4","journal-title":"Softw. Tools Technol. Transf."},{"key":"453_CR69","volume-title":"Handbook of Research on Business Process Modeling","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Pennsylvania (2009)"},{"issue":"6","key":"453_CR70","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010). doi: 10.1109\/MC.2010.177","journal-title":"Computer"},{"key":"453_CR71","unstructured":"Margaria, T., Steffen, B., Reitenspies\u0308, M.: Service-oriented design: the jABC approach. In: Cubera, F., Kr\u00e4mer, B.J., Papazoglou, M.P. (eds.) Service Oriented Computing (SOC), no. 05462 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany (2006). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2006\/521"},{"key":"453_CR72","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-Oriented Design: The Roots. In: Proceedings of the 3rd International Conference on Service-Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, LNCS, vol. 3826, pp. 450\u2013464. Springer (2005). doi: 10.1007\/11596141_34","DOI":"10.1007\/11596141_34"},{"key":"453_CR73","volume-title":"Eclipse Rich Client Platform","author":"J McAffer","year":"2010","unstructured":"McAffer, J., Lemieux, J.M., Aniszczyk, C.: Eclipse Rich Client Platform, 2nd edn. Addison-Wesley Professional, Boston (2010)","edition":"2"},{"key":"453_CR74","doi-asserted-by":"publisher","unstructured":"Mohagheghi, P., Haugen, \u00d8.: Evaluating domain-specific modelling solutions. In: Advances in Conceptual Modeling\u2014Applications and Challenges. Proceedings of ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, LNCS, vol. 6413. Springer, Berlin, Heidelberg (2010). doi: 10.1007\/978-3-642-16385-2_27","DOI":"10.1007\/978-3-642-16385-2_27"},{"key":"453_CR75","doi-asserted-by":"publisher","unstructured":"Mussbacher, G., Amyot, D., Breu, R., Bruel, J.M., Cheng, B.H.C., Collet, P., Combemale, B., France, R.B., Heldal, R., Hill, J., Kienzle, J., Sch\u00f6ttle, M., Steimann, F., Stikkolorum, D., Whittle, J.: The relevance of model-driven engineering thirty years from now. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201914), no. 8767 in LNCS. Springer International Publishing, pp. 183\u2013200 (2014). doi: 10.1007\/978-3-319-11653-2_12","DOI":"10.1007\/978-3-319-11653-2_12"},{"key":"453_CR76","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Lamprecht, A.L., Steffen, B.: Loose programming with PROPHETS. In: de\u00a0Lara, J., Zisman, A. (eds.) Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Tallinn, Estonia, LNCS, vol. 7212, pp. 94\u201398. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28872-2_7","DOI":"10.1007\/978-3-642-28872-2_7"},{"key":"453_CR77","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Neubauer, J., Lamprecht, A.L., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw. Pract. Exp. 44(3), 277\u2013297 (2013). doi: 10.1002\/spe.2243 . First published online","DOI":"10.1002\/spe.2243"},{"key":"453_CR78","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 218\u2013237 (2016). doi: 10.1007\/978-3-319-47169-3_16","DOI":"10.1007\/978-3-319-47169-3_16"},{"key":"453_CR79","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Traonouez, L.M., Isberner, M., Steffen, B., Legay, A.: Domain-specific code generator modeling: a case study for multi-faceted concurrent systems. In: Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part I (ISoLA 2014), LNCS, vol. 8802. Springer, pp. 463\u2013480 (2014). doi: 10.1007\/978-3-662-45234-9_33","DOI":"10.1007\/978-3-662-45234-9_33"},{"key":"453_CR80","doi-asserted-by":"publisher","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part I (ISoLA 2014), no. 8802 in LNCS. Springer, pp. 56\u201372 (2014). doi: 10.1007\/978-3-662-45234-9_5","DOI":"10.1007\/978-3-662-45234-9_5"},{"issue":"11","key":"453_CR81","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B.: Plug-and-play higher-order process integration. IEEE Computer 46(11), 56\u201362 (2013). doi: 10.1109\/MC.2013.296","journal-title":"IEEE Computer"},{"key":"453_CR82","doi-asserted-by":"publisher","first-page":"259","DOI":"10.4204\/EPTCS.129.16","volume":"129","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259\u2013283 (2013). doi: 10.4204\/EPTCS.129.16","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"453_CR83","unstructured":"Object Management Group (OMG): OMG Meta Object Facility (MOF) Core Specification Version 2.4.1. http:\/\/www.omg.org\/spec\/MOF\/2.4.1\/PDF . [Online]. Accessed 23 Apr 2014"},{"key":"453_CR84","unstructured":"Object Management Group (OMG): Documents Associated with BPMN Version 2.0.1. http:\/\/www.omg.org\/spec\/BPMN\/2.0.1\/ (2013). [Online]. Accessed 2 Dec 2016"},{"key":"453_CR85","unstructured":"Object Management Group (OMG): Documents Associated with Case Management Model and Notation (CMMN), Version 1.0. http:\/\/www.omg.org\/spec\/CMMN\/1.0\/ (2014). [Online]. Accessed 25 Oct 2016"},{"key":"453_CR86","unstructured":"Object Management Group (OMG): Documents associated with Object Constraint Language (OCL), Version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4\/ (2014). [Online]. Accessed 2 Dec 2016"},{"key":"453_CR87","unstructured":"Petri, C.A.: Communication with automata. Ph.D. thesis, Universit\u00e4t Hamburg (1966). http:\/\/nbn-resolving.de\/urn:nbn:de:gbv:18-228-7-1557"},{"key":"453_CR88","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a04. Springer (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"453_CR89","unstructured":"Rumbaugh, J., Jacobsen, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley Professional, The Addison-Wesley Object Technology Series (2004)"},{"key":"453_CR90","unstructured":"Schmidt, C., Cramer, B., Kastens, U.: Generating visual structure editors from high-level specifications. Tech. rep., University of Paderborn, Germany (2008)"},{"key":"453_CR91","first-page":"847","volume":"51","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Annu. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Annu. Rev. Commun. ACM"},{"key":"453_CR92","doi-asserted-by":"publisher","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: The METAFrame\u201995 Environment. In: CAV, pp. 450\u2013453 (1996). doi: 10.1007\/3-540-61474-5_100","DOI":"10.1007\/3-540-61474-5_100"},{"key":"453_CR93","doi-asserted-by":"publisher","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) Hardware and Software, Verification and Testing, Lecture Notes in Computer Science, vol. 4383. Springer, Berlin\/Heidelberg, pp. 92\u2013108 (2007). doi: 10.1007\/978-3-540-70889-6_7","DOI":"10.1007\/978-3-540-70889-6_7"},{"key":"453_CR94","doi-asserted-by":"publisher","unstructured":"Steffen, B., Naujokat, S.: Archimedean Points: The Essence for Mastering Change. LNCS Transactions on Foundations for Mastering Change (FoMaC) 1(1), 22\u201346 (2016). doi: 10.1007\/978-3-319-46508-1_3","DOI":"10.1007\/978-3-319-46508-1_3"},{"key":"453_CR95","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"},{"key":"453_CR96","doi-asserted-by":"publisher","unstructured":"Weber, M., Kindler, E.: The petri net markup language. In: Petri Net Technology for Communication-Based Systems, LNCS, vol. 2472. Springer, Berlin, Heidelberg, pp. 124\u2013144 (2003). doi: 10.1007\/978-3-540-40022-6_7","DOI":"10.1007\/978-3-540-40022-6_7"},{"key":"453_CR97","unstructured":"Weckwerth, J.: Cinco Evaluation: CMMN-Modellierung und -Ausf\u00fchrung in der Praxis. Master\u2019s thesis, TU Dortmund (2016)"},{"key":"453_CR98","unstructured":"Wheeler, D.A.: SLOCCount Home Page. http:\/\/www.dwheeler.com\/sloccount\/ . [Online]. Accessed 2 May 2015"},{"key":"453_CR99","unstructured":"Wortmann, N.: Modellbasierte Modellierung von industriellen Zentrifugen mit Codegenerierung f\u00fcr Steuerungssysteme. Bachelor thesis, M\u00fcnster University of Applied Sciences (2015)"},{"key":"453_CR100","doi-asserted-by":"publisher","unstructured":"Wortmann, N., Michel, M., Naujokat, S.: A Fully model-based approach to software development for industrial centrifuges. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 774\u2013783 (2016). doi: 10.1007\/978-3-319-47169-3_58","DOI":"10.1007\/978-3-319-47169-3_58"},{"key":"453_CR101","doi-asserted-by":"publisher","unstructured":"Zhu, N., Grundy, J., Hosking, J.: Pounamu: a meta-tool for multi-view visual language environment construction. In: 2004 IEEE Symposium on Visual Languages and Human Centric Computing (2004). doi: 10.1109\/VLHCC.2004.41","DOI":"10.1109\/VLHCC.2004.41"},{"key":"453_CR102","unstructured":"Zweihoff, P.: Cinco Products for the Web. Master thesis, TU Dortmund (2015)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-017-0453-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0453-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0453-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T14:35:18Z","timestamp":1569335718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-017-0453-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,12]]},"references-count":102,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["453"],"URL":"https:\/\/doi.org\/10.1007\/s10009-017-0453-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,12]]}}}