Modegramming Style: 12月 2021

前回は状態機械を持ったエンティティを状態遷移させてみました。

今回は状態機械にアクションを設定し、状態遷移に伴うアクションの動作を確認します。

モデル

モデルは基本的には前回のものと同じですが、各アクションにアクションが実行されたことを示す文字列をコンソールに表示するようにしました。

アクションにはKaleidox言語を設定することができます。そこで、各アクションではKaledioxのprint関数を呼び出すようになっています。

* event
event=[{
name="confirm"
},{
name="reject"
},{
name="delivered"
},{
name="cancel"
},{
name="suspend"
},{
name="resume"
}]
* entity
** salesorder
*** features
table=salesorder
*** attributes
| Name | Type | Multiplicity |
|------+-------+--------------|
| id | token | 1 |
| price| int | 1 |
*** statemachines
**** status
state=[{
name=INIT
transition=[{
to=running
effect="println \"transition from INIT to running\""
}]
entry="println \"entry INIT\""
exit="println \"exit INIT\""
do.entry="println \"do.entry INIT\""
do.exit="println \"do.exit INIT\""
},{
name=canceled
transition=[{
to=FINAL
effect="println \"transition from canceled to FINAL\""
}]
entry="println \"entry canceled\""
exit="println \"exit canceled\""
do.entry="println \"do.entry canceled\""
do.exit="println \"do.exit canceled\""
},{
name=suspended
transition=[{
guard=resume
to=HISTORY
effect="println \"transition from suspended to HISTORY\""
}]
entry="println \"entry suspended\""
exit="println \"exit suspended\""
do.entry="println \"do.entry suspended\""
do.exit="println \"do.exit suspended\""
}]
statemachine=[{
name="running"
state=[{
name=INIT
transition=[{
to=applying
effect="println \"transition from running.INIT to running.applying\""
}]
entry="println \"entry running.INIT\""
exit="println \"exit running.INIT\""
do.entry="println \"do.entry running.INIT\""
do.exit="println \"do.exit running.INIT\""
},
{
name=applying
transition=[{
to=confirming,
effect="println \"transition from running.applying to running.confirming\""
}]
entry="println \"entry running.applying\""
exit="println \"exit running.applying\""
do.entry="println \"do.entry running.applying\""
do.exit="println \"do.exit running.applying\""
},{
name=confirming
transition=[{
guard=confirm
to=confirmed
effect="println \"transition from running.confirming to running.confirmed\""
},{
guard=reject
to=rejected
effect="println \"transition from running.confirming to running.rejected\""
}]
entry="println \"entry running.confirming\""
exit="println \"exit running.confirming\""
do.entry="println \"do.entry running.confirming\""
do.exit="println \"do.exit running.confirming\""
},{
name=confirmed
transition=[{
to=delivering
effect="println \"transition from running.confirmed to running.delivering\""
}]
entry="println \"entry running.confirmed\""
exit="println \"exit running.confirmed\""
do.entry="println \"do.entry running.confirmed\""
do.exit="println \"do.exit running.confirmed\""
},{
name=rejected
transition=[{
to=FINAL
effect="println \"transition from running.rejected to FINAL\""
}]
entry="println \"entry running.rejected\""
exit="println \"exit running.rejected\""
do.entry="println \"do.entry running.rejected\""
do.exit="println \"do.exit running.rejected\""
},{
name=delivering
transition=[{
guard=delivered
to=delivered
effect="println \"transition from running.delivering to running.delivered\""
}]
entry="println \"entry running.delivering\""
exit="println \"exit running.delivering\""
do.entry="println \"do.entry running.delivering\""
do.exit="println \"do.exit running.delivering\""
},{
name=delivered
transition=[{
to=FINAL
effect="println \"transition from running.delivered to FINAL\""
}]
entry="println \"entry running.delivered\""
exit="println \"exit running.delivered\""
do.entry="println \"do.entry running.delivered\""
do.exit="println \"do.exit running.delivered\""
}]
transition=[{
guard=cancel
to=canceled
effect="println \"transition from running to canceled\""
},{
guard=suspend
to=suspended
effect="println \"transition from running to suspended\""
}]
}]

