论文标题
CDL语言的正式语义
Formal Semantics of the CDL Language
论文作者
论文摘要
我们将组件定义语言（CDL）的正式语义反向设计，该语言是高度可配置的，嵌入式操作系统ECO的一部分。这项工作为分析和比较两种可变性模型语言KCONFIG和CDL提供了基础。本文档中给出的语义基于分析CDL文档，检查工具链的源代码以及在特定示例上测试工具。
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the basis for an analysis and comparison of the two variability-modeling languages Kconfig and CDL. The semantics given in this document are based on analyzing the CDL documentation, inspecting the source code of the toolchain, as well as testing the tools on particular examples.
