■

第13章　ユースケースモデル：操作契約を伴う詳細の追加（P181）

システム操作のための契約は、システムの振る舞いの定義に役立つ。契約とは、システム操作が実行された後に発生する、問題領域オブジェクトに対する状態の変化の点から、詳細なシステムの振る舞いを説明するもの。