状態機械

UMLにおけるStateMachineは、Eventの発生によって起動されるTransitionでStateのグラフをたどり、システム要素のevent-driven Behaviorを表すBehaviorです。

SimpleModelingでは、Transition規則がDomain Modelの中心的な意味を持つ場合にStateMachineを使います。Stateを説明するために常にStateMachineを導入するのではなく、単純なState、Constraint、Operationの契約で十分かを先に判断します。

simplemodeling-libのcanonical core boundaryは、 StateMachine[S, E] 、 State 、 Transition[S, E] 、 Guard[S, E] 、 Effect[S, E] です。Transitionはcurrent StateとEventで候補を選び、priority昇順、同順位では宣言順で最初の一件を選択します。GuardのFailureは不一致ではなく評価失敗として処理を停止します。