シナリオはスロットを持つフローグラフである。スロットには名前〈ラベル〉が付けられる。 キットは、記述子またはシナリオに名前〈ラベル〉を与えた集合で、それ自信にも名前がある。 パッケージは、記述子の集合、シナリオの集合、キットの集合をまとめた…