* event
event=[{
    name="confirm"
  },{
    name="reject"
  },{
    name="delivered"
  },{
    name="cancel"
  },{
    name="suspend"
  },{
    name="resume"
}]
* entity
** salesorder
*** features
table=salesorder
*** attributes
| Name | Type  | Multiplicity |
|------+-------+--------------|
| id   | token |            1 |
| price| int   |            1 |
*** statemachines
**** status
state=[{
  name=INIT
  transition=[{
    to=running
    effect="println \"transition from INIT to running\""
  }]
  entry="println \"entry INIT\""
  exit="println \"exit INIT\""
  do.entry="println \"do.entry INIT\""
  do.exit="println \"do.exit INIT\""
},{
  name=canceled
  transition=[{
    to=FINAL
    effect="println \"transition from canceled to FINAL\""
  }]
  entry="println \"entry canceled\""
  exit="println \"exit canceled\""
  do.entry="println \"do.entry canceled\""
  do.exit="println \"do.exit canceled\""
},{
  name=suspended
  transition=[{
    guard=resume
    to=HISTORY
    effect="println \"transition from suspended to HISTORY\""
  }]
  entry="println \"entry suspended\""
  exit="println \"exit suspended\""
  do.entry="println \"do.entry suspended\""
  do.exit="println \"do.exit suspended\""
}]
statemachine=[{
  name="running"
  state=[{
    name=INIT
    transition=[{
      to=applying
      effect="println \"transition from running.INIT to running.applying\""
    }]
    entry="println \"entry running.INIT\""
    exit="println \"exit running.INIT\""
    do.entry="println \"do.entry running.INIT\""
    do.exit="println \"do.exit running.INIT\""
  },
  {
    name=applying
    transition=[{
      to=confirming,
      effect="println \"transition from running.applying to running.confirming\""
    }]
    entry="println \"entry running.applying\""
    exit="println \"exit running.applying\""
    do.entry="println \"do.entry running.applying\""
    do.exit="println \"do.exit running.applying\""
  },{
    name=confirming
    transition=[{
      guard=confirm
      to=confirmed
      effect="println \"transition from running.confirming to running.confirmed\""
    },{
      guard=reject
      to=rejected
      effect="println \"transition from running.confirming to running.rejected\""
    }]
    entry="println \"entry running.confirming\""
    exit="println \"exit running.confirming\""
    do.entry="println \"do.entry running.confirming\""
    do.exit="println \"do.exit running.confirming\""
  },{
    name=confirmed
    transition=[{
      to=delivering
      effect="println \"transition from running.confirmed to running.delivering\""
    }]
    entry="println \"entry running.confirmed\""
    exit="println \"exit running.confirmed\""
    do.entry="println \"do.entry running.confirmed\""
    do.exit="println \"do.exit running.confirmed\""
  },{
    name=rejected
    transition=[{
      to=FINAL
      effect="println \"transition from running.rejected to FINAL\""
    }]
    entry="println \"entry running.rejected\""
    exit="println \"exit running.rejected\""
    do.entry="println \"do.entry running.rejected\""
    do.exit="println \"do.exit running.rejected\""
  },{
   name=delivering
    transition=[{
      guard=delivered
      to=delivered
      effect="println \"transition from running.delivering to running.delivered\""
    }]
    entry="println \"entry running.delivering\""
    exit="println \"exit running.delivering\""
    do.entry="println \"do.entry running.delivering\""
    do.exit="println \"do.exit running.delivering\""
  },{
    name=delivered
    transition=[{
      to=FINAL
      effect="println \"transition from running.delivered to FINAL\""
    }]
    entry="println \"entry running.delivered\""
    exit="println \"exit running.delivered\""
    do.entry="println \"do.entry running.delivered\""
    do.exit="println \"do.exit running.delivered\""
  }]
  transition=[{
    guard=cancel
    to=canceled
    effect="println \"transition from running to canceled\""
  },{
    guard=suspend
    to=suspended
    effect="println \"transition from running to suspended\""
  }]
}]

イベント

以下の6つのイベントを定義しています。

confirm: 確認OK
reject: 確認却下
delivered: 配送済み
cancel: キャンセル
suspend: 保留
resume: 再開

前回からの変更点はありません。

エンティティ

エンティティの定義も前回から変更点はありません。

entity節の下にエンティティ「salesorder」を定義しています。

エンティティ「salesorder」の下にfeatures節で特性、attributes節で属性、statemachines節で状態機械を定義しています。

statemachines節の下に状態機械「status」を定義しています。

状態機械

定義したモデルの状態機械図は前回と同じ以下となります。

アクション

状態機械の以下の場所にアクションを定義しました。

状態のentry, exit, do.entry, do.exit
遷移のeffect

アクションはKaleidoxスクリプトでアクションの設定位置をコンソールに表示するものです。

実行

それでは実行してみましょう。

準備

まず、entity-create-collection関数を使ってエンティティを格納する入れ物であるコレクションの作成(内部的にはDBテーブルの作成)を行います。

Modegramming Style

2021年12月31日金曜日

Kaleidox状態機械/エンティティの状態遷移によるアクション

モデル

イベント

エンティティ

状態機械

アクション

実行

準備

エンティティの作成

エベントの送出

状態遷移の確認

まとめ

諸元

MathJax

Twitter

ブログ アーカイブ

ラベル

フォロワー

登録

メール購読

自己紹介

Blogger Syntax Highliter

ブログアーカイブ