V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
chai2010
V2EX  ›  程序员

KCL 论文被 SETTA 2022 会议录用

  •  
  •   chai2010 · 2022-10-27 10:53:51 +08:00 · 774 次点击
    这是一个创建于 518 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

    目前尚无回复
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2855 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 25ms · UTC 15:22 · PVG 23:22 · LAX 08:22 · JFK 11:22
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.