{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:02Z","timestamp":1750220702951,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T00:00:00Z","timestamp":1571529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,20]]},"DOI":"10.1145\/3357766.3359536","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"202-215","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Transactional editing: giving ACID to programmers"],"prefix":"10.1145","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nils","family":"Kurowsky","sequence":"additional","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,20]]},"reference":[{"volume-title":"20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017","year":"2017","key":"e_1_3_2_1_1_1","unstructured":"2017. 20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017 , Austin, TX, USA , September 17-22, 2017 . IEEE Computer Society. http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=8100283. 2017. 20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. IEEE Computer Society. http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=8100283."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2017.12"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2008.24"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025141"},{"volume-title":"In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC. 113-123","author":"Beckert Bernhard","key":"e_1_3_2_1_5_1","unstructured":"Bernhard Beckert , Uwe Keller , and Peter H. Schmitt . 2001. Translating the Object Constraint Language into First-order Predicate Logic . In In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC. 113-123 . Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. 2001. Translating the Object Constraint Language into First-order Predicate Logic. In In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC. 113-123."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568322"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025139"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/566385.566390"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"e_1_3_2_1_10_1","series-title":"Annals of Mathematics Studies","volume-title":"Introduction to Mathematical Logic. Number","author":"Church A.","unstructured":"A. Church . 1996. Introduction to Mathematical Logic. Number Bd. 13 in Annals of Mathematics Studies . Princeton University Press , Princeton . https:\/\/books.google.de\/books?id=JDLQOMKbdScC. A. Church. 1996. Introduction to Mathematical Logic. Number Bd. 13 in Annals of Mathematics Studies. Princeton University Press, Princeton. https:\/\/books.google.de\/books?id=JDLQOMKbdScC."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997374"},{"key":"e_1_3_2_1_12_1","first-page":"199","volume-title":"See [1]","author":"Debreceni Csaba","unstructured":"Csaba Debreceni , G\u00e1bor Bergmann , Istv\u00e1n R\u00e1th , and D\u00e1niel Varr\u00f3 . 2017. Property-Based Locking in Collaborative Modeling , See [1] , 199 - 209 . Csaba Debreceni, G\u00e1bor Bergmann, Istv\u00e1n R\u00e1th, and D\u00e1niel Varr\u00f3. 2017. Property-Based Locking in Collaborative Modeling, See [1], 199-209."},{"volume-title":"Constraint processing","author":"Dechter Rina","key":"e_1_3_2_1_13_1","unstructured":"Rina Dechter . 2003. Constraint processing . Elsevier Morgan Kaufmann , San Francisco . http:\/\/www.elsevier.com\/wps\/find\/bookdescription.agents\/678024\/description. Rina Dechter. 2003. Constraint processing. Elsevier Morgan Kaufmann, San Francisco. http:\/\/www.elsevier.com\/wps\/find\/bookdescription.agents\/678024\/description."},{"key":"e_1_3_2_1_14_1","volume-title":"Navathe","author":"Elmasri Ramez","year":"2017","unstructured":"Ramez Elmasri and Shamkant B . Navathe . 2017 . Fundamentals of Database Systems. Pearson Education, Boston . Ramez Elmasri and Shamkant B. Navathe. 2017. Fundamentals of Database Systems. Pearson Education, Boston."},{"key":"e_1_3_2_1_15_1","unstructured":"Romina Eramo Alfonso Pierantonio and Gianni Rosa. 2016. Approaching Collaborative Modeling as an Uncertainty Reduction Process. In Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) St. Malo France October 4 2016. (CEUR Workshop Proceedings) Henry Muccini Ivano Malavolta Sebastien Gerard and Dimitris S. Kolovos (Eds.) Vol. 1717. CEUR-WS.org 27-34. http:\/\/ceur-ws.org\/Vol-1717\/paper7.pdf.  Romina Eramo Alfonso Pierantonio and Gianni Rosa. 2016. Approaching Collaborative Modeling as an Uncertainty Reduction Process. In Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) St. Malo France October 4 2016. (CEUR Workshop Proceedings) Henry Muccini Ivano Malavolta Sebastien Gerard and Dimitris S. Kolovos (Eds.) Vol. 1717. CEUR-WS.org 27-34. http:\/\/ceur-ws.org\/Vol-1717\/paper7.pdf."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337290"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2664431.2664441"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2245417"},{"key":"e_1_3_2_1_19_1","volume-title":"OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw Syst Model online first","author":"Franconi Enrico","year":"2018","unstructured":"Enrico Franconi , Alessandro Mosca , Xavier Oriol , Guillem Rull , and Ernest Teniente . 2018. OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw Syst Model online first ( 2018 ). Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, and Ernest Teniente. 2018. OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw Syst Model online first (2018)."},{"key":"e_1_3_2_1_20_1","volume-title":"Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo.","author":"Gray Jim","year":"1993","unstructured":"Jim Gray and Andreas Reuter . 1993 . Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo. Jim Gray and Andreas Reuter. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo."},{"key":"e_1_3_2_1_21_1","volume-title":"The evolution of model editors","author":"Gray Jeff","year":"2016","unstructured":"Jeff Gray and Bernhard Rumpe . 2016. The evolution of model editors : browser- and cloud-based solutions. Software & Systems Modeling 15, 2 (01 May 2016 ), 303-305. Jeff Gray and Bernhard Rumpe. 2016. The evolution of model editors: browser- and cloud-based solutions. Software & Systems Modeling 15, 2 (01 May 2016), 303-305."},{"key":"e_1_3_2_1_22_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Gr\u00f6nniger Hans","year":"2009","unstructured":"Hans Gr\u00f6nniger , Jan Oliver Ringert, and Bernhard Rumpe . 2009 . System Model-Based Definition of Modeling Language Semantics. In Formal Techniques for Distributed Systems, David Lee, Ant\u00f3nia Lopes, and Arnd Poetzsch-Heffter (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 152-166. Hans Gr\u00f6nniger, Jan Oliver Ringert, and Bernhard Rumpe. 2009. System Model-Based Definition of Modeling Language Semantics. In Formal Techniques for Distributed Systems, David Lee, Ant\u00f3nia Lopes, and Arnd Poetzsch-Heffter (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 152-166."},{"key":"e_1_3_2_1_23_1","volume-title":"IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. In 30th European Conference on Object-Oriented Programming, ECOOP 2016","volume":"56","author":"Harkes Daco","year":"2016","unstructured":"Daco Harkes , Danny M. Groenewegen , and Eelco Visser . 2016 . IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. In 30th European Conference on Object-Oriented Programming, ECOOP 2016 , July 18-22, 2016, Rome, Italy (LIPIcs), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.) , Vol. 56 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Wadern, 11:1-11:26. Daco Harkes, Danny M. Groenewegen, and Eelco Visser. 2016. IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. In 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy (LIPIcs), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.), Vol. 56. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Wadern, 11:1-11:26."},{"volume-title":"Partial evaluation and automatic program generation","author":"Jones Neil D.","key":"e_1_3_2_1_24_1","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . 1993. Partial evaluation and automatic program generation . Prentice-Hall, Inc. , Upper Saddle River. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491055.2491073"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030397.1030399"},{"key":"e_1_3_2_1_28_1","volume-title":"Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming. CoRR abs\/1703.10862","author":"Mattis Toni","year":"2017","unstructured":"Toni Mattis , Patrick Rein , and Robert Hirschfeld . 2017 . Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming. CoRR abs\/1703.10862 (2017). http:\/\/arxiv.org\/abs\/1703.10862. Toni Mattis, Patrick Rein, and Robert Hirschfeld. 2017. Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming. CoRR abs\/1703.10862 (2017). http:\/\/arxiv.org\/abs\/1703.10862."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276604.3276616"},{"key":"e_1_3_2_1_30_1","first-page":"25","volume-title":"Proceedings of the 8th National Conference on Artificial Intelligence","author":"Mittal Sanjay","year":"1990","unstructured":"Sanjay Mittal and Brian Falkenhainer . 1990 . Dynamic Constraint Satisfaction Problems . In Proceedings of the 8th National Conference on Artificial Intelligence . Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., Howard E. Shrobe, Thomas G. Dietterich, and William R. Swartout (Eds.). AAAI Press \/ The MIT Press, Menlo Park, 25 - 32 . http:\/\/www.aaai.org\/Library\/AAAI\/1990\/aaai90-004.php. Sanjay Mittal and Brian Falkenhainer. 1990. Dynamic Constraint Satisfaction Problems. In Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., Howard E. Shrobe, Thomas G. Dietterich, and William R. Swartout (Eds.). AAAI Press \/ The MIT Press, Menlo Park, 25-32. http:\/\/www.aaai.org\/Library\/AAAI\/1990\/aaai90-004.php."},{"key":"e_1_3_2_1_31_1","volume-title":"Hammer","author":"Omar Cyrus","year":"2019","unstructured":"Cyrus Omar , Ian Voysey , Ravi Chugh , and Matthew A . Hammer . 2019 . Live functional programming with typed holes. PACMPL 3, POPL ( 2019), 14:1-14:32. Cyrus Omar, Ian Voysey, Ravi Chugh, and Matthew A. Hammer. 2019. Live functional programming with typed holes. PACMPL 3, POPL (2019), 14:1-14:32."},{"key":"e_1_3_2_1_32_1","volume-title":"Jonathan Aldrich, and Matthew A. Hammer.","author":"Omar Cyrus","year":"2017","unstructured":"Cyrus Omar , Ian Voysey , Michael Hilton , Joshua Sunshine , Claire Le Goues , Jonathan Aldrich, and Matthew A. Hammer. 2017 . Toward Semantic Foundations for Program Editors. CoRR abs\/1703.08694 (2017). http:\/\/arxiv.org\/abs\/1703.08694. Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, and Matthew A. Hammer. 2017. Toward Semantic Foundations for Program Editors. CoRR abs\/1703.08694 (2017). http:\/\/arxiv.org\/abs\/1703.08694."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2011","author":"Phillips Shaun","year":"2011","unstructured":"Shaun Phillips , Jonathan Sillito , and Robert J. Walker . 2011. Branching and merging: an investigation into current version control practices . In Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2011 , Waikiki, Honolulu, HI, USA , May 21, 2011 , Marcelo Cataldo, Cleidson R. B. de Souza, Yvonne Dittrich, Rashina Hoda, and Helen Sharp (Eds.). ACM, New York City, 9-15. Shaun Phillips, Jonathan Sillito, and Robert J. Walker. 2011. Branching and merging: an investigation into current version control practices. In Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2011, Waikiki, Honolulu, HI, USA, May 21, 2011, Marcelo Cataldo, Cleidson R. B. de Souza, Yvonne Dittrich, Rashina Hoda, and Helen Sharp (Eds.). ACM, New York City, 9-15."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976780"},{"key":"e_1_3_2_1_35_1","volume-title":"Salim","author":"Riehle Dirk","year":"2014","unstructured":"Dirk Riehle , Carsten Kolassa , and Michel A . Salim . 2014 . Developer Belief vs. Reality : The Case of the Commit Size Distribution. CoRR abs\/1408.4644 (2014). arXiv:1408.4644 http:\/\/arxiv.org\/abs\/1408.4644. Dirk Riehle, Carsten Kolassa, and Michel A. Salim. 2014. Developer Belief vs. Reality: The Case of the Commit Size Distribution. CoRR abs\/1408.4644 (2014). arXiv:1408.4644 http:\/\/arxiv.org\/abs\/1408.4644."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.61"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_9"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360596"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136014.3136034"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 2010 ACM Symposium on Document Engineering","author":"Thao Cheng","year":"2010","unstructured":"Cheng Thao and Ethan V. Munson . 2010. Using versioned tree data structure, change detection and node identity for three-way XML merging . In Proceedings of the 2010 ACM Symposium on Document Engineering , Manchester, United Kingdom , September 21-24, 2010 , Apostolos Antonacopoulos, Michael J. Gormish, and Rolf Ingold (Eds.). ACM, New York City, 77-86. Cheng Thao and Ethan V. Munson. 2010. Using versioned tree data structure, change detection and node identity for three-way XML merging. In Proceedings of the 2010 ACM Symposium on Document Engineering, Manchester, United Kingdom, September 21-24, 2010, Apostolos Antonacopoulos, Michael J. Gormish, and Rolf Ingold (Eds.). ACM, New York City, 77-86."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319499.3328232"},{"key":"e_1_3_2_1_42_1","first-page":"63","volume-title":"See [1]","author":"Ulke Bastian","unstructured":"Bastian Ulke , Friedrich Steimann , and Ralf L\u00e4mmel . 2017. Partial Evaluation of OCL Expressions , See [1] , 63 - 73 . Bastian Ulke, Friedrich Steimann, and Ralf L\u00e4mmel. 2017. Partial Evaluation of OCL Expressions, See [1], 63-73."},{"key":"e_1_3_2_1_43_1","volume-title":"Principles of Database Systems","author":"Ullman Jeffrey D.","unstructured":"Jeffrey D. Ullman . 1980. Principles of Database Systems , 1 st Edition. Computer Science Press , Potomac . Jeffrey D. Ullman. 1980. Principles of Database Systems, 1st Edition. Computer Science Press, Potomac.","edition":"1"}],"event":{"name":"SLE '19: 12th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SLE '19"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359536","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357766.3359536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:57Z","timestamp":1750199577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,20]]},"references-count":43,"alternative-id":["10.1145\/3357766.3359536","10.1145\/3357766"],"URL":"https:\/\/doi.org\/10.1145\/3357766.3359536","relation":{},"subject":[],"published":{"date-parts":[[2019,10,20]]},"assertion":[{"value":"2019-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}