KCL 论文被 SETTA 2022 会议录用

原创
2022/10/26 17:53
阅读数 223
AI总结

近日,由 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 获得更多信息。

展开阅读全文
加载中
点击引领话题📣 发布并加入讨论🔥
0 评论
0 收藏
0
分享
AI总结
返回顶部
顶部