UML state machine とは

UMLステートチャートとも呼ばれるUMLステートマシンは、統一モデリング言語(UML)表記法で表現されたコンピュータサイエンスアプリケーションにおける有限オートマトンの数学的概念の大幅に強化された実現です。
その背景にあるコンセプトは、デバイス、コンピュータプログラム、または他の(多くの場合、技術的な)プロセスが、エンティティまたはそのサブエンティティのそれぞれが常に複数の可能な状態のうちの1つに常にあり、これらの状態の間で定義された条件付き遷移。
UMLステートマシンは、UMLによって適合され拡張されたHarelステートチャートのオブジェクトベースの変形です。 UMLステートマシンの目標は、従来の有限状態マシンの主な制限を克服し、その主な利点を維持することです。 UMLステートチャートでは、階層的にネストされた状態と直交する領域の新しい概念が導入され、アクションの概念が拡張されています。 UMLステートマシンは、MealyマシンとMooreマシンの両方の特性を持っています。 Mealyマシンのように、Mealyマシンのように、システムの状態とトリガーイベントの両方に依存するアクション、およびムーアマシンのように遷移ではなく状態に関連した入力と終了のアクションをサポートします。
「UML状態マシン」という用語は、動作状態マシンとプロトコル状態マシンという2種類の状態マシンを参照できます。行動状態機械は、個々のエンティティ(例えば、クラスインスタンス)の挙動をモデル化するために使用することができる。プロトコルステートマシンは、使用プロトコルを表現するために使用され、分類子、インターフェース、およびポートの法的使用シナリオを指定するために使用できます。