{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:47Z","timestamp":1763468267282,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T00:00:00Z","timestamp":1439337600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T00:00:00Z","timestamp":1439337600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"HP Labs Innovation Research Program Award"},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA8655-13-1-3006"],"award-info":[{"award-number":["FA8655-13-1-3006"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Netw Syst Manage"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10922-015-9351-y","type":"journal-article","created":{"date-parts":[[2015,8,11]],"date-time":"2015-08-11T06:02:01Z","timestamp":1439272921000},"page":"309-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Semantics for the SmartFrog Configuration Language"],"prefix":"10.1007","volume":"24","author":[{"given":"Paul","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herry","family":"Herry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,12]]},"reference":[{"key":"9351_CR1","unstructured":"Ansible: \n                    http:\/\/ansibleworks.com\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR2","unstructured":"Cfengine: \n                    http:\/\/cfgengine.com\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR3","unstructured":"Chef: \n                    http:\/\/getchef.com\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR4","unstructured":"LCFG: \n                    http:\/\/www.lcfg.org\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR5","unstructured":"Puppet: \n                    http:\/\/puppetlabs.com\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR6","unstructured":"Vervloesem, K.: FOSDEM Configuration Management Meeting Report, Feb 2011"},{"key":"9351_CR7","unstructured":"Oppenheimer, D., Ganapathy, G., Patterson, D.: Why do internet services fail and what can be done about it? In: 4th Usenix Symposium on Internet Technologies and Systems (2003)"},{"key":"9351_CR8","unstructured":"Anderson, P., Cheney, J.: Toward provenance-based security for configuration languages. In: The 4th Usenix Workshop on the Theory and Practice of Provenance (2012)"},{"key":"9351_CR9","unstructured":"SmartFrog: \n                    http:\/\/www.smartfrog.org\n                    \n                  . Accessed 25 Feb 2014"},{"key":"9351_CR10","unstructured":"Herry, H., Anderson, P.: Planning with global constraints for computing infrastructure reconfiguration. In: CP4PS-12\u2014The AAAI-12 Workshop on Problem Solving using Classical Planners (2012)"},{"key":"9351_CR11","doi-asserted-by":"crossref","unstructured":"Hewson, J.A.,\u00a0Anderson, P., Gordon, A.D.: Constraint-based autonomic configuration. In: Proceedings of 2013 Self-adaptive and Self-organizing Systems Conference (SASO), Sept 2013","DOI":"10.1109\/SASO.2013.23"},{"key":"9351_CR12","unstructured":"Self: \n                    http:\/\/selflanguage.org\n                    \n                  . Accessed 1 March 2014"},{"key":"9351_CR13","unstructured":"YAML: \n                    http:\/\/www.yaml.org\/spec\/\n                    \n                  . Accessed 10 April 2014"},{"key":"9351_CR14","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"DA Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston (1986)"},{"key":"9351_CR15","volume-title":"Denotational Semantics: The Scott\u2013Strachey Approach to Programming Language Theory","author":"JE Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott\u2013Strachey Approach to Programming Language Theory. The MIT Press, Cambridge (1977)"},{"key":"9351_CR16","unstructured":"Hewson, J.A., Anderson, P., Gordon, A.D.: A declarative approach to automated configuration. In: Proceedings of the 2012 LISA Conference. Usenix Association (2012)"},{"issue":"1","key":"9351_CR17","first-page":"12","volume":"33","author":"A Couch","year":"2008","unstructured":"Couch, A.: From x-1 to (setf x 1): what does configuration management mean? USENIX Login 33(1), 12\u201318 (2008)","journal-title":"USENIX Login"},{"issue":"2","key":"9351_CR18","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.scico.2004.04.002","volume":"53","author":"A Couch","year":"2004","unstructured":"Couch, A., Sun, Y.: On observed reproducibility in network configuration management. Sci Comput Program 53(2), 215\u2013253 (2004). Topics in System Administration","journal-title":"Sci Comput Program"},{"key":"9351_CR19","unstructured":"Bekezhanova, A.: Denotational semantics of puppet. Master\u2019s thesis, School of Informatics, University of Edinburgh (2013)"},{"key":"9351_CR20","first-page":"531","volume-title":"Computer Security\u2014ESORICS 2007, Volume 4734 of Lecture Notes in Computer Science","author":"M Hilty","year":"2007","unstructured":"Hilty, M., Pretschner, A., Basin, D., Schaefer, C., Walter, T.: A policy language for distributed usage control. In: Biskup, J., L\u00f3pez, J. (eds.) Computer Security\u2014ESORICS 2007, Volume 4734 of Lecture Notes in Computer Science, pp. 531\u2013546. Springer, Berlin (2007)"},{"issue":"1\u20132","key":"9351_CR21","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2008.09.004","volume":"74","author":"I Aktug","year":"2008","unstructured":"Aktug, I., Naliuka, K.: Conspec\u2014a formal language for policy specification. Sci Comput Program 74(1\u20132), 2\u201312 (2008). Special Issue on Security and Trust","journal-title":"Sci Comput Program"},{"key":"9351_CR22","unstructured":"Damianou, N.: A policy framework for management of distributed systems. PhD thesis, Imperial College (2002)"},{"key":"9351_CR23","unstructured":"Classen, A., Hubaux, A., Heymans, P.: A formal semantics for multi-level staged configuration. Technical report, University of Namur (2009)"},{"key":"9351_CR24","unstructured":"Favre, J.-M.: CPP denotational semantics. In: Proceedings of the Third International Workshop on Source Code Analysis and Manipulation, p. 22. IEEE Computer Society (2003)"},{"key":"9351_CR25","unstructured":"Herry, H.: Automated Planning for Cloud Service Configurations. PhD thesis, School of Informatics, University of Edinburgh (2014)"},{"key":"9351_CR26","unstructured":"Demonstration SmartFrog compilers based on the formal semantics. \n                    https:\/\/github.com\/herry13\/smartfrog-lang\n                    \n                  . Accessed 28 March 2014"},{"key":"9351_CR27","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP \u201900, pp. 268\u2013279. ACM, New York. (2000)","DOI":"10.1145\/351240.351266"},{"key":"9351_CR28","unstructured":"Microsoft Desired State Configuration. \n                    http:\/\/technet.microsoft.com\/en-us\/library\/dn249912.aspx\n                    \n                  . Accessed 13 Nov 2014"},{"key":"9351_CR29","unstructured":"DMTF MOF Format. \n                    http:\/\/www.dmtf.org\/sites\/default\/files\/standards\/documents\/dsp0221_3.0.0.pdf\n                    \n                  . Accessed 13th Nov 2014"},{"key":"9351_CR30","unstructured":"Unruh, I., Bardas, A.G., Zhuang, R., Ou, Z., DeLoach, S.A.: Compiling abstract specifications into concrete systems\u2014bringing order to the cloud. In: Proceedings of the 28th Large Installation Systems Adminstration Conference (LISA14), pp. 17\u201333. Usenix Association (2014)"},{"key":"9351_CR31","unstructured":"IPTables: \n                    http:\/\/en.wikipedia.org\/wiki\/iptables\n                    \n                  . Accessed 10 Nov 2014"},{"key":"9351_CR32","unstructured":"Anderson, P.: LCFG: A Practical Tool for System Configuration, Volume 17 of Short Topics in System Administration. Usenix Association (2008)"}],"container-title":["Journal of Network and Systems Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-015-9351-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10922-015-9351-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-015-9351-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-015-9351-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T09:11:01Z","timestamp":1589706661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10922-015-9351-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,12]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9351"],"URL":"https:\/\/doi.org\/10.1007\/s10922-015-9351-y","relation":{},"ISSN":["1064-7570","1573-7705"],"issn-type":[{"type":"print","value":"1064-7570"},{"type":"electronic","value":"1573-7705"}],"subject":[],"published":{"date-parts":[[2015,8,12]]},"assertion":[{"value":"21 July 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2015","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 August 2015","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}