HOMELv017 プロトコルステートマシンにおいて、遷移（Transition）に関連付けることができる要素はどれか。 2026年1月25日 プロトコルステートマシンは動作の実装（アクション）を持たず、状態遷移に伴う契約条件（事前条件、事後条件）のみを定義する。 コンポーネント図において、コンポーネントの「提供インタフェース」が、内部の「パート（クラス等）」によって実現されていることを示す関係はどれか。 OCLにおいて、`Sequence` 型のコレクション `s` に重複要素が含まれている場合、`s->asSet()` を実行した結果はどうなるか。
