前回は状態機械のサブステートを用いてキャンセル機能を実現しました。
サブステートに並ぶ状態機械の重要な機能にヒストリーがあります。
ヒストリーは状態間の遷移時に、遷移元状態の履歴を保持しておく機能で、状態遷移後に元の状態に戻る遷移を行うことができます。
ヒストリーを用いることで、保留/再開機能を記述することができます。今回はこのヒストリーを使ってKaleidoxの状態機械で保留/再開機能を実現します。
モデル
前回のモデルに対して以下の拡張を行っています。
- suspendイベント、resumeイベントを追加
- 保留状態を示すsuspendedステートを追加
- サブステートrunningの任意のステートでsuspendイベントにより保留可能にした
この拡張設定を行った状態機械の定義は以下になります。
- * event
- event=[{
- name="confirm"
- },{
- name="reject"
- },{
- name="delivered"
- },{
- name="cancel"
- },{
- name="suspend"
- },{
- name="resume"
- }]
- * statemachine
- statemachine={
- name="purchase"
- state=[{
- name=INIT
- transition=[{
- to=running
- }]
- },{
- name=canceled
- transition=[{
- to=FINAL
- }]
- },{
- name=suspended
- transition=[{
- guard=resume
- to=HISTORY
- }]
- }]
- statemachine=[{
- name="running"
- state=[{
- name=applying
- transition=[{
- to=confirming
- }]
- },{
- name=confirming
- transition=[{
- guard=confirm
- to=confirmed
- },{
- guard=reject
- to=rejected
- }]
- },{
- name=confirmed
- transition=[{
- to=delivering
- }]
- },{
- name=rejected
- transition=[{
- to=FINAL
- }]
- },{
- name=delivering
- transition=[{
- guard=delivered
- to=delivered
- }]
- },{
- name=delivered
- transition=[{
- to=FINAL
- }]
- }]
- transition=[{
- guard=cancel
- to=canceled
- },{
- guard=suspend
- to=suspended
- }]
- }]
- }
イベント
以下の6つのイベントを定義しています。
- confirm
- 確認OK
- reject
- 確認却下
- delivered
- 配送済み
- cancel
- キャンセル
- suspend
- 保留
- resume
- 再開
前回のものからはsuspendイベントとresumeイベントを追加しています。
状態機械
定義したモデルを状態機械図で記述すると以下になります。
前回、サブステートrunningを作成し、applying, confirming, confirmed, rejected, delivering, deliveredの各ステートを定義しています。
以下の定義により新たに保留状態を示すステートsuspendedを作成し、サブステートrunningの任意のステートからの状態遷移ができるようにしました。ステートsuspendedからの遷移先はHISTORYになっているので、履歴情報にある直近のステートに復帰します。
- state=[{
- .
- },{
- name=suspended
- transition=[{
- guard=resume
- to=HISTORY
- }]
- }]
サブステートrunningからは以下の遷移設定によって、任意のステートでsuspendイベントが発生するとステートsuspendedに遷移します。
- transition=[{
- },{
- guard=suspend
- to=suspended
- }]
実行
それでは実行してみます。
まず正常系とrejectイベントの2つのルートを確認します。これは前回と同じ動きになります。
この後に、今回のテーマであるサブステートを利用したsuspendイベント、resumeイベントの振る舞いを確認します。
正常系
最初に正常系の動きです。前回の正常系と同じ動きになります。
まずstatemachine-new関数で状態機械を生成します。生成する状態機械のモデル名はpurchaseです。
生成した状態機械をsetq関数で変数smに束縛します。
状態機械の名前はpurchaseです。状態機械の状態はconfirmingになっています。
- kaleidox> statemachine-new 'purchase
- StateMachine[purchase.running.confirming]
- kaleidox> setq sm
- StateMachine[purchase.running.confirming]
状態機械purchaseを作成すると、すぐにサブステートrunning内のステートconfirmingに遷移します。
次にevent-issue関数でconfirmイベントを発行します。
confirmイベント発行の結果、状態機械purchaseの状態はdeliveringになりました。引き続きサブステートrunning内です。
- kaleidox> event-issue 'confirm
- Event[confirm]
- kaleidox> sm
- StateMachine[purchase:delivering]
次にevent-issue関数でconfirmイベントを発行します。
confirmイベント発行の結果、状態機械purchaseの状態はdeliveringになりました。引き続きサブステートrunning内です。
- kaleidox> event-issue 'delivered
- Event[delivered]
- kaleidox> sm
- StateMachine[purchase:FINAL]
これで状態機械の状態遷移は終了です。
reject
続けてrejectイベントのルートも確認しておきます。
statemachine-new関数で状態機械purchaseを生成した直後はconfirming状態になっています。
ここでrejectイベントを発行するとモデルの定義どおり最終状態FINALに遷移しました。
- kaleidox> statemachine-new 'purchase
- StateMachine[purchase.running.confirming]
- kaleidox> setq sm
- StateMachine[purchase.running.confirming]
- kaleidox> event-issue 'reject
- Event[reject]
- kaleidox> sm
- StateMachine[purchase:FINAL]
状態機械purchaseはrejectイベントを受信することで状態rejectedに遷移しますが、状態rejectedから最終状態FINALの間にガードがないので最終状態FINALに自動遷移しています。
suspendとresume
次はsuspendイベントです。サブステートrunning内の任意のステートでsuspendが可能になります。
状態機械purchaseを作った直後、状態機械はステートconfirmingになっています。
- kaleidox> statemachine-new 'purchase
- StateMachine[purchase.running.confirming]
- kaleidox> setq sm
- StateMachine[purchase.running.confirming]
ステートconfirmingでsuspendイベントを出してみます。以下に示すとおりsuspended状態になりました。
- kaleidox> event-issue 'suspend
- Event[cancel]
- kaleidox> sm
- StateMachine[purchase.suspended]
ここでresumeイベントを出すと、suspended前の状態であるステートconfirmingに戻りました。
- kaleidox> event-issue 'resume
- Event[resume]
- kaleidox> sm
- StateMachine[purchase.running.confirming]
次には、ステートdeliveringでresume/suspendの動きを確かめます。
状態機械purchaseを作った後にconfirmイベントを出し、delivering状態にします。
- kaleidox> statemachine-new 'purchase
- StateMachine[purchase.running.confirming]
- kaleidox> setq sm
- StateMachine[purchase.running.confirming]
- kaleidox> event-issue 'confirm
- Event[confirm]
- kaleidox> sm
- StateMachine[purchase.running.delivering]
ステートdeliveringでsuspendイベントを出してみます。以下に示すとおりsuspended状態になりました。
- kaleidox> event-issue 'suspend
- Event[suspend]
- kaleidox> sm
- StateMachine[purchase.suspended]
ここでresumeイベントを出すと、suspended前の状態であるステートdeliveringに戻りました。ステートsuspendに遷移する前のステートを覚えていて、そのステートに復帰することが確認できました。
- kaleidox> event-issue 'resume
- Event[resume]
- kaleidox> sm
- StateMachine[purchase.running.delivering]
まとめ
今回はスブステートをもった状態機械モデルで保留機能をモデル定義し、Kaleidox上で動作させてみました。
前回実現したキャンセル機能と今回の保留機能は実用アプリケーションでは頻出の機能ですが、スクラッチで実装するのはなかなか大変だと思います。これらの機能がモデル定義のみで使用できることは、モデル駆動開発の大きなメリットといえます。
諸元
- Kaleidox
- 0.3.1
投稿
