{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:03:44Z","timestamp":1742936624838,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452308"},{"type":"electronic","value":"9783030452315"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations (Bx). Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over a parameterized space of model transformations seen as functors. We will define a notion of an asymmetric learning delta lens with amendment (ala-lens), and show how ala-lenses can be organized into a symmetric monoidal (sm) category. We also show that sequential and parallel composition of well-behaved (wb) ala-lenses are also wb so that wb ala-lenses constitute a full sm-subcategory of ala-lenses.<\/jats:p>","DOI":"10.1007\/978-3-030-45231-5_10","type":"book-chapter","created":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T10:02:53Z","timestamp":1587117773000},"page":"177-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["General Supervised Learning as Change Propagation with Delta Lenses"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"10_CR1","unstructured":"Abiteboul, S., McHugh, J., Rys, M., Vassalos, V., J. Wiener: Incremental Maintenance for Materialized Views over Semistructured Data. In: Gupta, A., Shmueli, O., Widom, J. (eds.) VLDB. Morgan Kaufmann (1998)"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Anjorin, A.: An introduction to triple graph grammars as an implementation of the delta-lens framework. In: Gibbons, J., Stevens, P. (eds.) Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Lecture Notes in Computer Science, vol. 9715, pp. 29\u201372. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1_2","DOI":"10.1007\/978-3-319-79108-1_2"},{"key":"10_CR3","unstructured":"Anjorin, A., Diskin, Z., Jouault, F., Ko, H., Leblebici, E., Westfechtel, B.: Benchmarx reloaded: A practical benchmark framework for bidirectional transformations. In: Eramo and Johnson [15], pp. 15\u201330, http:\/\/ceur-ws.org\/Vol-1827\/paper6.pdf"},{"key":"10_CR4","unstructured":"Anjorin, A., Leblebici, E., Sch\u00fcrr, A.: 20 years of triple graph grammars: A roadmap for future research. ECEASST 73, (2015)"},{"key":"10_CR5","unstructured":"Anjorin, A., Rose, S., Deckwerth, F., Sch\u00fcrr, A.: Efficient model synchronization with view triple graph grammars. In"},{"key":"10_CR6","unstructured":"Clarke, B.: Internal lenses as functors and cofunctors. In: Pre-proceedings of ACT\u201919, Oxford, 2019. http:\/\/www.cs.ox.ac.uk\/ACT2019\/preproceedings\/BryceClarke.pdf"},{"key":"10_CR7","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: Theory and Practice of Model Transformations, pp. 260\u2013283. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"10_CR8","unstructured":"Diskin, Z.: Compositionality of update propagation: Lax putput. In: Eramo and Johnson [15], pp. 74\u201389, http:\/\/ceur-ws.org\/Vol-1827\/paper12.pdf"},{"key":"10_CR9","unstructured":"Diskin, Z.: General supervised learning as change propagation with delta lenses. CoRR abs\/1911.12904 (2019), http:\/\/arxiv.org\/abs\/1911.12904"},{"key":"10_CR10","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. Journal of System and Software 111, 298\u2013322 (2016)","journal-title":"Journal of System and Software"},{"issue":"5","key":"10_CR11","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s00165-019-00493-0","volume":"31","author":"Z Diskin","year":"2019","unstructured":"Diskin, Z., K\u00f6nig, H., Lawford, M.: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Asp. Comput. 31(5), 611\u2013640 (2019)","journal-title":"Formal Asp. Comput."},{"issue":"6","key":"10_CR12","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. Journal of Object Technology 10(6), 1\u201325 (2011)","journal-title":"Journal of Object Technology"},{"key":"10_CR13","doi-asserted-by":"crossref","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: MODELS, pp. 304\u2013318. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"El-Sayed, M., Rundensteiner, E.A., Mani, M.: Incremental Maintenance of Materialized XQuery Views. In: Liu, L., Reuter, A., Whang, K.Y., Zhang, J. (eds.) ICDE. p. 129. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/ICDE.2006.80","DOI":"10.1109\/ICDE.2006.80"},{"key":"10_CR15","unstructured":"Eramo, R., Johnson, M. (eds.): Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, Bx@ETAPS 2017, Uppsala, Sweden, April 29, 2017, CEUR Workshop Proceedings, vol. 1827. CEUR-WS.org (2017), http:\/\/ceur-ws.org\/Vol-1827"},{"key":"10_CR16","unstructured":"Fong, B., Johnson, M.: Lenses and learners. In: Cheney, J., Ko, H. (eds.) Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. CEUR Workshop Proceedings, vol. 2355, pp. 16\u201329. CEUR-WS.org (2019), http:\/\/ceur-ws.org\/Vol-2355\/paper2.pdf"},{"key":"10_CR17","unstructured":"Fong, B., Spivak, D.I., Tuy\u00e9ras, R.: Backprop as functor: A compositional perspective on supervised learning. In: The 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24\u201327, 2019. pp. 1\u201313. IEEE (2019)"},{"key":"10_CR18","unstructured":"Hedges, J.: From open learners to open games. CoRR abs\/1902.08666 (2019), http:\/\/arxiv.org\/abs\/1902.08666"},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software & Systems Modeling 14(1), 241\u2013269 (2013). https:\/\/doi.org\/10.1007\/s10270-012-0309-1","DOI":"10.1007\/s10270-012-0309-1"},{"key":"10_CR20","unstructured":"Johnson, M., Rosebrugh, R.D.: Unifying set-based, delta-based and edit-based lenses. In: The 5th International Workshop on Bidirectional Transformations, Bx 2016. pp. 1\u201313 (2016), http:\/\/ceur-ws.org\/Vol-1571\/paper_13.pdf"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: Model transformation by-example: A survey of the first wave. In: Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday. pp. 197\u2013215 (2012)","DOI":"10.1007\/978-3-642-28279-9_15"},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., Nakano, K.: Toward bidirectionalization of ATL with GRoundTram. In: Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings. Lecture Notes in Computer Science, vol. 6707, pp. 138\u2013151. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-21732-6_10","DOI":"10.1007\/978-3-642-21732-6_10"},{"key":"10_CR23","unstructured":"Weidmann, N., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A., Leblebici, E.: Incremental bidirectional model transformation with emoflon: Ibex. In"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45231-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,21]],"date-time":"2022-10-21T15:47:59Z","timestamp":1666367279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45231-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452308","9783030452315"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45231-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/fossacs","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"98","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}