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.

翻译：我们逆向设计了构成定义语言(CDL)的正式语义,这是高度可配置、嵌入操作系统eCos的一部分。这项工作为分析和比较两种变异模式语言提供了基础。 Kconfig 和 CDL。本文件给出的语义是基于分析CDL文件、检查工具链源代码以及测试特定实例的工具。