KCL 论文被 SETTA 2022 会议录用

最新推荐文章于 2025-12-19 21:59:06 发布

转载最新推荐文章于 2025-12-19 21:59:06 发布 · 538 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=Mzg2NzAwMTYzOQ==&mid=2247484725&idx=1&sn=bd172ff4803f8654a5d65d9f032c8052&chksm=ce43717df934f86b3fbb571672f90a2421462b1e7429b26679f3df858307ef5b628dcd8c5b45&scene=126&&sessionid=0

文章标签：

#运维 #java #编程语言 #人工智能 #大数据

近日，由 KusionStack 团队成员撰写的关于 KCL 创新论文被 SETTA 2022 国际会议长文录用。

Symposium on Dependable Software Engineering（以下简称 SETTA）可靠软件工程研讨会旨在将国际研究人员聚集在一起，就缩小形式化方法与软件工程之间的差距交流研究成果和想法。例如，将形式化技术和工具应用于工程大型系统（如网络物理系统 (CPS)、物联网 (IoT)、企业系统、基于云的系统等）。

此次被录用的论文为《KCL: A Declarative Language for Large-scale Configuration and Policy Management》，该论文的核心创新点是提出了 KCL 声明式语言、开发机制以及一致的工作流程。通过语言的建模及约束能力，可以提升运维开发过程中的多团队协作生产力以及效率，同时确保大规模配置和策略管理的稳定性。

此外，SETTA 2022 将在北京时间 10 月 27 日至 10 月 28 日举办线上会议，届时会分享 KCL 论文详细内容，欢迎加入 KusionStack 社区进行围观。SETTA 2022 会议议程详情请参考：https://lcs.ios.ac.cn/setta2022/program.php。

注：目前 KCL 已在 Github 开源，欢迎访问 https://github.com/KusionStack/KCLVM 获得更多信息。