{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:36:30Z","timestamp":1742952990881,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":30,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811321849"},{"type":"electronic","value":"9789811321856"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-2185-6_4","type":"book-chapter","created":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T09:29:58Z","timestamp":1547458198000},"page":"95-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bidirectional Transformations for Self-Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Montrieux","sequence":"first","affiliation":[]},{"given":"Naoyasu","family":"Ubayashi","sequence":"additional","affiliation":[]},{"given":"Tianqi","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,15]]},"reference":[{"key":"4_CR1","unstructured":"Acher, M., Collet, P., Fleurey, F., Lahire, P., Moisan, S., Rigault, J.P., et al.: Modeling context and dynamic adaptations with feature models. In: Proceedings of the 4th International Workshop on Models@run.time, Denver (2009)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201908, San Francisco, pp. 407\u2013419. ACM, New York (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Betty H. C. Cheng","year":"2009","unstructured":"Cheng, B.H., Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software engineering for self-adaptive systems. In: Software Engineering for Self-Adaptive Systems: A Research Roadmap, pp. 1\u201326. Springer, Berlin\/Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Colson, K., Dupuis, R., Montrieux, L., Hu, Z., Uchitel, S., Schobbens, P.Y.: Reusable self-adaptation through bidirectional programming. In: SEAMS\u201916: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, Austin (2016)","DOI":"10.1145\/2897053.2897055"},{"key":"4_CR5","first-page":"105","volume-title":"Theory and Practice of Model Transformations. Lecture Notes in Computer Science, no. 7307","author":"J Cunha","year":"2012","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Pacheco, H., Saraiva, J.: Bidirectional transformation of model-driven spreadsheets. In: Hu, Z., de Lara, J. (eds.) Theory and Practice of Model Transformations. Lecture Notes in Computer Science, no. 7307, pp. 105\u2013120. Springer, Berlin\/Heidelberg (2012)"},{"key":"4_CR6","first-page":"260","volume-title":"Theory and Practice of Model Transformations. Lecture Notes in Computer Science, no. 5563","author":"K Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Paige, R.F. (ed.) Theory and Practice of Model Transformations. Lecture Notes in Computer Science, no. 5563, pp. 260\u2013283. Springer, Berlin\/Heidelberg (2009)"},{"key":"4_CR7","volume-title":"A language for specifying security and management policies for distributed systems","author":"N Damianou","year":"2000","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: A language for specifying security and management policies for distributed systems. Department of Computing, Imperial College, Technical Report, London (2000)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: 2012 34th International Conference on Software Engineering (ICSE), Zurich, pp. 573\u2013583 (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"4_CR9","unstructured":"Fischer, S., Hu, Z., Pacheco, H.: \u201cPutback\u201d is the Essence of Bidirectional Programming. Technical Report GRACE-TR 2012-08, National Institute of Informatics (2012)"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-015-5316-8","volume":"58","author":"S Fischer","year":"2015","unstructured":"Fischer, S., Hu, Z., Pacheco, H.: The essence of bidirectional programming. Sci. China Inf. Sci. 58(5), 1\u201321 (2015)","journal-title":"Sci. China Inf. Sci."},{"key":"4_CR11","unstructured":"Foster, J.N.: Bidirectional programming languages. Ph.D. thesis, University of Pensylvania (2009)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"JN Foster","year":"2007","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(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Foster, J., Pierce, B., Zdancewic, S.: Updatable security views. In: 22nd IEEE Computer Security Foundations Symposium, CSF\u201909, Port Jefferson, pp. 60\u201374 (2009)","DOI":"10.1109\/CSF.2009.25"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Fukamachi, T., Ubayashi, N., Hosoai, S., Kamei, Y.: Conquering uncertainty in Java programming. In: Proceedings of the 37th International Conference on Software Engineering \u2013 ICSE\u201915, Florence, vol. 2, pp. 823\u2013824. IEEE Press, Piscataway (2015)","DOI":"10.1109\/ICSE.2015.266"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER\u201910, Santa Fe, pp. 125\u2013128. ACM, New York (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"4_CR16","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, ICFP\u201910, Baltimore, pp. 205\u2013216. ACM, New York (2010)","DOI":"10.1145\/1863543.1863573"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.: GRoundTram: an integrated framework for developing well-behaved bidirectional model transformations. In: 2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), Lawrence, pp. 480\u2013483 (2011)","DOI":"10.1109\/ASE.2011.6100104"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","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":"4_CR19","unstructured":"IBM Corp.: An architectural blueprint for autonomic computing. Technical report, 3rd edn. (2005)"},{"key":"4_CR20","volume-title":"Environment Modeling Based Requirements Engineering for Software Intensive Systems","author":"Z Jin","year":"2018","unstructured":"Jin, Z.: Environment Modeling Based Requirements Engineering for Software Intensive Systems. Elsevier\/Morgan Kaufmann\/HZ Books, Cambridge (2018)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Ko, H.S., Zan, T., Hu, Z.: BiGUL: a formally verified core language for Putback-based bidirectional programming. In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, pp. 61\u201372. ACM, New York (2016)","DOI":"10.1145\/2847538.2847544"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Proceedings of the 5th International Conference on Trustworthy Global Computing, TGC\u201910, Munich, pp. 284\u2013300. Springer (2010)","DOI":"10.1007\/978-3-642-15640-3_19"},{"key":"4_CR23","volume-title":"Concurrency: State Models & Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs, 2nd edn. Wiley, Hoboken (2006)","edition":"2"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Montrieux, L., Hu, Z.: Towards Attribute-Based Authorisation for Bidirectional Programming, pp. 185\u2013196. ACM, Vienna (2015)","DOI":"10.1145\/2752952.2752963"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Pacheco, H., Zan, T., Hu, Z.: BiFluX: a bidirectional functional update language for XML. In: 6th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury (2014)","DOI":"10.1145\/2643135.2643141"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! (pearl). In: POPL 2009, Savannah, pp. 165\u2013176. ACM (2009)","DOI":"10.1145\/1594834.1480904"},{"key":"4_CR27","first-page":"76","volume-title":"Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science, no. 7475","author":"D Weyns","year":"2013","unstructured":"Weyns, D., Schmerl, B., Grassi, V., Malek, S., Mirandola, R., Prehofer, C., Wuttke, J., Andersson, J., Giese, H., G\u00f6schka, K.M.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science, no. 7475, pp. 76\u2013107. Springer, Berlin\/Heidelberg (2013)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, pp. 164\u2013173. ACM (2007)","DOI":"10.1145\/1321631.1321657"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Yu, Y., Lin, Y., Hu, Z., Hidaka, S., Kato, H., Montrieux, L.: Maintaining invariant traceability through bidirectional transformations. In: 2012 34th International Conference on Software Engineering (ICSE), Zurich, pp. 540\u2013550 (2012)","DOI":"10.1109\/ICSE.2012.6227162"},{"key":"4_CR30","unstructured":"Zan, T., Liu, L., Ko, H.S., Hu, Z.: Brul: a putback-based bidirectional transformation library for updatable views. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016. CEUR Workshop Proceedings, vol. 1571, pp. 77\u201389. CEUR-WS.org, Eindhoven (2016)"}],"container-title":["Engineering Adaptive Software Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-2185-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,14]],"date-time":"2019-11-14T04:53:34Z","timestamp":1573707214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-2185-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811321849","9789811321856"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-2185-6_4","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}