{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T18:34:44Z","timestamp":1760985284480},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,1,15]],"date-time":"2015-01-15T00:00:00Z","timestamp":1421280000000},"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":[[2016,7]]},"DOI":"10.1007\/s10270-014-0450-0","type":"journal-article","created":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T04:14:34Z","timestamp":1421208874000},"page":"907-928","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":47,"title":["Feature-based classification of bidirectional transformation approaches"],"prefix":"10.1007","volume":"15","author":[{"given":"Soichiro","family":"Hidaka","sequence":"first","affiliation":[]},{"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,15]]},"reference":[{"key":"450_CR1","unstructured":"Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Complex attribute manipulation in tggs with constraint-based programming techniques. ECEASST 49, (2012). First International Workshop on Bidirectional Transformations (BX 2012)"},{"key":"450_CR2","unstructured":"Antkiewicz, M., Czarnecki, K.: Design space of heterogeneous synchronization. Generative and Transformational Techniques in Software Engineering II pp. 3\u201346 (2007). http:\/\/www.springerlink.com\/index\/j166jvx06r50k776.pdf"},{"issue":"4","key":"450_CR3","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6(4), 557\u2013575 (1981)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"450_CR4","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/s10270-006-0045-5","volume":"6","author":"SM Becker","year":"2007","unstructured":"Becker, S.M., Herold, S., Lohmann, S., Westfechtel, B.: A graph-based algorithm for consistency maintenance in incremental and interactive integration tools. Softw. Syst. Model. 6(3), 287\u2013315 (2007)","journal-title":"Softw. Syst. Model."},{"key":"450_CR5","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: POPL \u201908: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 407\u2013419 (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"450_CR6","unstructured":"Braun, P., Marschall, F.: BOTL: the bidirectional object oriented transformation language. Tech. Rep. TUM-I0307, Technische Universit\u00e4t M\u00fcnchen (2003)"},{"key":"450_CR7","doi-asserted-by":"publisher","unstructured":"Braun, P., Marschall, F.: Transforming object oriented models with BOTL. Electron. Notes Theor. Comput. Sci. 72(3), 103\u2013117 (2003). doi: 10.1016\/S1571-0661(04)80615-7 . GT-VMT\u20192002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)","DOI":"10.1016\/S1571-0661(04)80615-7"},{"issue":"1","key":"450_CR8","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/s007780050084","volume":"9","author":"P Buneman","year":"2000","unstructured":"Buneman, P., Fernandez, M.F., Suciu, D.: UnQL: a query language and algebra for semistructured data based on structural recursion. VLDB J. 9(1), 76\u2013110 (2000)","journal-title":"VLDB J."},{"key":"450_CR9","doi-asserted-by":"publisher","unstructured":"B\u00fcttner, F., Cabot, J., Gogolla, M.: On validation of ATL transformation rules by transformation models. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa p. 1 (2011). doi: 10.1145\/2095654.2095666","DOI":"10.1145\/2095654.2095666"},{"key":"450_CR10","unstructured":"Bzivin, J., Kurtev, I.: Model-based technology integration with the technical space concept. In: Proceedings of the Metainformatics Symposium, Springer-Verlag. Springer, Berlin (2005)"},{"key":"450_CR11","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Z\u00fcrich, Switzerland, June 29\u201330, 2009: Proceedings, vol. 5563, pp. 260\u2013283. Springer, New York (2009). doi: 10.1007\/978-3-642-02408-5","DOI":"10.1007\/978-3-642-02408-5"},{"issue":"3","key":"450_CR12","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006). doi: 10.1147\/sj.453.0621","journal-title":"IBM Syst. J."},{"issue":"3","key":"450_CR13","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"7","author":"U Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.A.: On the correct translation of update operations on relational views. ACM Trans. Database Syst. 7(3), 381\u2013416 (1982)","journal-title":"ACM Trans. Database Syst."},{"key":"450_CR14","unstructured":"Del Fabro, M., B\u00e9zivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1\u00e8res Journ\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (2005). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.108.1294"},{"key":"450_CR15","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Maibaum, T.S.E.: Category theory and model-driven engineering: from formal semantics to design patterns and beyond. In: Golas, U., Soboll, T. (eds.) ACCAT, EPTCS, vol. 93, pp. 1\u201321 (2012)","DOI":"10.4204\/EPTCS.93.1"},{"key":"450_CR16","doi-asserted-by":"publisher","unstructured":"Diskin, Z., Wider, A., Gholizadeh, H., Czarnecki, K.: Towards a rational taxonomy for increasingly symmetric model synchronization. In: Di Ruscio, D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 8568, pp. 57\u201373. Springer International Publishing (2014). doi: 10.1007\/978-3-319-08789-4_5","DOI":"10.1007\/978-3-319-08789-4_5"},{"issue":"6","key":"450_CR17","first-page":"1","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011)","journal-title":"J. Object Technol."},{"key":"450_CR18","doi-asserted-by":"publisher","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6981, pp. 304\u2013318. Springer, Berlin (2011). doi: 10.1007\/978-3-642-24485-8_22","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"450_CR19","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Fundamental Approaches to Software Engineering, pp. 72\u201386 (2007). http:\/\/www.springerlink.com\/index\/D3298714G2112360.pdf"},{"key":"450_CR20","doi-asserted-by":"publisher","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29 (2007). doi: 10.1145\/1232420.1232424","DOI":"10.1145\/1232420.1232424"},{"issue":"1","key":"450_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2008","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2008). doi: 10.1007\/s10270-008-0089-9","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"450_CR22","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing Query\/View\/Transformation with Triple Graph Grammars. Softw. Syst. Model. 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model."},{"key":"450_CR23","doi-asserted-by":"publisher","unstructured":"Guerra, E., Lara, J., Orejas, F.: Pattern-based model-to-model transformation: handling attribute conditions. In: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations, ICMT \u201909, pp. 83\u201399. Springer, Berlin (2009). doi: 10.1007\/978-3-642-02408-5_7","DOI":"10.1007\/978-3-642-02408-5_7"},{"key":"450_CR24","doi-asserted-by":"publisher","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201911, pp. 668\u2013682. Springer, Berlin (2011). doi: 10.1007\/978-3-642-24485-8_49 .","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"450_CR25","doi-asserted-by":"crossref","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: definitions for round-trip engineering. In: Proceedings of the 1st International Conference on Theory and Practice of Model Transformations, ICMT \u201908, pp. 31\u201345. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_3"},{"key":"450_CR26","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K.: Bidirectionalizing graph transformations. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, pp. 205\u2013216. ACM (2010). http:\/\/portal.acm.org\/citation.cfm?id=1863573","DOI":"10.1145\/1863543.1863573"},{"key":"450_CR27","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Symmetric lenses. In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201911, pp. 371\u2013384. ACM, New York (2011). doi: 10.1145\/1926385.1926428","DOI":"10.1145\/1926385.1926428"},{"key":"450_CR28","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Edit lenses. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201912, pp. 495\u2013508. ACM, New York (2012). doi: 10.1145\/2103656.2103715","DOI":"10.1145\/2103656.2103715"},{"key":"450_CR29","doi-asserted-by":"crossref","unstructured":"Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: PEPM \u201904: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 178\u2013189. ACM Press, New York (2004)","DOI":"10.1145\/1014007.1014025"},{"issue":"1\u20132","key":"450_CR30","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10990-008-9025-5","volume":"21","author":"Z Hu","year":"2008","unstructured":"Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. High.-Order Symb. Comput. 21(1\u20132), 89\u2013118 (2008)","journal-title":"High.-Order Symb. Comput."},{"issue":"1","key":"450_CR31","first-page":"42","volume":"1","author":"Z Hu","year":"2011","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.F.: Bidirectional transformation \u201dbx\u201d (dagstuhl seminar 11031). Dagstuhl Rep. 1(1), 42\u201367 (2011)","journal-title":"Dagstuhl Rep."},{"issue":"1","key":"450_CR32","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/2007206.2007217","volume":"40","author":"Z Hu","year":"2011","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.F.: Dagstuhl seminar on bidirectional transformations (bx). SIGMOD Rec. 40(1), 35\u201339 (2011)","journal-title":"SIGMOD Rec."},{"key":"450_CR33","doi-asserted-by":"crossref","unstructured":"Jacobs, F.R, Weston Jr., F.C.: Enterprise resource planning (ERP)\u2014a brief history. J. Oper. Manag. 25(2), 357\u2013363 (2007)","DOI":"10.1016\/j.jom.2006.11.005"},{"key":"450_CR34","doi-asserted-by":"publisher","unstructured":"Jakob, J., K\u00f6nigs, A., Sch\u00fcrr, A.: Non-materialized model view specification with Triple Graph Grammars. In: Proceedings of the Third International Conference on Graph Transformations, ICGT\u201906, pp. 321\u2013335. Springer, Berlin (2006). doi: 10.1007\/11841883_23","DOI":"10.1007\/11841883_23"},{"key":"450_CR35","unstructured":"Johnson, M., Rosebrugh, R.D.: Lens put-put laws: monotonic and mixed. ECEASST 49 (2012). First International Workshop on Bidirectional Transformations (BX 2012)"},{"key":"450_CR36","doi-asserted-by":"publisher","unstructured":"Jouault, F., B\u00e9zivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, p. 254. ACM, New York (2006). doi: 10.1145\/1173706.1173744","DOI":"10.1145\/1173706.1173744"},{"key":"450_CR37","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep., DTIC Document (1990)","DOI":"10.21236\/ADA235785"},{"key":"450_CR38","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Th\u00fcm, T., Saake, G., Feigenspan, J., Leich, T., Wielgorz, F., Apel, S.: FeatureIDE: tool framework for feature-oriented software development. In: Proceedings of the 31th International Conference on Software Engineering (ICSE), pp. 611\u2013614. IEEE Computer Society (2009). Formal Demonstration Paper","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"450_CR39","unstructured":"Keller, A.M.: Choosing a view update translator by dialog at view definition time. In: Proceedings of the 12th International Conference on Very Large Data Bases, VLDB \u201986, pp. 467\u2013474. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1986). http:\/\/www.sigmod.org\/publications\/dblp\/db\/conf\/vldb\/Keller86.html"},{"key":"450_CR40","unstructured":"K\u00f6nigs, A.: Model transformation with Triple Graph Grammars. In: Model Transformations in Practice Satellite Workshop of MODELS (2005). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.113.2894&rep=rep1&type=pdf"},{"key":"450_CR41","unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012). http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/706 . First International Workshop on Bidirectional Transformations (BX 2012)"},{"key":"450_CR42","unstructured":"L\u00e4mmel, R.: Coupled software transformations (Extended Abstract). In: First International Workshop on Software Evolution Transformations (SET 2004), pp. 31\u201335 (2004). http:\/\/post.queensu.ca\/~zouy\/files\/set-2004.pdf#page=38"},{"key":"450_CR43","doi-asserted-by":"publisher","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE\u201913, pp. 297\u2013311. Springer, Berlin (2013). doi: 10.1007\/978-3-642-37057-1_22","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"450_CR44","unstructured":"Marschall, F., Braun, P.: Model transformations for the MDA with BOTL. In: Rensink, A. (ed.) Model Driven Architecture: Foundations and Applications, CTIT Technical Report, vol. TR-CTIT-03-27, pp. 25\u201336. University of Twente (2003)"},{"key":"450_CR45","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: ICFP 2007, pp. 47\u201358 (2007)","DOI":"10.1145\/1291151.1291162"},{"key":"450_CR46","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998). http:\/\/www.kestrel.edu\/home\/people\/meertens\/"},{"key":"450_CR47","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006). http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066106001435","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"450_CR48","unstructured":"Microsoft: Microsoft BizTalk Server. http:\/\/www.microsoft.com\/biztalk\/"},{"key":"450_CR49","unstructured":"Nakano, K., Hidaka, S., Hu, Z., Inaba, K., Kato, H.: Simulation-based graph schema for view updatability checking of graph queries. Tech. Rep. GRACE-TR11-01, GRACE Center, National Institute of Informatics (2011)"},{"key":"450_CR50","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Version 1.0 (2008). http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"450_CR51","doi-asserted-by":"publisher","unstructured":"Petter, A., Behring, A., M\u00fchlh\u00e4user, M.: Solving constraints in model transformations. In: Paige, R. (ed.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 5563, pp. 132\u2013147. Springer, Berlin (2009). doi: 10.1007\/978-3-642-02408-5_10","DOI":"10.1007\/978-3-642-02408-5_10"},{"key":"450_CR52","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Matragkas, N., Kolovos, D.S., Paige, R.F.: A feature model for model-to-text transformation languages. In: Proceedings of the 4th International Workshop on Modeling in Software Engineering (MiSE), pp. 57\u201363 (2012)","DOI":"10.1109\/MISE.2012.6226015"},{"key":"450_CR53","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG \u201994, Herrsching, Germany, Lecture Notes in Computer Science, vol. 903, pp. 151\u2013163. Springer, Berlin (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"450_CR54","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Lecture Notes in Computer Science, vol. 5235, pp. 408\u2013424. Springer, Berlin (2008). http:\/\/www.springerlink.com\/index\/d27135233t815525.pdf","DOI":"10.1007\/978-3-540-88643-3_10"},{"issue":"1","key":"450_CR55","doi-asserted-by":"crossref","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":"450_CR56","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model transformation by graph transformation: a comparative study. In: Proceedings of Workshop Model Transformation in Practice, Montego Bay, Jamaica. Citeseer (2005). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.97.2827&rep=rep1&type=pdf"},{"key":"450_CR57","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! (pearl). In: POPL \u201909: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 165\u2013176. ACM, New York (2009)","DOI":"10.1145\/1594834.1480904"},{"key":"450_CR58","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J., Hu, Z., Matsuda, K., Wang, M.: Combining syntactic and semantic bidirectionalization. In: ACM SIGPLAN International Conference on Functional Programming, pp. 181\u2013192. ACM (2010)","DOI":"10.1145\/1863543.1863571"},{"key":"450_CR59","doi-asserted-by":"publisher","unstructured":"Wang, M., Gibbons, J., Wu, N.: Incremental updates for efficient bidirectional transformations. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP \u201911, pp. 392\u2013403. ACM, New York (2011). doi: 10.1145\/2034773.2034825","DOI":"10.1145\/2034773.2034825"},{"key":"450_CR60","doi-asserted-by":"publisher","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering\u2014ASE \u201907 p. 164 (2007). doi: 10.1145\/1321631.1321657 .","DOI":"10.1145\/1321631.1321657"},{"key":"450_CR61","doi-asserted-by":"publisher","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Proceedings of the 5th Conference on Computing Frontiers, CF \u201908, pp. 43\u201354. ACM, New York (2008). doi: 10.1145\/1366230.1366239","DOI":"10.1145\/1366230.1366239"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0450-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0450-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0450-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T17:51:00Z","timestamp":1566237060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0450-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,15]]},"references-count":61,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["450"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0450-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,15]]}}}