システムを、用意された部品図と同一視しません。まず調べたい振る舞いや区別を定め、その問いに応える構造を考えます。 Autoriteの保存、表現、到達可能性についての問いは、範囲を定めたシステムの説明を比較する道を開きます。つながり関連する保存システムの継続は保存基準を示して調べます。関連する到達可能性可能な目標は変換と資源の条件の下で調べます。関連する設計BMKは、システムの振る舞いが生まれ得るルールと条件の設計を探究する。