StateMachine の拡張である ModeBehaviour のステレオタイプに制約を追加する必要がある UML プロファイルがあります。
制約: 所有する状態はモードとしてステレオタイプ化する必要があり、所有する遷移はモード遷移としてステレオタイプ化する必要があります
制約の最初の部分については、self.submachine で始まる可能性があると考えています。これは、ModeBehaviour の所有状態を参照するためですか? そこから、これらの状態がモードとしてのステレオタイプであるかどうかを確認する方法がわかりません。
どんな方向でも非常に役に立ちます。