0

ステートマシンを設計していて、2つの異なる状態から入ることができる1つの特定の状態があります...前の状態に戻る方法がわかりません...またはそれを間違ってモデル化していますか?

説明する :

   | 状態| トリガー| nextstate
---------------------------------
1. | イニシャル| evtX | A
2. | イニシャル| evtY | B
3. | B | evtX | A
4. | A | evtZ | ????

最後の行は私が問題を抱えているところです。行番号1のトランジションからAに到達した場合は初期状態に遷移する必要があり、行番号3の遷移からAに到達した場合は状態Bに遷移する必要があります。

どうすればこれをより適切にモデル化できますか?

4

1 に答える 1

1

実際、2つの異なるA状態があります。

   | state   | trigger  | nextstate
---------------------------------
1. | initial |   evtX   |    A1
2. | initial |   evtY   |    B
3. | B       |   evtX   |    A2
4. | A1      |   evtZ   | initial
4. | A2      |   evtZ   | B

より強力なものが必要な場合は、Harel / UMLステートチャート('スーパーステート、直交領域、および状態の一部としてのアクティビティを含む "[1])を試してください。SCXMLをweel[2]と見なすことができます。しかし、それらのどれも知りません。

[1] http://en.wikipedia.org/wiki/Harel_statechart#Harel_statechart

[2] http://en.wikipedia.org/wiki/SCXML

于 2011-04-19T23:17:17.520 に答える