{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T16:38:03Z","timestamp":1782319083640,"version":"3.54.5"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319947631","type":"print"},{"value":"9783319947648","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_9","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T13:03:35Z","timestamp":1530968615000},"page":"198-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Model Driven Engineering Approach for Heterogeneous Model Composition"],"prefix":"10.1007","author":[{"given":"Fazle","family":"Rabbi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"9_CR1","unstructured":"Bagdasaryan, A.: Systems theoretic techniques for modeling, control, and decision support in complex dynamic systems. CoRR abs\/1008.0775 (2010)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA 2012, pp. 7:1\u20137:8. ACM, New York (2012)","DOI":"10.1145\/2427048.2427055"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Haber, A., Look, M., Perez, A.N., Nazari, P.M.S., Rumpe, B., V\u00f6lkel, S., Wortmann, A.: Integration of heterogeneous modeling languages via extensible and composable language components. In: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. MODELSWARD 2015, Portugal, pp. 19\u201331. SCITEPRESS - Science and Technology Publications, Lda (2015)","DOI":"10.5220\/0005225000190031"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286, 153\u2013196 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/S0304-3975(01)00369-3","volume":"286","author":"T Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286, 367\u2013475 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Rabbi, F., Kristensen, L.M., Lamo, Y.: Optimizing distributed resource allocation using epistemic game theory: a model-driven engineering approach. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.): Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, 19\u201321 February 2017, Porto, Portugal, pp. 41\u201352. SciTePress (2017)","DOI":"10.5220\/0006121400410052"},{"key":"9_CR7","unstructured":"Rutle, A.: Diagram predicate framework: a formal approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)"},{"key":"9_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-30454-5_3","volume-title":"DPF Workbench: A Diagrammatic Multi-layer Domain Specific (Meta-)Modelling Environment","author":"Y Lamo","year":"2012","unstructured":"Lamo, Y., Wang, X., Mantz, F., MacCaull, W., Rutle, A.: Computer and information science 2012. In: Lee, R. (ed.) DPF Workbench: A Diagrammatic Multi-layer Domain Specific (Meta-)Modelling Environment. Studies in Computational Intelligence, vol. 429, pp. 37\u201352. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30454-5_3"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-72901-3_8","volume-title":"Model Driven Architecture- Foundations and Applications","author":"C Herrmann","year":"2007","unstructured":"Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., V\u00f6lkel, S.: An algebraic view on the semantics of model composition. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 99\u2013113. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72901-3_8"},{"key":"9_CR10","unstructured":"Wang, X.: Towards correct modelling and model transformation in DPF. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2016)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th International Requirements Engineering Conference, RE 2005, pp. 306\u2013315 (2005)","DOI":"10.1109\/RE.2005.8"},{"key":"9_CR12","unstructured":"Favre, J.: Foundations of model (driven) (reverse) engineering: models - episode I: stories of the fidus papyrus and of the solarus. In: B\u00e9zivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, 29 February\u20135 March 2004, vol. 04101. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2004)"},{"key":"9_CR13","unstructured":"Favre, J.M.: Foundations of meta-pyramids: languages vs. metamodels - episode ii: story of thotus the baboon1. In: Bezivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, no. 04101. Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2005)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Favre, J.M., NGuyen, T.: Towards a megamodel to model software evolution through transformations. In: Electronic Notes in Theoretical Computer Science, vol. 127, pp. 59\u201374 (2005). Proceedings of the Workshop on Software Evolution through Transformations: Model-Based vs. Implementation-Level Solutions (SETra 2004) (2004)","DOI":"10.1016\/j.entcs.2004.08.034"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability. MDI 2010, pp. 42\u201351. ACM, New York (2010)","DOI":"10.1145\/1866272.1866279"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92\u2013165. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18023-1_3"},{"key":"9_CR17","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-87405-8_12","volume-title":"Graph Transformations","author":"L Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Embedding and confluence of graph transformations with negative application conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 162\u2013177. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_12"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Rabbi, F., Lamo, Y., Yu, I.C.: Towards a categorical approach for meta-modelling epistemic game theory. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. MODELS 2016, pp. 57\u201364. ACM, New York (2016)","DOI":"10.1145\/2976767.2976771"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1177\/0272989X10393976","volume":"31","author":"PKJ Han","year":"2011","unstructured":"Han, P.K.J., Klein, W.M.P., Arora, N.K.: Varieties of uncertainty in health care. Med. Decis. Making 31, 828\u2013838 (2011). PMID: 22067431","journal-title":"Med. Decis. Making"},{"key":"9_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511844072","volume-title":"Epistemic Game Theory: Reasoning and Choice","author":"A Perea","year":"2012","unstructured":"Perea, A.: Epistemic Game Theory: Reasoning and Choice. Cambridge University Press, Cambridge (2012)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"A Useful Four-Valued Logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: Modern uses of multiple-valued logic. In: Dunn, J.M., Epstein, G. (eds.) A Useful Four-Valued Logic, vol. 2, pp. 5\u201337. Springer, Netherlands, Dordrecht (1977). https:\/\/doi.org\/10.1007\/978-94-010-1161-7_2"},{"key":"9_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/logcom\/1.1.41","volume":"1","author":"ML Ginsberg","year":"1990","unstructured":"Ginsberg, M.L.: Bilattices and modal operators. J. Log. Comput. 1, 41\u201369 (1990)","journal-title":"J. Log. Comput."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: iVuBlender: a tool for merging incomplete and inconsistent views. In: 13th IEEE International Conference on Requirements Engineering (RE 2005), pp. 453\u2013454 (2005)","DOI":"10.1109\/RE.2005.35"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability. MDI 2010, pp. 42\u201351. ACM, New York (2010)","DOI":"10.1145\/1866272.1866279"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-319-50230-4_21","volume-title":"Software Technologies: Applications and Foundations","author":"Z Diskin","year":"2016","unstructured":"Diskin, Z., K\u00f6nig, H.: Incremental consistency checking of heterogeneous multimodels. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 274\u2013288. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-50230-4_21"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 221\u2013230 (2007)","DOI":"10.1109\/RE.2007.18"},{"key":"9_CR28","doi-asserted-by":"publisher","unstructured":"K\u00f6nig, H., Diskin, Z.: Advanced local checking of global consistency in heterogeneous multimodeling. In: Wasowski, A., L\u00f6nn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 19\u201335. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_2","DOI":"10.1007\/978-3-319-42061-5_2"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-319-02654-1_18","volume-title":"Software Language Engineering","author":"Z Diskin","year":"2013","unstructured":"Diskin, Z., Kokaly, S., Maibaum, T.: Mapping-aware megamodeling: design patterns and laws. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 322\u2013343. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-02654-1_18"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-33666-9_11","volume-title":"Model Driven Engineering Languages and Systems","author":"J-M Favre","year":"2012","unstructured":"Favre, J.-M., L\u00e4mmel, R., Varanovich, A.: Modeling the linguistic architecture of software products. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 151\u2013167. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_11"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T16:52:01Z","timestamp":1751734321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}