問題タブ [statechart]

イベント「A」によってトリガーされる2つの遷移を持つ状態S1がある場合、そのうちの1つはガードとしてx !=0あり、もう1つはそうではありません。ガードが有効な場合に期待される動作は何ですか ( x ==1)?

1. 予測不可能な
2. ガード付きトランジションをとる
3. ガードのないトランジションを取る

同じイベントで 2 つの遷移を行うことができないということについて読んだことを覚えていません。

私は初心者の Uml のやつですステートチャート図で初期状態から複数の遷移が発生する可能性があるかどうか知りたいです

StarUML で statechart を描画しようとしましたが、遷移線が重なっていることがわかりました。次のようにいくつかの遷移線を分離したい:

ただし、常に遷移線が 1 つの二重矢印に重なっています。

どこが間違っているのか、どうすればいいのか教えてください、ありがとう

UML ツールで描画された StateCharts から C++ および Java コードを生成する必要があります。

以前は「Rational Rose」を使用していましたが、ライセンスエラーにより使用できなくなりました。rose では、フレームワークに統合された stateChart からテキスト ファイルを生成するプラグインが利用可能でした。

したがって、次の要件を満たす標準 UML ツールを評価して選択する必要があります。

@使いやすさ。stateCharts の描画を容易にします。

@ GNU Linux env で C++ の stateCharts からコードを生成する機能。[生成されたコードによって処理されるすべてのキュー、スレッド要件。ユーザーがビジネスロジックのみに集中できるように]

@ またはトランザクションをキャプチャするテキスト ファイルを生成するためのプラグインまたはツールの可用性。

IBM の Rhapsody と SparxSystems EnterpriseArchitect という 2 つのツールが強力な候補として浮上しています。

この分野でのあなたの提案と経験を教えてください。前もって感謝します

次のステートチャートを検討してください。

Customer の状態は Confirmed になり、リソースの状態は NotAssigned になります。Confirmed から Join 疑似状態への遷移に対して定義されたガードはありません。

このシナリオでは、NotAssigned が Assigned に移行するまで、状態 Confirmed はアクティブなままですか? （つまり、トリガー「キャンセル」を送信して、顧客が「NotConfirmed」状態になるようにすることができます。これは、取得したい動作です）。それとも、これをモデル化する正しい方法を使用していませんか? （そして、ステートチャートはどのように見えるでしょうか）

編集（コメント後ガンヌス）私が求めているのは理解です

• 結合疑似状態がどのように機能するか
• 結合に接続された状態がアクティブな状態を失うのはいつですか

だから私が得たいのは、結合状態をより深く理解することです。UML 仕様 (formal-1108-06.pdf の第 15 章) を調べましたが、上記のシナリオの明確な説明が見つかりませんでした。トリガーが指定されている場合、リソース領域で NotAssigned がアクティブになっているときに、Confirmed がそのアクティブ ステータスになると、次のようになります。

1. 状態に入った直後
2. NotAssigned が Assigned に遷移するとき (その後、両方の状態が非アクティブになり、ExecutionAllowed に遷移します。

この質問は少し哲学的で、「データとコードは同じものかどうか」のようなものです。

イベント (シグナル) と状態の間に明確な違いはありますか?

例：

たとえば、道路を車が通り過ぎる。車のクラクションが鳴ると、man_A横断歩道を渡っていた男性 ( ) が急停止します。ホーンが合図、「man_A急停止」が の状態ですman_A。

別の男 ( man_B) も、同じ時間に同じ場所で道路を横断していました。

man_B彼は聴覚障害者だったので、クラクションが聞こえなかったとしましょう。しかし、「man_A急に止まった」ことに気付くことは、彼にとって合図です。彼はクラクションを聞いたかのように突然立ち止まりました。

したがって、「状態は別のプロセスのシグナルである可能性があります。シグナルはプロセスを別の状態にします。そのため、それらはまったく同じものです」と言うでしょう。

私は間違っていますか、それらの間に明確な違いはありますか？

信号は状態変化です。2 つの状態を持つ任意の信号を定義できます。

Ember.Router を使用して Ember.js v1.5.x でこのステートチャートを実装したいのですが、並行性と履歴メカニズムに問題があります。

基本的に、Summaryルート/状態をアクティブにすると、 No changes madeとTransient状態に同時に遷移したいと思います。どうすればこれを達成できますか？

PS たとえば、スタティバス にはこれらの機能があることはわかっていますが、Ember.js ルーティングでそれを使用する方法がわかりません。例は良いでしょう。

(画像ソース: Ian Horrocks: Constructing the User Interface With Statecharts p.153)。

初心者として、Visio を使用して CD ライター用のステート マシンを開発しようとしています。以下はデバイスの操作/トランザクションであり、添付されているのは私がこれまでに行ったことの図であり、正確に表現されているかどうかは不明です.

• ロードボタン - ドロワーを開き、開いている場合は閉じます (空の CDR をロードします)。

• 書き込みボタン - CDR へのドキュメントの記録を開始します。書き込みプロセスで緑色のライトが点灯
  し、完了すると消灯します。cdr が書き込まれると、ライターは停止します。

• 検証ボタン - 以前に cdr に記録されたドキュメントを検証し、プロセス中に緑色のライトが点灯し、完了すると消灯し、デバイスが停止します

• キャンセルボタン - 記録中または検証中にいつでもプロセスを停止します

• キャンセル ボタン - CD ライターが空であるか、検証または録音中でない場合は無効

• 書き込みボタン – CD ライターが空の場合、および録音または検証プロセス中は無効です。

• ベリファイは、CD ライタが録音中でないときにのみ開始できます。