{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:45:33Z","timestamp":1743068733574,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319915623"},{"type":"electronic","value":"9783319915630"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91563-0_24","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T05:53:18Z","timestamp":1526449998000},"page":"391-406","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formal Executable Theory of Multilevel Modeling"],"prefix":"10.1007","author":[{"given":"Mira","family":"Balaban","sequence":"first","affiliation":[]},{"given":"Igal","family":"Khitron","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[]},{"given":"Azzam","family":"Maraee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Acherkan, E., Hen-Tov, A., Lorenz, D., Schachter, L.: The ink language meta-metamodel for adaptive object-model frameworks. In: OOPSLA 2011 (2011)","DOI":"10.1145\/2048147.2048196"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-16373-9_23","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"A Artale","year":"2010","unstructured":"Artale, A., Calvanese, D., Ib\u00e1\u00f1ez-Garc\u00eda, A.: Full satisfiability of UML class diagrams. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 317\u2013331. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16373-9_23"},{"issue":"4","key":"24_CR3","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10270-008-0103-2","volume":"8","author":"T Asikainen","year":"2009","unstructured":"Asikainen, T., Mannisto, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. (SoSyM) 8(4), 521\u2013549 (2009)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"issue":"4","key":"24_CR4","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Rearchitecting the uml infrastructure. ACM TOMACS 12(4), 290\u2013321 (2002)","journal-title":"Rearchitecting the uml infrastructure. ACM TOMACS"},{"key":"24_CR5","unstructured":"Balaban, M., Bennett, P., Doan, K.H., Georg, G., Gogolla, M., Khitron, I., Kifer, M.: A comparison of textual modeling languages: OCL, Alloy, FOML. In: 16th International Workshop on OCL and Textual Modeling, Models (2016)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Balaban, M., Khitron, I., Kifer, M.: Multilevel modeling and reasoning with FOML. In: IEEE CS International Conference on SwSTE 2016 (2016)","DOI":"10.1109\/SWSTE.2016.17"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-642-24485-8_38","volume-title":"Model Driven Engineering Languages and Systems","author":"M Balaban","year":"2011","unstructured":"Balaban, M., Kifer, M.: Logic-based model-level software development with F-OML. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 517\u2013532. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_38"},{"issue":"3","key":"24_CR8","doi-asserted-by":"publisher","first-page":"24:1","DOI":"10.1145\/2491509.2491518","volume":"22","author":"M Balaban","year":"2013","unstructured":"Balaban, M., Maraee, A.: Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM TOSEM 22(3), 24:1\u201324:42 (2013)","journal-title":"ACM TOSEM"},{"key":"24_CR9","unstructured":"Balaban, M., Maraee, A.: UML Class Diagram: Abstract syntax and Semantics (2017). https:\/\/goo.gl\/UJzsjb"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artif. Intell. 168, 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"24_CR11","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-1-4615-5643-5_5","volume-title":"Logics for Databases and Information Systems","author":"AJ Bonner","year":"1998","unstructured":"Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. SECS, vol. 436, pp. 117\u2013166. Springer, Boston (1998). https:\/\/doi.org\/10.1007\/978-1-4615-5643-5_5"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10270-016-0538-9","volume":"17","author":"VA Carvalho","year":"2018","unstructured":"Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17, 205\u2013231 (2018)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.: HiLog: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"key":"24_CR14","unstructured":"Gogolla, M., Sedlmeier, M., Hamann, L., Hilken, F.: On metamodel superstructures employing UML generalization features. In: MULTI 2014 (2014)"},{"key":"24_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29825-7","volume-title":"On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages","author":"B Henderson-Sellers","year":"2012","unstructured":"Henderson-Sellers, B.: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-29825-7"},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-016-0520-6","volume":"17","author":"M Igamberdiev","year":"2018","unstructured":"Igamberdiev, M., Grossmann, G., Selway, M., Stumptner, M.: An integrated multi-level modeling approach for industrial-scale data interoperability. Softw. Syst. Model. 17(1), 269\u2013294 (2018)","journal-title":"Softw. Syst. Model."},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M Jarke","year":"1995","unstructured":"Jarke, M., Gallersd\u00f6rfer, R., Jeusfeld, M., Staudt, M., Eherer, S.: ConceptBase - a deductive object base for meta data management. J. Intell. Inf. Syst. 4, 167\u2013192 (1995)","journal-title":"J. Intell. Inf. Syst."},{"key":"24_CR18","unstructured":"Khitron, I., Balaban, M., Kifer, M.: The FOML Site (2017). https:\/\/goo.gl\/AgxmMc"},{"key":"24_CR19","unstructured":"Khitron, I., Kifer, M., Balaban, M.: PathLP: a path-oriented logic programming language. The PathLP Web Site (2011). https:\/\/goo.gl\/877S43"},{"issue":"4","key":"24_CR20","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42, 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"24_CR22","unstructured":"Klyne, G., Carroll, J.J.: Resource description framework (RDF): concepts and abstract syntax (2006)"},{"issue":"2","key":"24_CR23","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/2685615","volume":"24","author":"J de Lara","year":"2014","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.: When and how to use multilevel modelling. ACM TOSEM 24(2), 12:1\u201312:46 (2014)","journal-title":"ACM TOSEM"},{"issue":"1","key":"24_CR24","first-page":"429","volume":"14","author":"J de Lara","year":"2013","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. SoSyM 14(1), 429\u2013459 (2013)","journal-title":"SoSyM"},{"key":"24_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-11653-2_15","volume-title":"Model-Driven Engineering Languages and Systems","author":"A Maraee","year":"2014","unstructured":"Maraee, A., Balaban, M.: Removing redundancies and deducing equivalences in UML class diagrams. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 235\u2013251. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11653-2_15"},{"issue":"4","key":"24_CR26","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM TOIS 8(4), 325\u2013362 (1990)","journal-title":"ACM TOIS"},{"issue":"1","key":"24_CR27","first-page":"1","volume":"17","author":"B Neumayr","year":"2016","unstructured":"Neumayr, B., Schuetz, C.G., Jeusfeld, M.A., Schrefl, M.: Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Softw. Syst. Model. 17(1), 1\u201336 (2016)","journal-title":"Softw. Syst. Model."},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-34176-2_4","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A Rossini","year":"2012","unstructured":"Rossini, A., de Lara, J., Guerra, E., Rutle, A., Lamo, Y.: A graph transformation-based semantics for deep metamodelling. In: Sch\u00fcrr, A., Varr\u00f3, D., Varr\u00f3, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 19\u201334. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34176-2_4"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91563-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:38:39Z","timestamp":1710268719000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91563-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319915623","9783319915630"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91563-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise2018.ut.ee","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}