{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T20:38:01Z","timestamp":1772224681365,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:00:00Z","timestamp":1550448000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003170","name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","doi-asserted-by":"publisher","award":["20150056"],"award-info":[{"award-number":["20150056"]}],"id":[{"id":"10.13039\/501100003170","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003170","name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","doi-asserted-by":"publisher","award":["20160153"],"award-info":[{"award-number":["20160153"]}],"id":[{"id":"10.13039\/501100003170","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10270-018-00713-w","type":"journal-article","created":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T10:19:23Z","timestamp":1550485163000},"page":"3207-3233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":75,"title":["Multi-view approaches for software and system modelling: a systematic literature review"],"prefix":"10.1007","volume":"18","author":[{"given":"Antonio","family":"Cicchetti","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0401-1036","authenticated-orcid":false,"given":"Federico","family":"Ciccozzi","sequence":"additional","affiliation":[]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,18]]},"reference":[{"issue":"1","key":"713_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-007-0071-y","volume":"7","author":"R France","year":"2008","unstructured":"France, R., Rumpe, B.: Model-based development. Softw. Syst. Model. 7(1), 1\u20132 (2008)","journal-title":"Softw. Syst. Model."},{"key":"713_CR2","doi-asserted-by":"crossref","unstructured":"Shah, A.A., Kerzhner, A.A., Schaefer, D., Paredis, C.J.J.: Multi-view modeling to support embedded systems engineering in SysML. In: MoDELS Workshops, vol. 5765 LNCS, no.\u00a02, pp. 580\u2013601 (2010)","DOI":"10.1007\/978-3-642-17322-6_25"},{"key":"713_CR3","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of Software Engineering (FOSE\u201907)"},{"issue":"2","key":"713_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"713_CR5","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ciccozzi, F., Leveque, T.: Supporting incremental synchronization in hybrid multi-view modelling. In: Procs. of the 5th International Workshop on Multi-paradigm Modeling at MoDELS. Springer (2011)","DOI":"10.1007\/978-3-642-29645-1_11"},{"issue":"1","key":"713_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"key":"713_CR7","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di\u00a0Ruscio, D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: International Conference on Software Language Engineering, pp. 183\u2013202. Springer (2010)","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"713_CR8","doi-asserted-by":"crossref","unstructured":"Bhave, A., Krogh, B.H., Garlan, D., Schmerl, B.: View consistency in architectures for cyber-physical systems. In: Proceedings\u20142011 IEEE\/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011, pp. 151\u2013160. Carnegie Mellon University, Pittsburgh, United States (2011)","DOI":"10.1109\/ICCPS.2011.17"},{"key":"713_CR9","unstructured":"Kitchenham, B.A., Charters, S.: Guidelines for performing systematic literature reviews in software engineering. Keele University and University of Durham, Tech. Rep. EBSE-2007-01 (2007)"},{"key":"713_CR10","first-page":"1","volume":"8","author":"H Bruneliere","year":"2017","unstructured":"Bruneliere, H., Burger, E., Cabot, J., Wimmer, M.: A feature-based survey of model view approaches. Softw. Syst. Model. 8, 1\u201322 (2017)","journal-title":"Softw. Syst. Model."},{"key":"713_CR11","first-page":"329","volume-title":"Inconsistency Management in Software Engineering: Survey and Open Research Issues","author":"G Spanoudakis","year":"2001","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues, pp. 329\u2013380. World Scientific, Singapore (2001)"},{"issue":"12","key":"713_CR12","doi-asserted-by":"publisher","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":"713_CR13","doi-asserted-by":"publisher","unstructured":"Awadid, A., Nurcan, S.: Consistency requirements in business process modeling: a thorough overview. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0629-2","DOI":"10.1007\/s10270-017-0629-2"},{"key":"713_CR14","first-page":"60","volume-title":"On the Role of Scientific Thought","author":"E\u00a0W Dijkstra","year":"1982","unstructured":"Dijkstra, E\u00a0.W.: On the Role of Scientific Thought, pp. 60\u201366. Springer, New York (1982)"},{"key":"713_CR15","unstructured":"ISO\/IEC\/IEEE Systems and software engineering\u2014architecture description. ISO\/IEC\/IEEE 42010:2011(E) (Revision of ISO\/IEC 42010:2007 and IEEE Std 1471-2000), pp. 1\u201346 (2011)"},{"key":"713_CR16","unstructured":"Leff, A., Rayfield, J.T.: Web-application development using the model\/view\/controller design pattern. In: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, ser. EDOC \u201901. Washington, DC, USA. IEEE Computer Society, p. 118 (2001). http:\/\/dl.acm.org\/citation.cfm?id=645344.650161 . Accessed 10 Oct 2018"},{"key":"713_CR17","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"6","author":"P Kruchten","year":"1995","unstructured":"Kruchten, P.: The 4+1 view model of architecture. IEEE Softw. 6, 42\u201350 (1995). https:\/\/doi.org\/10.1109\/52.469759","journal-title":"IEEE Softw."},{"key":"713_CR18","first-page":"66","volume":"3","author":"A Vallecillo","year":"2001","unstructured":"Vallecillo, A., et al.: RM-ODP: the ISO reference model for open distributed processing. DINTEL Ed. Softw. Eng. 3, 66\u201369 (2001)","journal-title":"DINTEL Ed. Softw. Eng."},{"issue":"3","key":"713_CR19","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1147\/sj.263.0276","volume":"26","author":"JA Zachman","year":"1987","unstructured":"Zachman, J.A.: A framework for information systems architecture. IBM Syst. J. 26(3), 276\u2013292 (1987). https:\/\/doi.org\/10.1147\/sj.263.0276","journal-title":"IBM Syst. J."},{"key":"713_CR20","unstructured":"Atkinson, C., Stoll, D., Bostan, P: Supporting view-based development through orthographic software modeling. In: ENASE, pp. 71\u201386 (2009)"},{"issue":"8","key":"713_CR21","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"ACW Finkelstein","year":"1994","unstructured":"Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20(8), 569\u2013578 (1994). https:\/\/doi.org\/10.1109\/32.310667","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"713_CR22","doi-asserted-by":"publisher","first-page":"2049","DOI":"10.1016\/j.infsof.2013.07.010","volume":"55","author":"B Kitchenham","year":"2013","unstructured":"Kitchenham, B., Brereton, P.: A systematic review of systematic review process research in software engineering. Inf. Softw. Technol. 55(12), 2049\u20132075 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"713_CR23","unstructured":"Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering. In: Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, ser. EASE\u201908. Swinton, UK, UK: British Computer Society, pp. 68\u201377 (2008). http:\/\/dl.acm.org\/citation.cfm?id=2227115.2227123 . Accessed 10 Oct 2018"},{"issue":"4","key":"713_CR24","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P Brereton","year":"2007","unstructured":"Brereton, P., Kitchenham, B.A., Budgen, D., Turner, M., Khalil, M.: Lessons from applying the systematic literature review process within the software engineering domain. J. Syst. Softw. 80(4), 571\u2013583 (2007)","journal-title":"J. Syst. Softw."},{"key":"713_CR25","unstructured":"Basili, V.R., Caldiera, G., Rombach, H.D.: The goal question metric approach. In: Encyclopedia of Software Engineering, vol. 2, pp. 528\u2013532. Wiley (1994)"},{"key":"713_CR26","doi-asserted-by":"publisher","unstructured":"Wohlin, C.: Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, ser. EASE \u201914. New York, NY, USA: ACM, pp. 38:1\u201338:10 (2014). https:\/\/doi.org\/10.1145\/2601248.2601268","DOI":"10.1145\/2601248.2601268"},{"key":"713_CR27","doi-asserted-by":"crossref","unstructured":"Ali, N.B., Petersen, K.: Evaluating strategies for study selection in systematic literature studies. In: International Symposium on Empirical Software Engineering and Measurement. ACM (2014)","DOI":"10.1145\/2652524.2652557"},{"key":"713_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"issue":"5","key":"713_CR29","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.infsof.2011.01.004","volume":"53","author":"DS Cruzes","year":"2011","unstructured":"Cruzes, D.S., Dyb\u00e5, T.: Research synthesis in software engineering: a tertiary study. Inf. Softw. Technol. 53(5), 440\u2013455 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"713_CR30","doi-asserted-by":"publisher","DOI":"10.4135\/9781412993883","volume-title":"Quantitative Narrative Analysis","author":"R Franzosi","year":"2010","unstructured":"Franzosi, R.: Quantitative Narrative Analysis, vol. 162. Sage, Thousand Oaks (2010)"},{"issue":"1","key":"713_CR31","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1177\/1356389008097871","volume":"15","author":"M Rodgers","year":"2009","unstructured":"Rodgers, M., Sowden, A., Petticrew, M., Arai, L., Roberts, H., Britten, N., Popay, J.: Testing methodological guidance on the conduct of narrative synthesis in systematic reviews effectiveness of interventions to promote smoke alarm ownership and function. Evaluation 15(1), 49\u201373 (2009)","journal-title":"Evaluation"},{"key":"713_CR32","doi-asserted-by":"crossref","unstructured":"Bork, D., Karagiannis, D.: Model-driven development of multi-view modelling tools the muviemot approach. In: 2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT). IEEE, pp. IS\u201311 (2014)","DOI":"10.5220\/0006811900010001"},{"key":"713_CR33","doi-asserted-by":"crossref","unstructured":"Bruneliere, H., Perez, J.G., Wimmer, M., Cabot, J.: Emf views: A view mechanism for integrating heterogeneous models. In: International Conference on Conceptual Modeling, pp. 317\u2013325. Springer (2015)","DOI":"10.1007\/978-3-319-25264-3_23"},{"key":"713_CR34","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG): The unified modeling language specification version 2.5.1 (2017). https:\/\/www.omg.org\/spec\/UML . Accessed 10 Oct 2018","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"713_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Norwell (2000)"},{"key":"713_CR36","unstructured":"Information Processing Systems\u2014Open Systems Interconnection\u2014LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC International standard 8807:1989, pp. 1\u2013142 (1989)"},{"key":"713_CR37","unstructured":"Object Management Group (OMG): The business process model and notation specification version 2.0 (2011). https:\/\/www.omg.org\/spec\/BPMN\/2.0\/ . Accessed 10 Oct 2018"},{"key":"713_CR38","unstructured":"OMG: MOF 2.0 Query\/View\/Transformation specification (QVT), version 1.3 (2016). http:\/\/www.omg.org\/spec\/QVT\/1.3\/ . Accessed 10 Oct 2018"},{"key":"713_CR39","unstructured":"Object Management Group (OMG): The object constraint language specification version 2.4 (2014). https:\/\/www.omg.org\/spec\/OCL\/ . Accessed 10 Oct 2018"},{"issue":"5","key":"713_CR40","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003). https:\/\/doi.org\/10.1109\/MS.2003.1231146","journal-title":"IEEE Softw."},{"key":"713_CR41","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"key":"713_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2015.03.007","volume":"64","author":"K Petersen","year":"2015","unstructured":"Petersen, K., Vakkalanka, S., Kuzniarz, L.: Guidelines for conducting systematic mapping studies in software engineering: an update. Inf. Softw. Technol. 64, 1\u201318 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"713_CR43","volume-title":"Categorical Data Analysis","author":"A Agresti","year":"2011","unstructured":"Agresti, A., Kateri, M.: Categorical Data Analysis. Springer, Berlin (2011)"},{"key":"713_CR44","unstructured":"Persson, M., T\u00f6rngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., Denil, J.: A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. In: Proceedings of the 11th ACM International Conference on Embedded Software, ser. EMSOFT \u201913, pp. 10:1\u201310:10. IEEE Press, Piscataway, NJ, USA (2013). http:\/\/dl.acm.org\/citation.cfm?id=2555754.2555764 . Accessed 10 Oct 2018"},{"issue":"1","key":"713_CR45","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10270-010-0187-3","volume":"12","author":"Y Xiong","year":"2013","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1), 89\u2013104 (2013)","journal-title":"Softw. Syst. Model."},{"key":"713_CR46","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectional transformations in the large. In: 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 1\u201311 (2017)","DOI":"10.1109\/MODELS.2017.8"},{"key":"713_CR47","volume-title":"A declarative language for preserving consistency of multiple models","author":"J Gleitze","year":"2017","unstructured":"Gleitze, J.: A declarative language for preserving consistency of multiple models. Karlsruher Institut f\u00fcr Technologie (KIT), Karlsruhe (2017)"},{"key":"713_CR48","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: International Conference on Theory and Practice of Model Transformations, pp. 260\u2013283. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"713_CR49","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 49\u201358. ACM (2015)","DOI":"10.1145\/2814251.2814259"},{"issue":"3","key":"713_CR50","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2004.08.038","volume":"127","author":"T Mens","year":"2005","unstructured":"Mens, T., Taentzer, G., Runge, O.: Detecting structural refactoring conflicts using critical pair analysis. Electron. Notes Theor. Comput. Sci. 127(3), 113\u2013128 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"713_CR51","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2004.1","volume":"30","author":"J Andrade","year":"2004","unstructured":"Andrade, J., Ares, J., Garc\u00eda, R., Pazos, J., Rodr\u00edguez, S., Silva, A.: A methodological framework for viewpoint-oriented conceptual modeling. IEEE Trans. Softw. Eng. 30(5), 282\u2013294 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.1","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-00713-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00713-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00713-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T01:05:19Z","timestamp":1662944719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-00713-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,18]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["713"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-00713-w","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,18]]},"assertion":[{"value":"19 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 October 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 December 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}