产生式编程的定义

产生式 编程(Generative Programming,GP)是一种 软件工程 泛型(paradigm)，基础是对系统族 建模。就是说，给一个特定的需求 说明书(specification)，就可以根据要求制作出一个高度定制、优化的中间产品或者最终产品。这需要使用基本的、可重用实现 组件通过配制知识的方式实现。

产生式领域建模的基本组成

产生式 编程目标集中于系统族，而不是一种一个的系统(one-of-kind system)。不是从头构造一个单独的系统族成员，而是基于一个通用的产生式领域模型(generative domain model)。就是说系统族模型具有下面3个基本组成部分：指定系统族成员的方法；可以组装出每一个成员的实现 组件；在成员 说明书和一个已有成员之间的 配置知识(configuration knowledge)映射关系。在订购一辆汽车时，你会面临相似的设置：有一个订购汽车的系统，有从中可以组装成汽车的 组件，还有怎样组装与 订单对应的汽车的 配置知识。用来指定家族成员的术语被称为 问题空间(problem space)，而使用可能的 配置的实现 组件组成了解空间(solution space)。