產生式編程

產生式編程是一種軟體工程泛型(paradigm)，基礎是對系統族建模。

定義

就是說，給一個特定的需求說明書(specification)，就可以根據要求製作出一個高度定製、最佳化的中間產品或者最終產品。這需要使用基本的、可重用實現組件通過配製知識的方式實現。

基本組成

產生式編程目標集中於系統族，而不是一種一個的系統(one-of-kind system)。不是從頭構造一個單獨的系統族成員，而是基於一個通用的產生式領域模型(generative domain model)。就是說系統族模型具有下面3個基本組成部分：指定系統族成員的方法；可以組裝出每一個成員的實現組件；在成員說明書和一個已有成員之間的配置知識(configuration knowledge)映射關係。在訂購一輛汽車時，你會面臨相似的設定：有一個訂購汽車的系統，有從中可以組裝成汽車的組件，還有怎樣組裝與訂單對應的汽車的配置知識。用來指定家族成員的術語被稱為問題空間(problem space)，而使用可能的配置的實現組件組成了解空間(solution space)。