HOMELv014 アクティビティ図において、トークンが「ジョインノード（Join Node）」を通過するための条件は何か。 2026年1月25日 ジョインノード（太い直線）は同期ポイントであり、定義されたすべての流入エッジにトークンが揃うまで待機し、揃った時点で1つのトークンを送り出す（AND結合）。 MDAの「PIM（Platform Independent Model）」において、避けるべき記述はどれか。 OCLの `forAll` 操作において、2つのイテレータ変数を使用する式 `col->forAll(e1, e2 e1 <> e2 implies …)` の意味はどれか。
