4. モデル階層と OCL
Meta-‐meta
model
Metamodel
Model
Instance
or
Object
Model
Instance
of
conform
to
conform
to
MOF
(CMOF,
EMOF/ecore)
e.g.
UML,
SOA,
BPMN,
…
e.g.
UML
models,
SOA
models,
BPMN
models,
…
M3
M2
M1
M0
Constrants
(OCL)
Constraints
(OCL)
UML
Profiles
OCL
適用領域(M1,
M2)
5. UML
ツールの利用
• モデル階層と
OCL
における
UML
ツール利用
– Metamodel
• UML
Class
Diagram
のサブセットで記述
• Metamodel
に基づく
UML
Profile
の定義
– Model
• 制約を持ったstereotype
を適用したモデル要素にはそ
の制約が適用
– Instance
or
Object
Model
• 制約を持ったモデル要素のインスタンスにはその制約
が適用