http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10155203385 こちら...

今作っているんですが、どういう作りが一番分かりやすいか悩んでます。

Q18.状態一覧表示は、以下のように作成順の並びでなく、名前順の表示でも問題ありませんか？

----------状態一覧----------
{id=S1,src={初期状態,S2},tgt={S1}}
{id=S2,src={S1},tgt={S2,S2}}
{id=S3,src={S2},tgt={S3}}
{id=終了状態,src={S3},tgt={}}
{id=初期状態,src={},tgt={初期状態}}


------------------------------------------------------------
Q19.「関連要素抽出アルゴリズム」には、ガードの変数しか扱わず、イベントやアクションの変数はその関連を検索しないようですが、それで良いですか？

Q20.提示されたPlantUML.txtにはアクションに変数があるような気がしますが、これはあくまでメッセージであって変数ではないと考えて良いですか？

> for(t<-T){//関連遷移の全要素に適用
> add(C(e),tのアクション) //遷移tのアクションをC(e)に追加
> add(C(e),tのガードにある変数) //遷移tのガードにある変数をC(e)に追加
> add(C(e),tの元の状態) //遷移tの元の状態をC(e)に追加
> }

> @startuml{stm M3.png}
>
> [*] -> S1
> S1 -> S2 : /x=j この遷移はt1
> S2 -> S1 : /j=i+1 この遷移はt2
> S2 -> S3
> S3 --> [*]
>
> @enduml

• この回答に投票する