{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T16:13:25Z","timestamp":1768148005793,"version":"3.49.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031212123","type":"print"},{"value":"9783031212130","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21213-0_6","type":"book-chapter","created":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:08:19Z","timestamp":1670652499000},"page":"88-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["KCL: A Declarative Language for\u00a0Large-Scale Configuration and\u00a0Policy Management"],"prefix":"10.1007","author":[{"given":"XiaoDong","family":"Duo","sequence":"first","affiliation":[]},{"given":"Pengfei","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Shushan","family":"Chai","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Xia","sequence":"additional","affiliation":[]},{"given":"Zhe","family":"Zong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,11]]},"reference":[{"key":"6_CR1","unstructured":"Open-Policy Agent: conftest: write tests against structured configuration data using the open policy agent rego query language (2019). github.com\/open-policy-agent\/conftest"},{"key":"6_CR2","unstructured":"The Kubernetes Authors: Custom resources (2021). v1-20.docs.kubernetes.io\/docs\/concepts\/extend-kubernetes\/api-extension\/custom-resources\/"},{"key":"6_CR3","unstructured":"The Kubernetes Authors: Kubernetes documentation\/concepts\/services, load balancing, and networking\/service (2021). kubernetes.io\/docs\/concepts\/services-networking\/service\/"},{"key":"6_CR4","unstructured":"The Kubernetes Authors: Kubernetes documentation\/concepts\/workloads\/workload resources\/deployments (2021). kubernetes.io\/docs\/concepts\/workloads\/controllers\/deployment\/"},{"key":"6_CR5","unstructured":"The Swagger Authors: Openapi specification (2021). swagger.io\/specification\/"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Beckett, R., Gupta, A., Mahajan, R., Walker, D.: A general approach to network configuration verification. In: SIGCOMM (2017)","DOI":"10.1145\/3098822.3098834"},{"key":"6_CR7","unstructured":"Bj\u00f8rner, N., de Moura, L., Nachmanson, L., Wintersteiger, C.: Programming z3 (2021). theory.stanford.edu\/~nikolaj\/programmingz3.html"},{"key":"6_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530098","volume-title":"The Logic of Typed Feature Structures","author":"B Carpenter","year":"1992","unstructured":"Carpenter, B.: The Logic of Typed Feature Structures. Cambridge University Press, Cambridge (1992)"},{"key":"6_CR9","unstructured":"Bokharouss, I.: GCL viewer: a study in improving the understanding of GCL programs (2008)"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/2898442.2898444","volume":"14","author":"B Burns","year":"2016","unstructured":"Burns, B., Grant, B., Oppenheimer, D., Brewer, E., Wilkes, J.: Borg, Omega, and Kubernetes: Lessons learned from three container-management systems over a decade. Queue 14(1), 70\u201393 (2016)","journal-title":"Queue"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-1-4842-5398-4_6","volume-title":"The Definitive Guide to AWS Infrastructure Automation","author":"B Campbell","year":"2020","unstructured":"Campbell, B.: The AWS CDK and Pulumi. In: Campbell, B. (ed.) The Definitive Guide to AWS Infrastructure Automation, pp. 237\u2013272. Apress, Berkeley (2020). https:\/\/doi.org\/10.1007\/978-1-4842-5398-4_6"},{"key":"6_CR12","unstructured":"Da-sol, K.: KT suffers major network outage nationwide (2021). www.koreaherald.com\/view.php?ud=20211025000650"},{"key":"6_CR13","unstructured":"Fairwindsops: polaris: Validation of best practices in your kubernetes clusters (2018). github.com\/FairwindsOps\/polaris"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Giannarakis, N., Loehr, D., Beckett, R., Walker, D.: NV: an intermediate language for verification of network control planes. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 958\u2013973, June 2020. https:\/\/doi.org\/10.1145\/3385412.3386019","DOI":"10.1145\/3385412.3386019"},{"key":"6_CR15","unstructured":"Google: Jsonnet: A data templating language for app and tool developers (2014). jsonnet.org\/"},{"key":"6_CR16","unstructured":"Google: What is site reliability engineering (SRE) (2021). sre.google\/"},{"key":"6_CR17","unstructured":"Grafana: Beautiful metric & analytic dashboards (2021). grafana.org\/"},{"key":"6_CR18","unstructured":"Helm: The package manager for kubernetes (2021). helm.sh\/"},{"key":"6_CR19","unstructured":"Instrumenta: kubeval: validate your kubernetes configuration files, supports multiple kubernetes versions (2019). kustomize.io\/"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"J\u00e4\u00e4ger, J., Pankova, A.: PrivaLog: a privacy-aware logic programming language. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3479394.3479410","DOI":"10.1145\/3479394.3479410"},{"key":"6_CR21","unstructured":"Kapicorp: Generic templated configuration management for kubernetes, terraform and other things (2017). github.com\/kapicorp\/kapitan"},{"key":"6_CR22","unstructured":"Kubernetes: Declarative application management in kubernetes (2019)"},{"key":"6_CR23","unstructured":"Kubernetes: Managing resources for containers (2021). kubernetes.io\/docs\/concepts\/configuration\/manage-resources-containers\/"},{"key":"6_CR24","unstructured":"Kubernetes: Understanding kubernetes objects (2021). kubernetes.io\/docs\/concepts\/overview\/working-with-objects\/kubernetes-objects\/"},{"key":"6_CR25","unstructured":"dhal-lang: dhall-haskell: Maintainable configuration files (2016). github.com\/dhall-lang\/dhall-haskell"},{"key":"6_CR26","unstructured":"cue-lang: CUE: Validate and define text-based and dynamic configuration (2020). cuelang.org\/"},{"key":"6_CR27","unstructured":"Loeliger, J., McCullough, M.: Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development. O\u2019Reilly Media, Inc. (2012)"},{"key":"6_CR28","unstructured":"cloud66-oss: copper: a configuration file validator for kubernetes (2018). github.com\/cloud66-oss\/copper"},{"key":"6_CR29","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C., Benjamin, C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"6_CR30","unstructured":"The Example of Helm (2017). artifacthub.io\/packages\/helm\/jenkinsci\/jenkins"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Riti, P., Flynn, D.: Terraform HCL (2021)","DOI":"10.1007\/978-1-4842-6634-2_5"},{"key":"6_CR32","doi-asserted-by":"publisher","unstructured":"Sarkar, A., Sheeran, M.: Hailstorm: a statically-typed, purely functional language for IoT applications. In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3414080.3414092","DOI":"10.1145\/3414080.3414092"},{"key":"6_CR33","unstructured":"kubernetes-sig: Kustomize: Kubernetes native configuration management (2019). kustomize.io\/"},{"key":"6_CR34","unstructured":"stelligent: config-lint: Command line tool to validate configuration files (2018). github.com\/stelligent\/config-lint"},{"key":"6_CR35","doi-asserted-by":"publisher","unstructured":"Tang, C., et al.: Holistic configuration management at Facebook. In: Proceedings of the 25th Symposium on Operating Systems Principles, vol. 15, no. 1, pp. 328\u2013343 (2015). https:\/\/doi.org\/10.1145\/2815400.2815401","DOI":"10.1145\/2815400.2815401"},{"key":"6_CR36","unstructured":"cdk8s-team: CDK for kubernetes: Define kubernetes apps and components using familiar languages (2021). cdk8s.io\/"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Tomabechi, H.: Quasi-destructive graph unification. In: 29th Annual Meeting of the Association for Computational Linguistics, pp. 315\u2013322 (1991)","DOI":"10.3115\/981344.981385"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Verma, A., Pedrosa, L., Korupolu, M.R., Oppenheimer, D., Tune, E., Wilkes, J.: Large-scale cluster management at Google with Borg. In: Proceedings of the European Conference on Computer Systems (EuroSys), Bordeaux, France (2015)","DOI":"10.1145\/2741948.2741964"},{"key":"6_CR39","unstructured":"Wiki: Cloud native computing foundation Wiki (2021)"},{"key":"6_CR40","unstructured":"Wiki: Role-based access control (2021)"},{"key":"6_CR41","unstructured":"zegl: kube-score: Kubernetes object analysis with recommendations for improved reliability and security (2018). github.com\/zegl\/kube-score"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21213-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:15:14Z","timestamp":1670652914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21213-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031212123","9783031212130"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21213-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2022","order":10,"name":"conference_id","label":"Conference ID","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":"29","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":"11","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":"3","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":"38% - 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":"4","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":"3","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)"}}]}}