software-product-lines - ソフトウェア製品ライン機能モデル

Question

私を助けてください。機能モデルの制約を考慮して、可能なすべての機能の組み合わせを見つけたいです。図のように。一般的な公式やツールはありますか？自動化の方法を教えてください。

機能モデル:

Answer 1

一般的なアプローチは、機能モデルを述語論理式に変換し (含意を使用するか、xor .. それを自動的に行う必要がありますか!? それがどれほど難しいかわかりません)、それを選言正規形に変換することです。これは接続詞の論理和です。各接続詞は一連の解を表します。言及されていないリテラルは影響を与えません。

科学的な作業が利用可能です。たとえば、「製品ライン バリアント要件のロジック検証」または「製品ライン モデル検証のための一次ロジックの使用」を検索してください。