RDCモデルでモデル化する設計プロセスは，要求（R），定義（D），確認（C）の3つの要素によって構成されていますが，これらの要素はお互いに関連を持っています．例えば，定義は要求を満たす必要がありますし，確認は要求や定義の検証のために行われます．また，定義同士は相互に依存関係を有しています． 　この様子を絵にすると以下のようなRDCネットワークとして描くことができます． 　 　ここでは，このRDCネットワークの中でも，定義（D)の相互依存関係に注目することによって，設計手順を最適化する方法について説明したいと思います．