{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:22:55Z","timestamp":1791231775163,"version":"4.1.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T00:00:00Z","timestamp":1387411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10270-013-0392-y","type":"journal-article","created":{"date-parts":[[2013,12,18]],"date-time":"2013-12-18T05:54:37Z","timestamp":1387346077000},"page":"1323-1347","source":"Crossref","is-referenced-by-count":56,"title":["Example-driven meta-model development"],"prefix":"10.1007","volume":"14","author":[{"given":"Jes\u00fas J.","family":"L\u00f3pez-Fern\u00e1ndez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,12,19]]},"reference":[{"key":"392_CR1","doi-asserted-by":"crossref","unstructured":"Aguilera, D., Garc\u00eda-Ranea, R., G\u00f3mez, C., Oliv\u00e9, A.: An eclipse plugin for validating names in UML conceptual schemas. In: ER Workshops, Volume 6999 of LNCS, pp. 323\u2013327. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24574-9_41"},{"key":"392_CR2","doi-asserted-by":"crossref","unstructured":"Aguilera, D., G\u00f3mez, C., Oliv\u00e9, A.: A method for the definition and treatment of conceptual schema quality issues. In: ER, Volume 7532 of LNCS, pp. 501\u2013514. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34002-4_39"},{"key":"392_CR3","unstructured":"Antkiewicz, M., Bak, K., Czarnecki, K., Diskin, Z., Zayan, D., Wasowski, A.: Example-driven modeling using clafer. In: MDEBE\u20192013. CEUR (2013)"},{"key":"392_CR4","doi-asserted-by":"crossref","unstructured":"Bak, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., Wasowski, A., Rayside D.: Example-driven modeling: Model = abstractions + examples. In: ICSE, pp. 1273\u20131276. IEEE ACM (2013)","DOI":"10.1109\/ICSE.2013.6606696"},{"key":"392_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2366.001.0001","volume-title":"Design Rules: The Power of Modularity","author":"CY Baldwin","year":"2000","unstructured":"Baldwin, C.Y., Clark, K.B.: Design Rules: The Power of Modularity, vol. 1. The MIT Press, Cambridge, MA (2000)"},{"key":"392_CR6","volume-title":"Case*Method: Entity Relationship Modelling","author":"R Barker","year":"1990","unstructured":"Barker, R.: Case*Method: Entity Relationship Modelling. Addison-Wesley Professional, Reading, MA (1990)"},{"key":"392_CR7","unstructured":"Beck, K.: Simple smalltalk testing: with patterns. Tech. Rep .4(2), The Smalltalk Reports (1994)"},{"issue":"2","key":"392_CR8","doi-asserted-by":"crossref","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)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"392_CR9","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/j.is.2008.12.002","volume":"35","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Pau, R., Ravent\u00f3s, R.: From UML\/OCL to SBVR specifications: a challenging transformation. Inf. Syst. 35(4), 417\u2013440 (2010)","journal-title":"Inf. Syst."},{"key":"392_CR10","doi-asserted-by":"crossref","unstructured":"Cho, H., Gray, J.: Design patterns for metamodels. In: SPLASH Workshops, pp. 25\u201332. ACM (2011)","DOI":"10.1145\/2095050.2095056"},{"key":"392_CR11","doi-asserted-by":"crossref","unstructured":"Cho, H., Gray, J., Syriani, E.: Creating visual domain-specific modeling languages from end-user demonstration. In: MiSE\u201912 (2012)","DOI":"10.1109\/MISE.2012.6226010"},{"key":"392_CR12","unstructured":"Cho, H., Sun, Y., Gray, J., White J.: Key challenges for modeling language creation by demonstration. In: ICSE\u201911 Workshop on Flexible Modeling Tools (2011)"},{"key":"392_CR13","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven, engineering. In: EDOC\u201908, pp. 222\u2013231 (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"392_CR14","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., di Ruscio, D., Pierantonio, A.: Managing model conflicts in distributed development. In: MODELS\u201908, Volume 5301 of LNCS, pp. 311\u2013325. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_23"},{"key":"392_CR15","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., di Ruscio, D., Pierantonio, A., Kolovos, D.: A test-driven approach for metamodel development. In: Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 319\u2013342. IGI Global (2012)","DOI":"10.4018\/978-1-61350-438-3.ch012"},{"key":"392_CR16","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., de Lara, J., Guerra, E.: Bottom-up meta-modelling: an interactive approach. In: MoDELS, Volume 7590 of LNCS, pp. 3\u201319. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_2"},{"key":"392_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge, MA (2002)","edition":"2"},{"issue":"9","key":"392_CR18","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MC.2007.324","volume":"40","author":"R Davis","year":"2007","unstructured":"Davis, R.: Magic paper: sketch-understanding research. Computer 40(9), 34\u201341 (2007)","journal-title":"Computer"},{"key":"392_CR19","doi-asserted-by":"crossref","unstructured":"Dawson, L.: A social-creative-cognitive (scc) model for requirements engineering. In: ISD (2012)","DOI":"10.1007\/978-1-4614-7540-8_9"},{"key":"392_CR20","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS\u201910, Volume 6141 of LNCS, pp. 1\u201320. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13953-6_1"},{"issue":"3","key":"392_CR21","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/s10270-011-0221-0","volume":"12","author":"J Lara de","year":"2013","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Model. 12(3), 453\u2013474 (2013)","journal-title":"Softw. Syst. Model."},{"key":"392_CR22","doi-asserted-by":"crossref","unstructured":"Deeptimahanti, D.K., Babar, M.A.: An automated tool for generating uml models from natural language requirements. In: ASE, pp. 680\u2013682. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.48"},{"issue":"4","key":"392_CR23","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s10270-007-0073-9","volume":"7","author":"J Dingel","year":"2008","unstructured":"Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Softw. Syst. Model. 7(4), 443\u2013467 (2008)","journal-title":"Softw. Syst. Model."},{"key":"392_CR24","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-94-017-2740-2_8","volume-title":"Practical Foundations of Business System Specifications","author":"Z Diskin","year":"2003","unstructured":"Diskin, Z.: Mathematics of UML: making the Odysseys of UML less dramatic. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business System Specifications, pp. 145\u2013178. Springer, Netherlands (2003)"},{"key":"392_CR25","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Diagrams, Volume 1889 of LNCS, pp. 345\u2013360. Springer, Berlin (2000)","DOI":"10.1007\/3-540-44590-0_30"},{"key":"392_CR26","unstructured":"Dyck, A., Ganser, A., Lichter, H.: Model recommenders for command-enabled editors. In: MDEBE\u20192013. CEUR (2013)"},{"key":"392_CR27","doi-asserted-by":"crossref","unstructured":"Edwards, J.: Example centric programming. SIGPLAN Not. 39(12):84\u201391 (2004)","DOI":"10.1145\/1052883.1052894"},{"issue":"2","key":"392_CR28","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"392_CR29","unstructured":"Elaasar, M., Briand, L.C., Labiche, Y.: Domain-specific model verification with QVT. In: ECMFA, Volume 6698 of LNCS, pp. 282\u2013298. Springer, Berlin (2011). See also https:\/\/sites.google.com\/site\/metamodelingantipatterns"},{"key":"392_CR30","volume-title":"Refactoring","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley, Reading, MA (1999)"},{"key":"392_CR31","volume-title":"Growing Object-Oriented Software, Guided by Tests","author":"S Freeman","year":"2009","unstructured":"Freeman, S., Pryce, N.: Growing Object-Oriented Software, Guided by Tests, 1st edn. Addison-Wesley Professional, Reading, MA (2009)","edition":"1"},{"key":"392_CR32","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, MA (1994)"},{"key":"392_CR33","unstructured":"Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, 1st edn. Addison-Wesley Professional, Reading, MA (2009). See also http:\/\/www.eclipse.org\/modeling\/gmp\/"},{"key":"392_CR34","doi-asserted-by":"crossref","unstructured":"Izquierdo, J.L.C., Cabot, J.: Enabling the collaborative definition of DSMLs. In: CAiSE, Volume 7908 of LNCS, pp. 272\u2013287. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38709-8_18"},{"key":"392_CR35","doi-asserted-by":"crossref","unstructured":"Izquierdo, J.L.C., Cabot, J., L\u00f3pez-Fern\u00e1ndez, J.J., Cuadrado, J.S., Guerra, E., de Lara, J.: Engaging end-users in the collaborative development of domain-specific modelling languages. In: CDVE, Volume 8091 of LNCS, pp. 101\u2013110. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-40840-3_16"},{"issue":"9\u201310","key":"392_CR36","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1016\/j.infsof.2007.08.003","volume":"50","author":"F Javed","year":"2008","unstructured":"Javed, F., Mernik, M., Gray, J., Bryant, B.R.: MARS: a metamodel recovery system using grammar inference. Inf. Softw. Technol. 50(9\u201310), 948\u2013968 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"392_CR37","unstructured":"Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schneider, M., V\u00f6lkel, S.: Design guidelines for domain specific languages. In: DSM\u201909, pp. 7\u201313 (2009)"},{"issue":"4","key":"392_CR38","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.2009.109","volume":"26","author":"S Kelly","year":"2009","unstructured":"Kelly, S., Pohjonen, R.: Worst practices for domain-specific modeling. IEEE Softw. 26(4), 22\u201329 (2009)","journal-title":"IEEE Softw."},{"key":"392_CR39","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Abid, S.B., Paige, R.F., Polack, F.A.C., Botterweck G.: Taming EMF and GMF using model transformation. In: MODELS\u201910, Volume 6394 of LNCS, pp. 211\u2013225. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_15"},{"key":"392_CR40","unstructured":"Liquiere, M., Sallantin, J.: Structural machine learning with galois lattice and graphs. In: ICML\u201998, pp. 305\u2013313. Morgan Kaufmann, Los Altos, CA (1998)"},{"key":"392_CR41","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Modal object diagrams. In: ECOOP, Volume 6813 of LNCS, pp. 281\u2013305. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-22655-7_14"},{"issue":"5","key":"392_CR42","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"392_CR43","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"key":"392_CR44","unstructured":"Metamodel refactorings. http:\/\/www.metamodelrefactoring.org\/"},{"key":"392_CR45","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Ten things I hate about object-oriented programming. J. Object Technol. 9(5), (2010)","DOI":"10.5381\/jot.2010.9.5.e1"},{"key":"392_CR46","unstructured":"OMG. UML 2.4.1 specification. http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"392_CR47","unstructured":"Paige, R.F., Brooke, P.J., Ostroff, J.S.: Specification-driven development of an executable metamodel in Eiffel. In: WISME\u201904 (2004)"},{"key":"392_CR48","doi-asserted-by":"crossref","unstructured":"Perera, R.: First-order interactive programming. In: PADL\u201910, Volume 5937 of LNCS, pp. 186\u2013200. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-11503-5_17"},{"key":"392_CR49","unstructured":"Sadilek D. A., Wei\u00dfleder S.: Towards automated testing of abstract syntax specifications of domain-specific modeling languages. In: Volume 324 of CEUR Workshop Proceedings, pp. 21\u201329. CEUR-WS.org (2008)"},{"key":"392_CR50","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, C., Kuhn, T., Trapp, M.: A pattern-based approach to DSL development. In: DSM\u201911, pp. 39\u201346 (2011)","DOI":"10.1145\/2095050.2095058"},{"key":"392_CR51","volume-title":"Designing the User Interface\u2014Strategies for Effective Human-Computer Interaction","author":"B Shneiderman","year":"2010","unstructured":"Shneiderman, B., Plaisant, C.: Designing the User Interface\u2014Strategies for Effective Human-Computer Interaction, 5th edn. Addison-Wesley, Reading, MA (2010)","edition":"5"},{"key":"392_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 Professional, Reading, MA (2008)","edition":"2"},{"key":"392_CR53","unstructured":"Voelter, M.: DSL Engineering\u2014Designing, Implementing and Using Domain-Specific Languages. CreateSpace (2013)"},{"issue":"1","key":"392_CR54","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s10032-006-0025-x","volume":"9","author":"L Wenyin","year":"2007","unstructured":"Wenyin, L., Zhang, W., Yan, L.: An interactive example-driven approach to graphics recognition in engineering drawings. IJDAR 9(1), 13\u201329 (2007)","journal-title":"IJDAR"},{"key":"392_CR55","volume-title":"Designing object-oriented software","author":"R Wirfs-Brock","year":"1990","unstructured":"Wirfs-Brock, R., Wiener, L.R., Wilkerson, B.: Designing object-oriented software. Prentice Hall, Englewood Cliffs, NJ (1990)"},{"key":"392_CR56","doi-asserted-by":"crossref","unstructured":"W\u00fcest, D., Glinz, M.: Flexible sketch-based requirements modeling. In: REFSQ, Volume 6606 of LNCS, pp. 100\u2013105. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19858-8_12"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0392-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0392-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0392-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T02:05:07Z","timestamp":1564970707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0392-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,19]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["392"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0392-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,19]]}}}