HOMELv022 アクティビティ図において、トークンを保持するための「容量(Capacity)」をオブジェクトノードに設定することは可能か。 2026年3月17日 オブジェクトノードにUpper Bound(上限)を設定することで、保持できるトークンの最大数を制限できる。 要件図において、「精緻化(refine)」関係を使用して、要件をユースケースで説明することはSysMLとして適切か。 状態遷移図において、ある遷移にトリガーがなくガード条件のみがある場合、その遷移はいつ評価されるか。