{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:39:29Z","timestamp":1782877169586,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"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":[[2016,10,19]]},"DOI":"10.1145\/2983990.2984000","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T11:58:54Z","timestamp":1476964734000},"page":"328-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Asserting reliable convergence for configuration management scripts"],"prefix":"10.1145","author":[{"given":"Oliver","family":"Hanappi","sequence":"first","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Waldemar","family":"Hummer","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Schahram","family":"Dustdar","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.01.040"},{"key":"e_1_3_2_1_2_1","volume-title":"Finite Transition Systems: Semantics of Communicating Systems","author":"Arnold A.","year":"1994","unstructured":"A. Arnold . Finite Transition Systems: Semantics of Communicating Systems . Prentice Hall , 1994 . A. Arnold. Finite Transition Systems: Semantics of Communicating Systems. Prentice Hall, 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/103418.103441"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(98)00333-1"},{"key":"e_1_3_2_1_5_1","volume-title":"CFEngine: a site configuration engine. Computing Systems, 8(3)","author":"Burgess M.","year":"1995","unstructured":"M. Burgess . CFEngine: a site configuration engine. Computing Systems, 8(3) , 1995 . M. Burgess. CFEngine: a site configuration engine. Computing Systems, 8(3), 1995."},{"key":"e_1_3_2_1_6_1","volume-title":"Modeling Next Generation Configuration Management Tools. In 20th Int. Conference on Large Installation System Administration (LISA)","author":"Burgess M.","year":"2006","unstructured":"M. Burgess and A. Couch . Modeling Next Generation Configuration Management Tools. In 20th Int. Conference on Large Installation System Administration (LISA) , 2006 . M. Burgess and A. Couch. Modeling Next Generation Configuration Management Tools. In 20th Int. Conference on Large Installation System Administration (LISA), 2006."},{"key":"e_1_3_2_1_7_1","unstructured":"Chef Software Inc. Ohai. https:\/\/docs.chef.io\/ohai. html 2015.  Chef Software Inc. Ohai. https:\/\/docs.chef.io\/ohai. html 2015."},{"key":"e_1_3_2_1_8_1","volume-title":"CoRR","author":"Collard J.","year":"2015","unstructured":"J. Collard , N. Gupta , R. Shambaugh , A. Weiss , and A. Guha . On Static Verification of Puppet System Configurations . CoRR , 2015 . J. Collard, N. Gupta, R. Shambaugh, A. Weiss, and A. Guha. On Static Verification of Puppet System Configurations. CoRR, 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70587-1_12"},{"key":"e_1_3_2_1_10_1","first-page":"78","volume-title":"15th USENIX Conference on Large Installation System Administration (LISA)","author":"Couch A.","year":"2001","unstructured":"A. Couch and N. Daniels . The Maelstrom: Network Service Debugging via \u201dIneffective Procedures \u201d. In 15th USENIX Conference on Large Installation System Administration (LISA) , pages 63\u2013 78 , 2001 . A. Couch and N. Daniels. The Maelstrom: Network Service Debugging via \u201dIneffective Procedures\u201d. In 15th USENIX Conference on Large Installation System Administration (LISA), pages 63\u201378, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39671-0_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.04.002"},{"key":"e_1_3_2_1_13_1","volume-title":"24th International Conference on Large Installation System Administration (LISA). USENIX Association","author":"Delaet T.","year":"2010","unstructured":"T. Delaet , W. Joosen , and B. Vanbrabant . A Survey of System Configuration Tools . In 24th International Conference on Large Installation System Administration (LISA). USENIX Association , 2010 . T. Delaet, W. Joosen, and B. Vanbrabant. A Survey of System Configuration Tools. In 24th International Conference on Large Installation System Administration (LISA). USENIX Association, 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814316"},{"key":"e_1_3_2_1_15_1","volume-title":"Product-Focused Software Process Improvement.","author":"Erich F.","year":"2014","unstructured":"F. Erich , C. Amrit , and M. Daneva . A Mapping Study on Cooperation between Information System Development and Operations . In Product-Focused Software Process Improvement. 2014 . F. Erich, C. Amrit, and M. Daneva. A Mapping Study on Cooperation between Information System Development and Operations. In Product-Focused Software Process Improvement. 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2013.119"},{"key":"e_1_3_2_1_17_1","volume-title":"How to Avoid Puppet Dependency Nightmares With Defines. https:\/\/blog.openshift.com\/how-toavoid-puppet-dependency-nightmares-with-defines, retrieved on 12\/15\/2015","author":"Harrison R.","year":"2013","unstructured":"R. Harrison . How to Avoid Puppet Dependency Nightmares With Defines. https:\/\/blog.openshift.com\/how-toavoid-puppet-dependency-nightmares-with-defines, retrieved on 12\/15\/2015 , 2013 . R. Harrison. How to Avoid Puppet Dependency Nightmares With Defines. https:\/\/blog.openshift.com\/how-toavoid-puppet-dependency-nightmares-with-defines, retrieved on 12\/15\/2015, 2013."},{"key":"e_1_3_2_1_18_1","volume-title":"Ansible: Up and Running. O\u2019Reilly Media","author":"Hochstein L.","year":"2014","unstructured":"L. Hochstein . Ansible: Up and Running. O\u2019Reilly Media , Inc ., 2014 . L. Hochstein. Ansible: Up and Running. O\u2019Reilly Media, Inc., 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45065-5_19"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-4570-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2568174"},{"key":"e_1_3_2_1_22_1","volume-title":"O\u2019Reilly Media","author":"Loope J.","year":"2011","unstructured":"J. Loope . Managing Infrastructure with Puppet. O\u2019Reilly Media , Inc ., 2011 . J. Loope. Managing Infrastructure with Puppet. O\u2019Reilly Media, Inc., 2011."},{"issue":"239","key":"e_1_3_2_1_23_1","article-title":"Lightweight Linux Containers for Consistent Development and Deployment","volume":"2014","author":"Merkel D.","year":"2014","unstructured":"D. Merkel . Docker : Lightweight Linux Containers for Consistent Development and Deployment . Linux Journal , 2014 ( 239 ), Mar. 2014 . D. Merkel. Docker: Lightweight Linux Containers for Consistent Development and Deployment. Linux Journal, 2014(239), Mar. 2014.","journal-title":"Linux Journal"},{"key":"e_1_3_2_1_24_1","volume-title":"Application Deployment and Management in the Cloud. In 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","author":"Miglierina M.","year":"2014","unstructured":"M. Miglierina . Application Deployment and Management in the Cloud. In 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) , 2014 . M. Miglierina. Application Deployment and Management in the Cloud. In 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234213"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"issue":"218","key":"e_1_3_2_1_27_1","article-title":"A Quick Introduction to Modern Filesystems","volume":"2012","author":"Powell H.","year":"2012","unstructured":"H. Powell . ZFS and Btrfs : A Quick Introduction to Modern Filesystems . Linux J. , 2012 ( 218 ), June 2012 . H. Powell. ZFS and Btrfs: A Quick Introduction to Modern Filesystems. Linux J., 2012(218), June 2012.","journal-title":"Linux J."},{"key":"e_1_3_2_1_28_1","first-page":"812","volume-title":"OpenSource Automation in Cloud Computing. In 4th International Conference on Computer Engineering and Networks","author":"Sobeslav V.","unstructured":"V. Sobeslav and A. Komarek . OpenSource Automation in Cloud Computing. In 4th International Conference on Computer Engineering and Networks , pages 805\u2013 812 . 2015. V. Sobeslav and A. Komarek. OpenSource Automation in Cloud Computing. In 4th International Conference on Computer Engineering and Networks, pages 805\u2013812. 2015."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.85"},{"key":"e_1_3_2_1_30_1","volume-title":"O\u2019Reilly Media","author":"Taylor M.","year":"2014","unstructured":"M. Taylor and S. Vargo . Learning Chef: A Guide to Configuration Management and Automation . O\u2019Reilly Media , 2014 . M. Taylor and S. Vargo. Learning Chef: A Guide to Configuration Management and Automation. O\u2019Reilly Media, 2014."},{"key":"e_1_3_2_1_31_1","first-page":"38","volume-title":"Formal Methods and Testing","author":"Tretmans J.","unstructured":"J. Tretmans . Model Based Testing with Labelled Transition Systems . In Formal Methods and Testing , pages 1\u2013 38 . Springer, 2008. J. Tretmans. Model Based Testing with Labelled Transition Systems. In Formal Methods and Testing, pages 1\u201338. Springer, 2008."},{"key":"e_1_3_2_1_32_1","volume-title":"The complexity of computing the permanent. Theoretical Computer Science, 8(2)","author":"Valiant L.","year":"1979","unstructured":"L. Valiant . The complexity of computing the permanent. Theoretical Computer Science, 8(2) , 1979 . L. Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8(2), 1979."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2002.1044518"},{"key":"e_1_3_2_1_34_1","first-page":"350","volume-title":"Convergent Deployment Automation for Services Operated in the Cloud. In 12th International Conference on Service-Oriented Computing (ICSOC)","author":"Wettinger J.","year":"2014","unstructured":"J. Wettinger , U. Breitenb\u00fccher , and F. Leymann . Compensation-Based vs . Convergent Deployment Automation for Services Operated in the Cloud. In 12th International Conference on Service-Oriented Computing (ICSOC) , pages 336\u2013 350 , 2014 . J. Wettinger, U. Breitenb\u00fccher, and F. Leymann. Compensation-Based vs. Convergent Deployment Automation for Services Operated in the Cloud. In 12th International Conference on Service-Oriented Computing (ICSOC), pages 336\u2013350, 2014."}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:52Z","timestamp":1750203592000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":34,"alternative-id":["10.1145\/2983990.2984000","10.1145\/2983990"],"URL":"https:\/\/doi.org\/10.1145\/2983990.2984000","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022671.2984000","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}