PyFML——一种用于特征建模的文本语言

特征模型是在软件产品线设计与实现中捕获可变性的典型方法。为此，大多数工作使用由命题逻辑表示、并由 Prolog 或 Java 编程语言实现的有限图形符号来实现特征模型自动化。这些工作未能恰当地结合经典特征模型的扩展，并且无法提供处理大规模问题的可扩展性。在本工作中，我们提出一种基于 Python 编程语言 (PyFML) 的文本特征建模语言，它用实例特征基数和属性对经典特征模型进行泛化，并可扩展以突出复制以及复杂的逻辑与数学跨树约束。textX 元语言用于构建 PyFML 以描述和组织的特征模型依赖关系，PyConstraint 问题求解器用于实现特征模型可变性及其约束验证。该工作提供了一种文本可读语言来表示特征模型，并将特征模型描述直接映射为面向对象表示，以供约束问题求解器进行计算。此外，所提出的 PyFML 使特征建模的表示更具表达力，以处理复杂的软件产品线表示并使用 PyConstraint 问题求解器。