{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:07Z","timestamp":1773655927684,"version":"3.50.1"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,5]],"date-time":"2016-04-05T00:00:00Z","timestamp":1459814400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10270-016-0520-6","type":"journal-article","created":{"date-parts":[[2016,4,5]],"date-time":"2016-04-05T07:45:24Z","timestamp":1459842324000},"page":"269-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["An integrated multi-level modeling approach for industrial-scale data interoperability"],"prefix":"10.1007","volume":"17","author":[{"given":"Muzaffar","family":"Igamberdiev","sequence":"first","affiliation":[]},{"given":"Georg","family":"Grossmann","sequence":"additional","affiliation":[]},{"given":"Matt","family":"Selway","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,5]]},"reference":[{"key":"520_CR1","doi-asserted-by":"crossref","unstructured":"Angele, J., Kifer, M., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 45\u201370. Springer, Berlin (2009)","DOI":"10.1007\/978-3-540-92673-3_2"},{"issue":"4","key":"520_CR2","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/s10270-008-0103-2","volume":"8","author":"T Asikainen","year":"2009","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 521\u2013549 (2009)","journal-title":"Softw. Syst. Model."},{"key":"520_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, p. 7. ACM (2012)","DOI":"10.1145\/2448076.2448083"},{"key":"520_CR4","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R.: Level-agnostic designation of model elements. In: Proceedings of ECMFA 2014, volume LNCS 8569, pp. 18\u201334. Springer (2014)","DOI":"10.1007\/978-3-319-09195-2_2"},{"key":"520_CR5","doi-asserted-by":"publisher","unstructured":"Atkinson, C., Gerbig, R., Fritzsche, M.: A multi-level approach to modeling language extension in the enterprise systems domain, information systems, vol. 54, pp. 289\u2013307. Elsevier (2015). doi: 10.1016\/j.is.2015.01.003","DOI":"10.1016\/j.is.2015.01.003"},{"issue":"2","key":"520_CR6","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s10270-013-0384-y","volume":"14","author":"C Atkinson","year":"2013","unstructured":"Atkinson, C., Gerbig, R., Tunjic, C.V.: Enhancing classic transformation languages to support multi-level modeling. Softw. Syst. Model. 14(2), 645\u2013666 (2013)","journal-title":"Softw. Syst. Model."},{"key":"520_CR7","unstructured":"Atkinson, C., Grossmann, G., K\u00fchne, T., de\u00a0Lara, J. (eds). Proceedings of the Workshop on Multi-Level Modelling Co-Located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), volume 1286 of CEUR Workshop Proceedings (2014)"},{"key":"520_CR8","unstructured":"Atkinson, C., Grossmann, G., K\u00fchne, T., de\u00a0Lara, J. (eds). Proceedings of the Workshop on Multi-Level Modelling Co-Located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (2015)"},{"key":"520_CR9","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Kennel, B., Go\u00df, B.: The level-agnostic modeling language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) Software Language Engineering, pp. 266\u2013275. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19440-5_16"},{"key":"520_CR10","unstructured":"Atkinson, C., Kennel, B., Go\u00df, B.: Supporting constructive and exploratory modes of modeling in multi-level ontologies. In: Proceedings of 7th International Workshop on Semantic Web Enabled Software Engineering, Bonn (October 24, 2011) (2011)"},{"issue":"4","key":"520_CR11","doi-asserted-by":"crossref","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 Trans. Model. Comput. Simul. 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"5","key":"520_CR12","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"issue":"3","key":"520_CR13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2008","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345\u2013359 (2008)","journal-title":"Softw. Syst. Model."},{"key":"520_CR14","doi-asserted-by":"crossref","unstructured":"Balaban, M., Kifer, M.: Logic-based model-level software development with F-OML. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model Driven Engineering Languages and Systems, pp. 517\u2013532. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_38"},{"key":"520_CR15","unstructured":"Bock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL reasoners. In: Proceedings of the ARea2008 Workshop, Tenerife, Spain (June 2008)"},{"key":"520_CR16","unstructured":"Burgstaller, F., Steiner, D., Schrefl, M., Gringinger, E., Wilson, S., van\u00a0der Stricht, S.: AIRM-based, fine-grained semantic filtering of notices to airmen. In: Integrated Communication, Navigation, and Surveillance Conference (ICNS), 2015, pp. D3\u2013D1. IEEE (2015)"},{"key":"520_CR17","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML\/OCL models using constraint programming. In: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201907, pp. 547\u2013548, New York, NY, USA, 2007. ACM (2007)"},{"key":"520_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"key":"520_CR19","unstructured":"Calvanese, D., De\u00a0Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: conceptual modeling and reasoning support. In: Cooperative Information Systems, 1998, pp. 280\u2013289. IEEE (1998)"},{"key":"520_CR20","unstructured":"Clark, T., Gonzalez-Perez, C., Henderson-Sellers, B.: A foundation for multi-level modelling. In: MULTI 2014\u2013Multi-Level Modelling Workshop Proceedings, p. 43 (2014)"},{"key":"520_CR21","unstructured":"Daclin, Ni., Mallek-Daclin, S.: Towards a sustainable implementation of interoperability solutions: Bridging the gap between interoperability requirements and solutions. In: Enterprise Interoperability, volume 213 of Lecture Notes in Business Information Processing, pp. 73\u201382. Springer Berlin Heidelberg, (2015)"},{"issue":"1","key":"520_CR22","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1093\/comjnl\/bxs144","volume":"57","author":"J Lara de","year":"2014","unstructured":"de Lara, J., Guerra, E., Cobos, R., Llorena, J.M.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1), 36\u201358 (2014)","journal-title":"Comput. J."},{"issue":"2","key":"520_CR23","first-page":"12","volume":"24","author":"J Lara De","year":"2014","unstructured":"De Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM TOSEM 24(2), 12 (2014)","journal-title":"ACM TOSEM"},{"key":"520_CR24","unstructured":"Demuth, A., Riedl-Ehrenleitner, M., Egyed, A.: Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments. In: MULTI 2014\u2013Multi-Level Modelling Workshop Proceedings, p. 73 (2014)"},{"issue":"2","key":"520_CR25","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"520_CR26","unstructured":"Fiatech. Advancing Interoperability for the Capital Projects Industry: A Vision Paper. Technical report, Fiatech (February 2012)"},{"key":"520_CR27","doi-asserted-by":"crossref","unstructured":"Gallaher, M.P., O\u2019Connor, A.C. Jr. Dettbarn, J.L., Gilday, L.T: Cost Analysis of Inadequate Interoperability in the U.S. Capital Facilities Industry. Technical report, NIST (2004)","DOI":"10.6028\/NIST.GCR.04-867"},{"key":"520_CR28","doi-asserted-by":"crossref","unstructured":"Giachetti, G., Valverde, F., Mar\u00edn, B.: Interoperability for model-driven development: current state and future challenges. In: Sixth International Conference on Research Challenges in Information Science (RCIS), 2012, pp. 1\u201310. IEEE (2012)","DOI":"10.1109\/RCIS.2012.6240445"},{"issue":"1","key":"520_CR29","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/s10270-005-0099-9","volume":"5","author":"C Gonzalez-Perez","year":"2006","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72\u201390 (2006)","journal-title":"Softw. Syst. Model."},{"key":"520_CR30","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/j.infsof.2014.03.003","volume":"56","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56, 821\u2013838 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"520_CR31","unstructured":"Guerra, E., de\u00a0Lara, J.: Towards automating the analysis of integrity constraints in multi-level models. In: MULTI 2014\u2014Multi-Level Modelling Workshop Proceedings, p. 63 (2014)"},{"issue":"4","key":"520_CR32","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1016\/j.jocs.2014.02.009","volume":"5","author":"RA Haraty","year":"2014","unstructured":"Haraty, R.A., Naous, M.F., Mourad, A.: Assuring consistency in mixed models. J. Comput. Sci. 5(4), 653\u2013663 (2014)","journal-title":"J. Comput. Sci."},{"issue":"1","key":"520_CR33","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11\u201321 (2011)","journal-title":"Semant. Web"},{"key":"520_CR34","unstructured":"Igamberdiev, M., Grossmann, G., Stumptner, M.: An implementation of multi-level modelling in F-logic. In: Proceedings of the Workshop on Multi-Level Modelling (MULTI14) Co-Located with MoDELS 2014, volume 1286 of CEUR, pp. 33\u201342 (2014)"},{"key":"520_CR35","unstructured":"ISO. ISO 15926: Industrial automation systems and integration\u2013Integration of life-cycle data for process plants including oil and gas production facilities. Technical report, ISO (2004)"},{"key":"520_CR36","doi-asserted-by":"crossref","unstructured":"Jordan, A., Grossmann, G., Mayer, W., Selway, M., Stumptner, M.: On the application of software modelling principles on ISO 15926. In: Proceedings of the Modelling of the Physical World (MOTPW) Workshop at MODELS 2012. ACM (2012)","DOI":"10.1145\/2491617.2491620"},{"key":"520_CR37","unstructured":"Kantner, D.: Specification and Implementation of a Deep OCL Dialect. Master\u2019s thesis, Department of Business Informatics and Mathematics Chair of Software Engineering (2014)"},{"key":"520_CR38","unstructured":"Kennel, B.: A unified framework for multi-level modeling. PhD thesis, University of Mannheim (2012)"},{"key":"520_CR39","first-page":"4","volume":"2","author":"M Kifer","year":"2013","unstructured":"Kifer, M., Yang, G., Wan, H., Zhao, C., Kuznetsova, P., Liang, S.: Flora-2: user\u2019s manual. Flora 2, 4 (2013)","journal-title":"Flora"},{"key":"520_CR40","doi-asserted-by":"crossref","unstructured":"Kim, S.-K., Carrington, D.: A formal mapping between uml models and object-z specifications. In: ZB 2000: Formal Specification and Development in Z and B, pp. 2\u201321. Springer (2000)","DOI":"10.1007\/3-540-44525-0_2"},{"key":"520_CR41","doi-asserted-by":"crossref","unstructured":"Kleiner, M., Albert, P., B\u00e9zivin, J.: Parsing sbvr-based controlled languages. In: Proceedings 12th International Conference on Model Driven Engineering Languages and Systems MODELS 2009, pp. 122\u2013136, Denver, CO, October (2009)","DOI":"10.1007\/978-3-642-04425-0_10"},{"key":"520_CR42","unstructured":"Klokkhammer, O.: A diagrammatic approach to deep metamodelling. Master\u2019s thesis, Department of Informatics University of Bergen (2014)"},{"key":"520_CR43","doi-asserted-by":"crossref","unstructured":"Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS 2010, volume LNCS 6141, pp. 1\u201320. Springer (2010)","DOI":"10.1007\/978-3-642-13953-6_1"},{"key":"520_CR44","volume-title":"Model-driven engineering with domain-specific meta-modelling languages","author":"J Lara","year":"2013","unstructured":"Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. Springer SoSyM, Berlin (2013)"},{"issue":"12","key":"520_CR45","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., Toval, A.: A systematic review of uml model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"520_CR46","first-page":"145","volume":"25","author":"W Mayer","year":"2011","unstructured":"Mayer, W., Killisperger, P., Stumptner, M., Grossmann, G.: A declarative framework for work process configuration. Artif. Intell. Eng. Design Anal. Manuf. 25(2), 145\u2013165 (2011)","journal-title":"Artif. Intell. Eng. Design Anal. Manuf."},{"issue":"12","key":"520_CR47","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., Toval, A.: A systematic review of uml model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"520_CR48","unstructured":"Mayer, W., Stumptner, M., Grossmann, G., Jordan, A.: Semantic interoperability in the oil and gas industry: a challengingtestbed for semantic technologies. In: AAAI 2013 Fall Symposium on Semantics for Big Data (2013)"},{"key":"520_CR49","unstructured":"MIMOSA. Open Systems Architecture for Enterprise Application Integration (OSA-EAI) 3.2.3. Technical report, MIMOSA, (2012)"},{"key":"520_CR50","unstructured":"Segura A.M., Cuadrado, J.S., De\u00a0Lara, J.: ODaaS: towards the model-driven engineering of open data applications as data services. In: Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International, pp. 335\u2013339 (2014)"},{"key":"520_CR51","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Jeusfeld, M.A., Schrefl, M., Sch\u00e4tz, C.: Dual deep instantiation and its ConceptBase implementation. In: Proceedings of CAiSE 2014, LNCS 8484, pp. 503\u2013517. Springer (2014)","DOI":"10.1007\/978-3-319-07881-6_34"},{"key":"520_CR52","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Schrefl, M., Thalheim, B.: Modeling techniques for multi-level abstraction. In: The Evolution of Conceptual Modeling, pp. 68\u201392. Springer (2011)","DOI":"10.1007\/978-3-642-17505-3_4"},{"issue":"6","key":"520_CR53","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1007\/s00165-014-0307-x","volume":"26","author":"A Rossini","year":"2014","unstructured":"Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Asp. Comput. 26(6), 1115\u20131152 (2014)","journal-title":"Formal Asp. Comput."},{"key":"520_CR54","unstructured":"Sch\u00f6nb\u00f6ck, J., Kusel, A., Etzlstorfer, J., Kapsammer, E., Schwinger, W., Wimmer, M., Wischenbart, M.: CARE\u2014a constraint-based approach for re-establishing conformance relationships. In APCCM 2014, CRPIT vol. 154, pp. 19\u201328. ACS (2014)"},{"key":"520_CR55","doi-asserted-by":"crossref","unstructured":"Selway, M., Mayer, W., Stumptner, M.: Semantic interpretation of requirements through cognitive grammar and configuration. In: Proceedings of Pacific Rim Conference on Artificial Intelligence (PRICAI) 2014, volume LNCS 8862, pp. 496\u2013510. Springer (2014)","DOI":"10.1007\/978-3-319-13560-1_40"},{"key":"520_CR56","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying uml\/ocl models using boolean satisfiability. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE \u201910, pp. 1341\u20131344, 3001 Leuven, Belgium, Belgium, 2010. European Design and Automation Association (2010)"},{"key":"520_CR57","unstructured":"Stumptner, M., Friedrich, G., Haselb\u00f6ck, A.: Generative constraint-based configuration of large technical systems. Artif. Intell. Eng. Design Anal. Manuf. 12(4), 307\u2013320 (1998)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0520-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0520-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0520-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0520-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T05:33:58Z","timestamp":1600407238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0520-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,5]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["520"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0520-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,5]]}}}