ソフトウェア製品ラインフィーチャーモデル

Question

私を助けてください。私は、フィーチャモデルの制約を考慮してフィーチャのすべての可能な組み合わせを探したい。図に示すように。一般的な数式やツールはありますか？私には何らかの自動方法を提案してください。

フィーチャーモデル：

Answer 1

一般的なアプローチは、述語論理式に地物モデルを変換することであろう（含意を使用して、または、XOR ..あなたは、自動的にそれを行う必要があります！ ？私はそ​​れがどれほど難しいか分かりません）、それを離接的な通常の形に変換します。それは接続詞の論理和です - それぞれの結合詞は一連の解を表します。言及されていないリテラルは影響を与えません。

「製品ラインバリエーション要件の論理検証」または「製品ラインモデル検証に一次ロジックを使用する」

などの科学的な利用可能な製品があります。