{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:24Z","timestamp":1773773724606,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030452339","type":"print"},{"value":"9783030452346","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45234-6_11","type":"book-chapter","created":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T14:04:23Z","timestamp":1587391463000},"page":"224-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Generating Large EMF Models Efficiently"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0838-6513","authenticated-orcid":false,"given":"Nebras","family":"Nassar","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4733-2777","authenticated-orcid":false,"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2582-5557","authenticated-orcid":false,"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: Proc. MODELS. pp. 121\u2013135. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Arendt, T., Taentzer, G.: A tool environment for quality assurance based on the eclipse modeling framework. Automated Software Engineering 20(2), 141\u2013184 (2013)","DOI":"10.1007\/s10515-012-0114-7"},{"key":"11_CR3","unstructured":"Atlantic Zoo. \nhttp:\/\/web.imt-atlantique.fr\/x-info\/atlanmod\/index.php?title=Zoos\n\n (2019)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal Foundation of Consistent EMF Model Transformations by Algebraic Graph Transformation. SoSyM 11(2), 227\u2013250 (2012)","DOI":"10.1007\/s10270-011-0199-7"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers (2012)","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Brandes, U., Eiglsperger, M., Herman, I., Himsolt, M., Marshall, M.S.: GraphML Progress Report: Structural Layer Proposal. In: Graph Drawing. pp. 501\u2013512. Springer (2002)","DOI":"10.1007\/3-540-45848-4_59"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le\u00a0Traon, Y.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Symp. on Software Reliability Engineering. pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"11_CR8","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. SoSyM 8(4), 479\u2013500 (2009)","DOI":"10.1007\/s10270-008-0095-y"},{"key":"11_CR10","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proc. Intl. Workshop on Model, Design and Validation. pp. 29\u201340. IEEE (2004)"},{"key":"11_CR11","unstructured":"G\u00f3mez, A., AtlanMod Team: EMF random instantiator (2015), \nhttps:\/\/github.com\/atlanmod\/mondo-atlzoo-benchmark\/tree\/master\/fr.inria.atlanmod.instantiator\n\n, (visited on 2020-02-18)"},{"key":"11_CR12","unstructured":"Jackson, D.: Alloy: A lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Taentzer, G., Rindt, M., Kelter, U.: Automatically Deriving the Specification of Model Editing Operations from Meta-Models. In: Proc. ICMT. pp. 173\u2013188 (2016)","DOI":"10.1007\/978-3-319-42064-6_12"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De\u00a0Lara, J., R\u00e1th, I., Varr\u00f3, D., Tisi, M., et\u00a0al.: A research roadmap towards achieving scalability in model driven engineering. In: Workshop on Scalability in Model Driven Engineering. ACM (2013)","DOI":"10.1145\/2487766.2487768"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"McGill, M.J., Stirewalt, R.K., Dillon, L.K.: Automated test input generation for software that consumes ORM models. In: OTM Confederated Intl. Conferences. pp. 704\u2013713. Springer (2009)","DOI":"10.1007\/978-3-642-05290-3_86"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: European Conf. on Model Driven Architecture-Foundations and Applications. pp. 130\u2013145. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_10"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Nassar, N., Kosiol, J., Arendt, T., Taentzer, G.: OCL2AC. Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules. In: Proc. ICGT 2018. pp. 171\u2013177. Springer (2018)","DOI":"10.1007\/978-3-319-92991-0_11"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Nassar, N., Kosiol, J., Radke, H.: Rule-based Repair of EMF Models: Formalization and Correctness Proof. In: Electronic Pre-Proc. Intl. Workshop on Graph Computation Models (2017)","DOI":"10.1007\/978-3-319-61473-1_12"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Nassar, N., Radke, H., Arendt, T.: Rule-based repair of EMF models: An automated interactive approach. In: Proc. ICMT. pp. 171\u2013181 (2017)","DOI":"10.1007\/978-3-319-61473-1_12"},{"key":"11_CR20","unstructured":"OMG: Object Constraint Language. (2014), \nhttp:\/\/www.omg.org\/spec\/OCL\/"},{"key":"11_CR21","unstructured":"OMG: OMG Meta Object Facility (MOF). Version 2.5.1 (11 2016), \nhttp:\/\/www.omg.org\/spec\/MOF\/"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Pietsch, Pit and Yazdi, Hamed Shariat and Kelter, Udo: Generating realistic test models for model processing tools. In: Proc. ASE. pp. 620\u2013623. IEEE CS (2011)","DOI":"10.1109\/ASE.2011.6100140"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Popoola, S., Kolovos, D.S., Rodriguez, H.H.: EMG: A domain-specific transformation language for synthetic model generation. In: Proc. ICMT. vol.\u00a09765, pp. 36\u201351. Springer (2016)","DOI":"10.1007\/978-3-319-42064-6_3"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating Essential OCL Invariants to Nested Graph Constraints for Generating Instances of Meta-models. Science of Computer Programming 152, 38\u201362 (2018)","DOI":"10.1016\/j.scico.2017.08.006"},{"key":"11_CR25","unstructured":"Rindt, M., Kehrer, T., Kelter, U.: Automatic generation of consistency-preserving edit operations for mde tools. Demos @ MoDELS 14 (2014)"},{"key":"11_CR26","unstructured":"Scheidgen, M.: Generation of large random models for benchmarking. In: BigMDE@ STAF. pp. 1\u201310 (2015)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Automated reasoning for attributed graph properties. Intl. Journal on Software Tools for Technology Transfer 20(6), 705\u2013737 (2018)","DOI":"10.1007\/s10009-018-0496-3"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Schneider, S., Lambers, L., Orejas, F.: A logic-based incremental approach to graph repair. In: Fundamental Approaches to Software Engineering. pp. 151\u2013167. Springer (2019)","DOI":"10.1007\/978-3-030-16722-6_9"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Babikian, A.A., Pilarski, S., Varr\u00f3, D.: Viatra solver: a framework for the automated generation of consistent domain-specific models. In: Proc. ICSE. pp. 43\u201346. IEEE\/ACM (2019)","DOI":"10.1109\/ICSE-Companion.2019.00034"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A Graph Solver for the Automated Generation of Consistent Domain-specific Models. In: Proc. ICSE. pp. 969\u2013980. ACM (2018)","DOI":"10.1145\/3180155.3180186"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Graph constraint evaluation over partial models by constraint rewriting. In: Proc. ICMT. pp. 138\u2013154 (2017)","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Proc. ICMT. pp. 148\u2013164 (2009)","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"11_CR33","unstructured":"Shannon, C.E.: A Mathematical Theory of Communication. SIGMOBILE Mob. Comput. Commun. Rev. 5(1), 3\u201355 (2001), reprint"},{"key":"11_CR34","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison Wesley, Upper Saddle River, NJ, 2 edn. (2008)"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Str\u00fcber, D., Born, K., Gill, K.D., Groner, R., Kehrer, T., Ohrndorf, M., Tichy, M.: Henshin: A Usability-Focused Framework for EMF Model Transformation Development. In: Proc. ICGT. pp. 196\u2013208 (2017)","DOI":"10.1007\/978-3-319-61470-0_12"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Synthesizing software models: generating train station models automatically. In: Intl. SDL Forum. pp. 38\u201353. Springer (2011)","DOI":"10.1007\/978-3-642-25264-8_5"},{"key":"11_CR37","unstructured":"Taentzer, G.: Instance generation from type graphs with arbitrary multiplicities. ECEASST 47 (2012)"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Yazdi, H.S., Angelis, L., Kehrer, T., Kelter, U.: A framework for capturing, statistically modeling and analyzing the evolution of software models. Journal of Systems and Software 118, 176\u2013207 (2016)","DOI":"10.1016\/j.jss.2016.05.010"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45234-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T12:19:01Z","timestamp":1597148341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45234-6_11"}},"subtitle":["A Rule-Based, Configurable Approach"],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452339","9783030452346"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45234-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}