{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:24:34Z","timestamp":1791231874997,"version":"4.1.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000848","name":"University of Edinburgh","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000848","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1007\/s10270-019-00736-x","type":"journal-article","created":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:25:57Z","timestamp":1559121957000},"page":"39-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Maintaining consistency in networks of models: bidirectional transformations in the large"],"prefix":"10.1007","volume":"19","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"issue":"3","key":"736_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.22152\/programming-journal.org\/2018\/2\/7","volume":"2","author":"A Anjorin","year":"2018","unstructured":"Anjorin, A., Yigitbas, E., Leblebici, E., Sch\u00fcrr, A., Lauder, M., Witte, M.: Description languages for consistency management scenarios based on examples from the industry automation domain. Program. J. 2(3), 7 (2018)","journal-title":"Program. J."},{"issue":"1\/2","key":"736_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00210-2","volume":"140","author":"F Bacchus","year":"2002","unstructured":"Bacchus, F., Chen, X., van Beek, P., Walsh, T.: Binary vs. non-binary constraints. Artif. Intell. 140(1\/2), 1\u201337 (2002)","journal-title":"Artif. Intell."},{"key":"736_CR3","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of the OOPSLA\/GPCE: Best Practices for Model-Driven Software Development workshop, 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2004)"},{"issue":"3","key":"736_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.csi.2011.10.015","volume":"35","author":"EA Boiten","year":"2013","unstructured":"Boiten, E.A., Derrick, J.: From ODP viewpoint consistency to integrated formal methods. Comput. Stand. Interfaces 35(3), 269\u2013276 (2013)","journal-title":"Comput. Stand. Interfaces"},{"key":"736_CR5","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Gadducci, F., Heindel, T.: Parallel and sequential independence for borrowed contexts. In: International Conference on Graph Transformations (ICGT\u201908), Lecture Notes in Computer Science, vol. 5214, Springer, pp. 226\u2013241 (2008)","DOI":"10.1007\/978-3-540-87405-8_16"},{"key":"736_CR6","doi-asserted-by":"crossref","unstructured":"Boubakir, M., Chaoui, A.: A pairwise approach for model merging. In: Modelling and Implementation of Complex Systems (MISC\u201916), Springer, pp. 327\u2013340 (2016)","DOI":"10.1007\/978-3-319-33410-3_23"},{"issue":"1","key":"736_CR7","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.5381\/jot.2017.16.1.a3","volume":"16","author":"J Cheney","year":"2017","unstructured":"Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. J. Object Technol. 16(1), 3:1\u201331 (2017)","journal-title":"J. Object Technol."},{"key":"736_CR8","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ciccozzi, F., Pierantonio, A.: Multi-view approaches for software and system modelling. In: Software and System Modeling (2019)","DOI":"10.1007\/s10270-018-00713-w"},{"key":"736_CR9","unstructured":"Cleve, A., Kindler, E., Stevens, P., Zaytsev, V.: Report from Dagstuhl seminar 18491, multidirectional transformations and synchronisations. Dagstuhl Reports vol. 8, p. 12 (2019)"},{"key":"736_CR10","unstructured":"Cuadrado, J.S., Guerra, E., de\u00a0Lara, J.: Quick fixing ATL model transformations. In: ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201915), IEEE Computer Society, pp. 146\u2013155 (2015)"},{"key":"736_CR11","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, CUP (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"736_CR12","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.jss.2015.06.003","volume":"111","author":"Z Diskin","year":"2016","unstructured":"Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A three-dimensional taxonomy for bidirectional model synchronization. J. Syst. Softw. 111, 298\u2013322 (2016)","journal-title":"J. Syst. Softw."},{"key":"736_CR13","unstructured":"Garcia, M.: Bidirectional synchronization of multiple views of software models. In: Workshop on Domain-Specific Languages (DSML\u201908), CEUR Workshop Proceedings, vol. 324, pp. 7\u201319 (2008)"},{"key":"736_CR14","unstructured":"Hebig, R., Giese, H., Batoulis, K., Langer, P., Farahani, A.Z., Yao, G., Wolowyk, M.: Development of AUTOSAR Standard Documents at Carmeq GmbH: A Case Study, Universit\u00e4tsverlag Potsdam (2015)"},{"issue":"4","key":"736_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-006-0016-x","volume":"5","author":"A K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: MDI: a rule-based multi-document and tool integration approach. Softw. Syst. Model. 5(4), 349\u2013368 (2006)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"736_CR16","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/j.infsof.2007.04.003","volume":"50","author":"K Lano","year":"2008","unstructured":"Lano, K.: Constraint-driven development. Inf. Softw. Technol. 50(5), 406\u2013423 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"736_CR17","unstructured":"Lano, K., Tehrani, S.Y.: Verified bidirectional transformations by construction. In: Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation (PAME\/VOLT\u201916), CEUR Workshop Proceedings, vol. 1693, CEUR-WS.org, pp. 28\u201337 (2016)"},{"key":"736_CR18","volume-title":"Linear and Nonlinear Programming","author":"DC Luenberger","year":"1984","unstructured":"Luenberger, D.C.: Linear and Nonlinear Programming. Addison Wesley, Boston (1984)"},{"key":"736_CR19","volume-title":"Distributed Algorithms","author":"N Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Elsevier, Amsterdam (1996)"},{"issue":"3","key":"736_CR20","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10270-014-0437-x","volume":"15","author":"N Macedo","year":"2016","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3), 783\u2013810 (2016)","journal-title":"Softw. Syst. Model."},{"key":"736_CR21","unstructured":"Macedo, N., Cunha, A., Pacheco, H.: Towards a framework for multidirectional model transformations. In: 3rd International Worshop on Bidirectional Transformations (Bx\u201914), CEUR Workshop Proceedings, vol. 1133, CEUR-WS.org, pp. 71\u201374 (2014)"},{"key":"736_CR22","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: International Conference on Functional Programming (ICFP\u201907), ACM, pp. 47\u201358 (2007)","DOI":"10.1145\/1291220.1291162"},{"key":"736_CR23","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Wang, M.: Applicative bidirectional programming with lenses. In: International Conference on Functional Programming (ICFP\u201915), ACM, pp. 62\u201374 (2015)","DOI":"10.1145\/2858949.2784750"},{"issue":"2","key":"736_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh, B., Easterbrook, S.M., Russo, A.: Making inconsistency respectable in software development. J. Syst. Softw. 58(2), 171\u2013180 (2001)","journal-title":"J. Syst. Softw."},{"key":"736_CR25","unstructured":"OMG.: Meta object facility version 2.5.1. OMG document formal\/16-11-01 (2016). \nhttp:\/\/www.omg.org"},{"key":"736_CR26","unstructured":"OMG.: MOF2.0 query\/view\/transformation (QVT) version 1.3. OMG document formal\/2016-06-03 (2016). \nhttp:\/\/www.omg.org"},{"key":"736_CR27","doi-asserted-by":"crossref","unstructured":"Plump, D.: Modular termination of graph transformation. In: Graph Transformation, Specifications, and Nets, Lecture Notes in Computer Science, vol. 10800, Springer, pp. 231\u2013244 (2018)","DOI":"10.1007\/978-3-319-75396-6_13"},{"key":"736_CR28","unstructured":"Rossi, F., Petrie, C.J., Dhar, V.: On the equivalence of constraint satisfaction problems. In: 9th European Conference on Artificial Intelligence (ECAI \u201990), pp. 550\u2013556 (1990)"},{"key":"736_CR29","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: International Conference on Graph Transformations (ICGT\u201908), LNCS, vol. 5214, Springer, pp. 411\u2013425 (2008)","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"736_CR30","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: Graph Transformations and Model-Driven Engineering, LNCS, vol. 5765, Springer, pp. 580\u2013601 (2010)","DOI":"10.1007\/978-3-642-17322-6_25"},{"key":"736_CR31","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectionally tolerating inconsistency: Partial transformations. In: Gnesi, S., Rensink, A. (eds.) Fundamental Aspects of Software Engineering (FASE\u201914), LNCS, vol. 8411, Springer, pp. 32\u201346 (2014)","DOI":"10.1007\/978-3-642-54804-8_3"},{"key":"736_CR32","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectional transformations in the large. In: ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201917), IEEE, pp. 1\u201311 (2017)","DOI":"10.1109\/MODELS.2017.8"},{"key":"736_CR33","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Towards sound, optimal, and flexible building from megamodels. In: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201918), ACM (2018)","DOI":"10.1145\/3239372.3239378"},{"key":"736_CR34","doi-asserted-by":"crossref","unstructured":"Trollmann, F., Albayrak, S.: Extending model to model transformation results from triple graph grammars to multiple models. In: International Conference on Model Transformations (ICMT\u201915), LNCS, vol. 9152, Springer, pp. 214\u2013229 (2015)","DOI":"10.1007\/978-3-319-21155-8_16"},{"key":"736_CR35","doi-asserted-by":"crossref","unstructured":"Trollmann, F., Albayrak, S.: Extending model synchronization results from triple graph grammars to multiple models. In: International Conference on Model Transformations (ICMT\u201916), LNCS, vol. 9765, Springer, pp. 91\u2013106 (2016)","DOI":"10.1007\/978-3-319-42064-6_7"},{"key":"736_CR36","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE\u201909), ACM, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"issue":"1","key":"736_CR37","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., Zhenjiang, H., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1), 89\u2013104 (2013)","journal-title":"Softw. Syst. Model."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00736-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T23:05:05Z","timestamp":1590620705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00736-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,29]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["736"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00736-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,29]]},"assertion":[{"value":"15 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 May 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}