Constraints

Constraints（制約）

アクティビティの要素であるアクションには、アクション開始時に満たされていないといけない条件と、アクションの完了時に満たされていなくてはいけない条件がある。

仕様書ver	図No	ページ数	セクションNo	ページ数
03-08-02	Fig185	P274	---	---
翻訳版	図12.13	P486	Sec ---	P---

属性一覧

なし

関連一覧

localPrecondition

局所的事前条件。アクション開始時に満たされているべき条件。

localPostcondition

局所的事後条件。アクション完了時に満たされているべき条件。

制約一覧

なし

セマンティクス

localPre／localPostconditionの数

それぞれ複数の条件をもつ事ができる。

localPre／localPostconditionとアクションの関係

合成集約。つまりコンポジションである。

ノート

localPre／localPostconditionはノートでアクションに結び付けられる。