Skip to main content

KCL 论文被 SETTA 2022 会议录用

· 阅读需要 1 分钟

近日,由 KCL 团队成员撰写的关于 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 论文详细内容,欢迎加入 KCL 社区 进行围观。SETTA 2022 会议议程详情请参考:https://lcs.ios.ac.cn/setta2022/program.php

注:目前 KCL 已在 Github 开源,欢迎访问 https://github.com/kcl-lang/kcl 获得更多信息。