HOMELv003 プロトコルステートマシンと通常の（振る舞い）ステートマシンの主な違いはどれか。 2026年1月25日 プロトコルステートマシンは、分類子の状態遷移の順序と条件（契約）のみを定義し、アクションの実装記述は行わない。 UMLの「テンプレートクラス」において、パラメータとして受け取ることができる要素はどれか。 OCL式「context Company inv: self.employee->isUnique(id)」の意味はどれか。
