{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:34:32Z","timestamp":1743089672829,"version":"3.40.3"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_16","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"218-237","source":"Crossref","is-referenced-by-count":12,"title":["Meta-Level Reuse for Mastering Domain Specialization"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Naujokat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"16_CR1","unstructured":"Dart programming language. https:\/\/www.dartlang.org\/ . Online; last accessed 26 Jul 2016"},{"key":"16_CR2","unstructured":"Eclipse Modeling Tools. http:\/\/www.eclipse.org\/downloads\/packages\/eclipse-modeling-tools\/lunasr2 . Online; last accessed 30 Jul 2016"},{"key":"16_CR3","unstructured":"Xtend - Modernized Java. https:\/\/www.eclipse.org\/xtend\/ . Online; last accessed 30 Jul 2016"},{"key":"16_CR4","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":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"ISoLA 2016, Part II","author":"S Bo\u00dfelmann","year":"2016","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: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part II. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016)"},{"key":"16_CR6","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, pp. 145\u2013151. CREA Press (2016)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-319-47169-3_17","volume-title":"ISoLA 2016, Part II","author":"M Broy","year":"2016","unstructured":"Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part II. LNCS, vol. 9953, pp. 238\u2013257. Springer, Cham (2016)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BFb0084787","volume-title":"CONCUR \u201992","author":"O Burkart","year":"1992","unstructured":"Burkart, O., Steffen, B.: Model checking for context-free processes. In: Cleaveland, W. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 123\u2013137. Springer, Heidelberg (1992)"},{"issue":"1\u20132","key":"16_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0304-3975(99)00034-1","volume":"221","author":"O Burkart","year":"1999","unstructured":"Burkart, O., Steffen, B.: Model checking the full modal mu-calculus for infinite sequential processes. Theoret. Comput. Sci. 221(1\u20132), 251\u2013270 (1999)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"16_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1975","unstructured":"Chen, P.P.S.: The entity-relationship model - toward a unified view of data. Trans. Database Syst. (TODS) 1(1), 9\u201336 (1975)","journal-title":"Trans. Database Syst. (TODS)"},{"key":"16_CR11","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"16_CR12","unstructured":"Constable, R., Allen, S., Bromley, H., Cleaveland, W., Cremer, J., Harper, R., Howe, D., Knoblock, T., Mendler, N., Panangaden, P., Sasaki, J., Smith, S.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Upper Saddle River (1986)"},{"issue":"1","key":"16_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00207168808803702","volume":"27","author":"DM Dhamdhere","year":"1989","unstructured":"Dhamdhere, D.M.: A new algorithm for composite hoisting and strength reduction optimisation (+ Corrigendum). Int. J. Comp. Math. 27, 1\u201314 (1989)","journal-title":"Int. J. Comp. Math."},{"key":"16_CR15","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)"},{"key":"16_CR16","unstructured":"Filev, A., Loton, T., McNeish, K., Schoellmann, B., Slater, J., Wu, C.G.: Professional UML Using Visual Studio .Net. Wiley Publishing Inc., Indianapolis (2003)"},{"key":"16_CR17","unstructured":"Fowler, M., Parsons, R.: Domain-specific languages. Addison-Wesley\/ACM Press (2011)"},{"key":"16_CR18","unstructured":"Gelbmann, M.: WordPress powers 25% of all websites (2015). https:\/\/w3techs.com\/blog\/entry\/wordpress-powers-25-percent-of-all-websites . Online; last accessed 19 Jul 2016"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Gordon, M., Milner, R., Morris, L., Newey, M., Wadsworth, C.: A metalanguage for interactive proof in LCF. In: Proceedings of the 5th Symposium on Principles of Programming Languages (POPL 1978) (1978)","DOI":"10.1145\/512760.512773"},{"key":"16_CR20","unstructured":"Jackson, P.B.: Nuprl and its use in circuit design. In: Stavridou, V., Melham, T., Boute, R. (eds.) Proceedings of the IFIP TC10\/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, pp. 311\u2013336 (1992)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach","year":"2013","unstructured":"J\u00f6rges, S. (ed.): Construction and Evolution of Code Generators. LNCS, vol. 7747. Springer, Heidelberg (2013)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-319-47166-2_20","volume-title":"ISoLA 2016, Part I","author":"S J\u00f6rges","year":"2016","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Naujokat, S., Steffen, B.: Synthesis from a practical perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. 282\u2013302. Springer, Cham (2016)"},{"issue":"4","key":"16_CR23","doi-asserted-by":"crossref","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)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Steffen, B.: Exploiting ecore\u2019s reflexivity for bootstrapping domain-specific code-generators. In: Proceedings of 35th Software Engineering Workshop (SEW 2012), pp. 72\u201381. IEEE (2012)","DOI":"10.1109\/SEW.2012.14"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-662-45234-9_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"S J\u00f6rges","year":"2014","unstructured":"J\u00f6rges, S., Steffen, B.: Back-to-back testing of model-based code generators. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 425\u2013444. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_30"},{"key":"16_CR26","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":"16_CR27","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Lazy code motion. In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation (PLDI), pp. 224\u2013234. ACM (1992)","DOI":"10.1145\/143095.143136"},{"issue":"4","key":"16_CR28","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4), 1117\u20131155 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR29","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":"16_CR30","doi-asserted-by":"crossref","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 (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"16_CR31","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 (2006)"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450\u2013464. Springer, Heidelberg (2005). doi: 10.1007\/11596141_34"},{"key":"16_CR33","unstructured":"McAffer, J., Lemieux, J.M., Aniszczyk, C.: Eclipse Rich Client Platform, 2nd edn. Addison-Wesley Professional (2010)"},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-09526-8_11","volume-title":"Mathematical Foundations of Computer Science 1979","author":"R Milner","year":"1979","unstructured":"Milner, R.: LCF: a way of doing proofs with a machine. In: Be\u010dv\u00e1\u0159, J. (ed.) MFCS 1979. LNCS, vol. 74, pp. 146\u2013159. Springer, Heidelberg (1979). doi: 10.1007\/3-540-09526-8_11"},{"issue":"2","key":"16_CR35","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E Morel","year":"1979","unstructured":"Morel, E., Renvoise, C.: Global optimization by suppression of partial redundancies. Comm. ACM 22(2), 96\u2013103 (1979)","journal-title":"Comm. ACM"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools (to appear, 2016)","DOI":"10.1007\/s10009-017-0453-6"},{"issue":"3","key":"16_CR37","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/spe.2243","volume":"44","author":"S Naujokat","year":"2013","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)","journal-title":"Softw. Pract. Exp."},{"key":"16_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_5"},{"key":"16_CR39","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 129, 259\u2013283 (2013)","journal-title":"Electron. Proc. Theoret. Comput. Sci."},{"key":"16_CR40","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; last accessed 23 Apr 2014"},{"key":"16_CR41","unstructured":"Object Management Group (OMG): Documents associated with Object Constraint Language (OCL), Version 2.4, February 2014. http:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"key":"16_CR42","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Tech. rep., University of Aarhus, dAIMI FN-19 (1981)"},{"key":"16_CR43","unstructured":"Rumbaugh, J., Jacobsen, I., Booch, G.: The Unified Modeling Language Reference Manual. The Addison-Wesley Object Technology Series, 2 edn. Addison-Wesley Professional, July 2004"},{"key":"16_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-49727-7_22","volume-title":"Static Analysis","author":"D Schmidt","year":"1998","unstructured":"Schmidt, D., Steffen, B.: Program analysis as model checking of abstract interpretations. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 351\u2013380. Springer, Heidelberg (1998). doi: 10.1007\/3-540-49727-7_22"},{"key":"16_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-54415-1_54","volume-title":"Theoretical Aspects of Computer Software","author":"B Steffen","year":"1991","unstructured":"Steffen, B.: Data flow analysis as model checking. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 346\u2013364. Springer, Heidelberg (1991). doi: 10.1007\/3-540-54415-1_54"},{"issue":"2","key":"16_CR46","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"21","author":"B Steffen","year":"1993","unstructured":"Steffen, B.: Generating data flow analysis algorithms from modal specifications. Sci. Comput. Program. 21(2), 115\u2013139 (1993)","journal-title":"Sci. Comput. Program."},{"key":"16_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-60218-6_6","volume-title":"CONCUR \u201995: Concurrency Theory","author":"B Steffen","year":"1995","unstructured":"Steffen, B., Cla\u00dfen, A., Klein, M., Knoop, J., Margaria, T.: The fixpoint-analysis machine. In: Lee, I., Smolka, S. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 72\u201387. Springer, Berlin Heidelberg (1995)"},{"key":"16_CR48","doi-asserted-by":"crossref","unstructured":"Steffen, B., J\u00f6rges, S., Wagner, C., Margaria, T.: Maintenance, or the 3rd dimension of eXtreme model-driven design. In: IEEE International Conference on Software Maintenance 2009 (ICSM 2009), pp. 483\u2013486 (2009)","DOI":"10.1109\/ICSM.2009.5306281"},{"key":"16_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","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.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"16_CR50","unstructured":"Steffen, B., Margaria, T., Wagner, C.: Round-Trip Engineering, chap. 94, pp. 1044\u20131055. Taylor & Francis (2010)"},{"key":"16_CR51","doi-asserted-by":"crossref","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. LNCS Trans. Found. for Mastering Change (FoMaC) 1(1) (2016)","DOI":"10.1007\/978-3-319-46508-1_3"},{"key":"16_CR52","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"},{"issue":"1","key":"16_CR53","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/s100090050002","volume":"1","author":"P Wolper","year":"1997","unstructured":"Wolper, P.: The meaning of \u201cformal\u201d: from weak to strong formal methods. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1), 6\u20138 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T19:18:53Z","timestamp":1657394333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}