{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:02Z","timestamp":1750220582743,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CAPES","award":["23038.028816\/2016-41"],"award-info":[{"award-number":["23038.028816\/2016-41"]}]},{"name":"KK Stiftelsen","award":["VF-KDO"],"award-info":[{"award-number":["VF-KDO"]}]},{"name":"CNPq","award":["312123\/2017-5,407235\/2017-5"],"award-info":[{"award-number":["312123\/2017-5,407235\/2017-5"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,16]]},"DOI":"10.1145\/3417990.3421410","type":"proceedings-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T14:04:21Z","timestamp":1604325861000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Deductive reconstruction of MLT\n            <sup>*<\/sup>\n            for multi-level modeling"],"prefix":"10.1145","author":[{"given":"Manfred A.","family":"Jeusfeld","sequence":"first","affiliation":[{"name":"University of Sk\u00f6vde \/ IIT, Sk\u00f6vde, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[{"name":"Federal University of Esp\u00edrito Santo, Vit\u00f3ria, ES, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victorio A.","family":"Carvalho","sequence":"additional","affiliation":[{"name":"Federal Institute of Esp\u00edrito Santo, Colatina, ES, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudenir M.","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Neumayr","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69904-2_23"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_17"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-934613-40-8.50006-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872518.2891117"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19074-0_69"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73566"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0538-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13953-6_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs144"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00847-5_29"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12599-014-0350-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00961873"},{"key":"e_1_3_2_1_14_1","unstructured":"Manfred A. Jeusfeld. 2005. Complete List of O-Telos Axioms. Online: http:\/\/merkur.informatik.rwth-aachen.de\/pub\/bscw.cgi\/d1228997\/O-Telos-Axioms.pdf.  Manfred A. Jeusfeld. 2005. Complete List of O-Telos Axioms. Online: http:\/\/merkur.informatik.rwth-aachen.de\/pub\/bscw.cgi\/d1228997\/O-Telos-Axioms.pdf."},{"volume-title":"Metamodeling for Method Engineering, Manfred A","author":"Jeusfeld Manfred A.","key":"e_1_3_2_1_15_1","unstructured":"Manfred A. Jeusfeld . 2009. Metamodeling and method engineering with Concept-Base . In Metamodeling for Method Engineering, Manfred A . Jeusfeld, Matthias Jarke, and John Mylopoulos (Eds.). MIT Press , 89--168. Manfred A. Jeusfeld. 2009. Metamodeling and method engineering with Concept-Base. In Metamodeling for Method Engineering, Manfred A. Jeusfeld, Matthias Jarke, and John Mylopoulos (Eds.). MIT Press, 89--168."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00016"},{"key":"e_1_3_2_1_17_1","unstructured":"Manfred A. Jeusfeld. 2020. ConceptBase.cc User Manual - Version 8.1. Online: http:\/\/conceptbase.sourceforge.net\/userManual81\/.  Manfred A. Jeusfeld. 2020. ConceptBase.cc User Manual - Version 8.1. Online: http:\/\/conceptbase.sourceforge.net\/userManual81\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46397-1_15"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of MODELS 2018 Workshops co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS","author":"Lange Arne","year":"2018","unstructured":"Arne Lange and Colin Atkinson . 2018. Multi-level modeling with MELANEE . In Proceedings of MODELS 2018 Workshops co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018 ), Copenhagen, Denmark, October, 14, 2018 (CEUR Workshop Proceedings), Regina Hebig and Thorsten Berger (Eds .), Vol. 2245 . CEUR-WS.org, 653--662. http:\/\/ceur-ws.org\/Vol-2245\/multi_paper_3.pdf Arne Lange and Colin Atkinson. 2018. Multi-level modeling with MELANEE. In Proceedings of MODELS 2018 Workshops co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018 (CEUR Workshop Proceedings), Regina Hebig and Thorsten Berger (Eds.), Vol. 2245. CEUR-WS.org, 653--662. http:\/\/ceur-ws.org\/Vol-2245\/multi_paper_3.pdf"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/102675.102676"},{"volume-title":"Advanced object-oriented analysis and design using UML","author":"Odell James J.","key":"e_1_3_2_1_22_1","unstructured":"James J. Odell . 1998. Advanced object-oriented analysis and design using UML . Cambridge University Press , Chapter Power types, 23--32. James J. Odell. 1998. Advanced object-oriented analysis and design using UML. Cambridge University Press, Chapter Power types, 23--32."},{"key":"e_1_3_2_1_23_1","volume-title":"Materialization: A Powerful and Ubiquitous Abstraction Pattern. In VLDB'94, Proc. 20th International Conference on Very Large Data Bases","author":"Pirotte Alain","year":"1994","unstructured":"Alain Pirotte , Esteban Zim\u00e1nyi , David Massart , and Tatiana Yakusheva . 1994 . Materialization: A Powerful and Ubiquitous Abstraction Pattern. In VLDB'94, Proc. 20th International Conference on Very Large Data Bases , September 12-15, 1994, Santiago de Chile, Chile, Jorge B. Bocca, Matthias Jarke, and Carlo Zaniolo (Eds.). Morgan Kaufmann , 630--641. http:\/\/www.vldb.org\/conf\/1994\/P630.PDF Alain Pirotte, Esteban Zim\u00e1nyi, David Massart, and Tatiana Yakusheva. 1994. Materialization: A Powerful and Ubiquitous Abstraction Pattern. In VLDB'94, Proc. 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile, Jorge B. Bocca, Matthias Jarke, and Carlo Zaniolo (Eds.). Morgan Kaufmann, 630--641. http:\/\/www.vldb.org\/conf\/1994\/P630.PDF"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3417990.3421410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:35Z","timestamp":1750195895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":23,"alternative-id":["10.1145\/3417990.3421410","10.1145\/3417990"],"URL":"https:\/\/doi.org\/10.1145\/3417990.3421410","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}