索引
サ
ラ
O
U
サ
ステートメント
OCL
概要
書き込み
構文解析
コンテキスト要素
ターゲット・モデル
評価
ラ
リソース
OCL
概要
作成
O
OCL (オブジェクト制約言語)
概要
ステートメント
概要
書き込み
構文解析
コンテキスト要素
ターゲット・モデル
評価
リソース
概要
作成
UML モデル
概要
ターゲット
OCL ステートメントのターゲット・モデル
U
UML モデル
OCL で検証