前の「構造制約を満たしていると確認されていない状態」については、もう少しうまく取り扱えないかなと考えてみました。 そこで思いついたのが、「あるモデルにおいて１つの固定的な構造制約を満たしているかどうか」と考えるよりは、「構造制約にも階層があ…

構造制約を考えた場合、オブジェクトは構造制約を満たしていると保障されている状態と保障されていない状態(編集中)に大別されることになります。オブジェクトの操作（導出属性を含む）を考えた場合、構造制約に依存しなければ問題ないのですが、オブジェク…