{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:08:57Z","timestamp":1750997337063,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,23]]},"DOI":"10.1145\/3141842.3141843","type":"proceedings-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T15:16:02Z","timestamp":1507907762000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Megamodelling with NGA multimodels"],"prefix":"10.1145","author":[{"given":"Vadim","family":"Zaytsev","sequence":"first","affiliation":[{"name":"Raincode Labs, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"volume-title":"Compilers: Principles, Techniques and Tools","year":"2006","author":"Aho A. V.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"F. Allilaire J. B\u00e9zivin H. Bruneli\u00e8re and F. Jouault. 2006. Global Model Management in Eclipse GMT\/AM3. In eTX at ECOOP\u201906. F. Allilaire J. B\u00e9zivin H. Bruneli\u00e8re and F. Jouault. 2006. Global Model Management in Eclipse GMT\/AM3. In eTX at ECOOP\u201906."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"M. Barbero Fr\u00e9d\u00e9ric Jouault and J. B\u00e9zivin. 2008. Model Driven Management of Complex Systems: Implementing the Macroscope\u2019s Vision. In ECBS. 277\u2013286. M. Barbero Fr\u00e9d\u00e9ric Jouault and J. B\u00e9zivin. 2008. Model Driven Management of Complex Systems: Implementing the Macroscope\u2019s Vision. In ECBS. 277\u2013286.","DOI":"10.1109\/ECBS.2008.42"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"J. B\u00e9zivin F. Jouault P. Rosenthal and P. Valduriez. 2004. Modeling in the Large and Modeling in the Small. In MDAFA\u201903\/\u201904. 33\u201346. J. B\u00e9zivin F. Jouault P. Rosenthal and P. Valduriez. 2004. Modeling in the Large and Modeling in the Small. In MDAFA\u201903\/\u201904. 33\u201346.","DOI":"10.1007\/11538097_3"},{"key":"e_1_3_2_1_5_1","unstructured":"J. B\u00e9zivin F. Jouault and P. Valduriez. 2004. On the Need for Megamodels. MDSD at OOPSLA & GPCE (2004). J. B\u00e9zivin F. Jouault and P. Valduriez. 2004. On the Need for Megamodels. MDSD at OOPSLA & GPCE (2004)."},{"volume-title":"Megaprogramming. In Proceedings of the DARPA Software Technology Conference. Meridien Corp.","author":"Boehm B.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227243"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/966221.966235"},{"volume-title":"MMMDE: Workshop on Mathematical Models for MDE. MoDELS","year":"2015","author":"Diskin Z.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a6"},{"volume":"6981","volume-title":"MoDELS (LNCS)","author":"Diskin Z.","key":"e_1_3_2_1_12_1"},{"volume-title":"Third Workshop in Software Model Engineering (WiSME).","year":"2004","author":"Favre J.-M.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_11"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J.-M. Favre and T. NGuyen. 2004. Towards a Megamodel to Model Software Evolution through Transformations. ENTCS 127 3 (2004). J.-M. Favre and T. NGuyen. 2004. Towards a Megamodel to Model Software Evolution through Transformations. ENTCS 127 3 (2004).","DOI":"10.1016\/j.entcs.2004.08.034"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"D. Fischbein N. D\u2019Ippolito G. Brunet M. Chechik and S. Uchitel. 2012. Weak Alphabet Merging of Partial Behavior Models. ACM ToSEM 21 2 (2012) 9:1\u20139:47. D. Fischbein N. D\u2019Ippolito G. Brunet M. Chechik and S. Uchitel. 2012. Weak Alphabet Merging of Partial Behavior Models. ACM ToSEM 21 2 (2012) 9:1\u20139:47.","DOI":"10.1145\/2089116.2089119"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48092-7_10"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-4699-6"},{"key":"e_1_3_2_1_20_1","unstructured":"R. Hebig A. Seibel and H. Giese. 2011. On the Unification of Megamodels. EC-EASST 42 (2011). R. Hebig A. Seibel and H. Giese. 2011. On the Unification of Megamodels. EC-EASST 42 (2011)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006210204780486"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"R. Hilliard I. Malavolta H. Muccini and P. Pelliccione. 2010. Realizing Architecture Frameworks through Megamodeling Techniques. In ASE. R. Hilliard I. Malavolta H. Muccini and P. Pelliccione. 2010. Realizing Architecture Frameworks through Megamodeling Techniques. In ASE.","DOI":"10.1145\/1858996.1859057"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568318"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"R. Khadka P. Shrestha B. Klein A. Saeidi J. Hage S. Jansen E. van Dis and M. Bruntink. 2015. Does Software Modernization Deliver What it Aimed for?. In ICSME. IEEE 477\u2013486. R. Khadka P. Shrestha B. Klein A. Saeidi J. Hage S. Jansen E. van Dis and M. Bruntink. 2015. Does Software Modernization Deliver What it Aimed for?. In ICSME. IEEE 477\u2013486.","DOI":"10.1109\/ICSM.2015.7332499"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42061-5_2"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997366"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09195-2_5"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel and V. Zaytsev. 2009. An Introduction to Grammar Convergence. In iFM (LNCS) Vol. 5423. Springer 246\u2013260. R. L\u00e4mmel and V. Zaytsev. 2009. An Introduction to Grammar Convergence. In iFM (LNCS) Vol. 5423. Springer 246\u2013260.","DOI":"10.1007\/978-3-642-00255-7_17"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9116-5"},{"key":"e_1_3_2_1_30_1","first-page":"36","article-title":"Language Support for Megamodel Renarration","volume":"1089","author":"L\u00e4mmel R.","year":"2013","journal-title":"XM (CEUR)"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.040"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"R. Lezuo I. Dragan G. Barany and A. Krall. 2015. vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. In SYNASC. R. Lezuo I. Dragan G. Barany and A. Krall. 2015. vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. In SYNASC.","DOI":"10.1109\/SYNASC.2015.34"},{"key":"e_1_3_2_1_34_1","unstructured":"S. J. Mellor K. Scott A. Uhl D. Weise and R. M. Soley. 2004. MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley. S. J. Mellor K. Scott A. Uhl D. Weise and R. M. Soley. 2004. MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley."},{"key":"e_1_3_2_1_35_1","unstructured":"OMG. 2006. Meta-Object Facility (MOF TM ) Core Specification (2.0 ed.). Object Management Group. OMG. 2006. Meta-Object Facility (MOF TM ) Core Specification (2.0 ed.). Object Management Group."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80016-8"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"R. Salay M. Chechik M. Famelis and J. Gorzny. 2015. A Methodology for Verifying Refinements of Partial Models. 14 3 (Aug. 2015) 3:1\u201331. R. Salay M. Chechik M. Famelis and J. Gorzny. 2015. A Methodology for Verifying Refinements of Partial Models. 14 3 (Aug. 2015) 3:1\u201331.","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338254"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59071-4_45"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231147"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"K. Sikkel. 1997. Parsing Schemata \u2014 a Framework for Specification and Analysis of Parsing Algorithms. Springer. I\u2013XVI 1\u2013365 pages. K. Sikkel. 1997. Parsing Schemata \u2014 a Framework for Specification and Analysis of Parsing Algorithms. Springer. I\u2013XVI 1\u2013365 pages.","DOI":"10.1007\/978-3-642-60541-3"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45620-1_5"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"A. Vignaga F. Jouault M. Bastarrica and H. Bruneli\u00e8re. 2011. Typing Artifacts in Megamodeling. SoSyM (2011) 1\u201315. A. Vignaga F. Jouault M. Bastarrica and H. Bruneli\u00e8re. 2011. Typing Artifacts in Megamodeling. SoSyM (2011) 1\u201315.","DOI":"10.1007\/s10270-011-0191-2"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/138844.138853"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_16"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232090"},{"key":"e_1_3_2_1_47_1","unstructured":"V. Zaytsev. 2012. Language Evolution Metasyntactically. EC-EASST BX 49 (2012). V. Zaytsev. 2012. Language Evolution Metasyntactically. EC-EASST BX 49 (2012)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2467307.2467313"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508443.2508454"},{"key":"e_1_3_2_1_50_1","volume-title":"GEMOC (CEUR)","volume":"1236","author":"Zaytsev V.","year":"2014"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_4"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103709"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141842.3141843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3141842.3141843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T13:33:23Z","timestamp":1750944803000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141842.3141843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":52,"alternative-id":["10.1145\/3141842.3141843","10.1145\/3141842"],"URL":"https:\/\/doi.org\/10.1145\/3141842.3141843","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}