HOME > サポート > FAQ-ZIPC > 手法編 STM のセルで、/(無視)やX(不可)を設定した場合、/やXに処理が移行した時にある決まった処理を行うことは可能ですか? STM 中で下記のような記述をした場合は状態遷移先番号の状態に移行するのでしょうか? STM の階層化をする場合、レベル番号はどのように付ければよいのでしょうか? ルート所属関係の STM とは何ですか? STM の呼び出し記述(記号)について。 同じルートに所属する STM の呼び出しには通常型(□)を使い、ルートの異なる STM の呼び出し にはサブルーチン型(△)を使う旨、拡張階層化状態遷移表設計手法 Ver.2.0 に記述があるのですが、 実際には、ルートの異なる STM の呼び出しにも「□」が使えて、生成コードを見ても違いがない ように思えます。 「□」と「△」の違いは形式的なものなのでしょうか? インメイル機能で他のプロセスで実行されている STM にインメイルは発行できますか? インメイルの実行タイミングについて教えて下さい。 STM1 の処理セルから STM0 に対してインメイルを発行した場合に、この STM0 に対するインメイルが 実際に実行されるタイミングはどのようになるのでしょうか? *STM1 の処理セルに、 ��処理1; STM0 にインメイル発行; ��処理2; のように記述したとすると、処理の順序としては、 (1) STM1 からインメイル発行 (2) STM1 の残りの処理2;を実行 (STM1 を抜ける) (3)STM0 のインメイルが解析されて実際の処理が行われる の順序で実行されますか? インメイルの処理タイミングで複数個のインメイルが到着していた場合、その処理は一気に行われるのでしょうか? それとも、そのタイミングで処理されるのは1イベントで、また次のループに処理は委ねられるのでしょうか? インメイルの個数やサイズに制約はありますか? 事象の階層化でグローバル遷移をする場合、どのように記述すればよいでしょうか? 注)グローバル遷移とは、他の STM の状態を遷移させる事。それに対し、自STMの状態を遷移させる事をローカル遷移と言う。 固定遷移、記憶遷移、深層記憶遷移の違いについて教えてください。 STM に引数を渡すにはどうしたらいいでしょうか? □0 で引数指定をした場合、main 関数からどのように引数を渡せばよいのでしょうか? 階層化について教えてください。 STMのE型とS型について教えてください。 STMのE型(事象)階層化とS型(状態)階層化について教えてください。 クローンについて教えてください。 ライブラリSTMとサブルーチンSTMについて教えてください。 グローバルトランジションの遷移方法について教えてください。 既存の関数からSTMに引数を渡すにはどうしたらいいでしょうか？ ▲ ページTOPへ