フレームワーク

• パッケージ:関連するモデル記述をまとめたもの

• フレームワーク＝テンプレート・パッケージ

<JobCategory>

<Facility>

<Job>

<Resource>

when: TimeInterval

inv Job:: allocated <> null

==> allocated.provides->includesAll(type.repos)

inv Resource:: jo1, jo2: Job::

(schedule->includesAll ({jo1,jo2}) and (jo1 <> jo2))

==> jo1.when.noOverlap(jo2.when)

reqs

provides

alllocated

schedule

type

0..*

0..1

0..*

0..*

0..*

0..*

0..*

1

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示