UMLの意思決定後の意思決定（ダイヤモンド）

Question

私は今ArgoUMLでUMLアクティビティ図を設計しています。 私は条件を設計する場合のようなことを知っている：それは次のようにUMLのアクティビティ図で行うことができる

if(condition) { 
    doTrueAction(); 
} else { 
    doFalseAction(); 
} 

次



しかし、何を、我々は以前の出力内側に別の条件を持っている場合決定？このように：

if(condition) { 
    if(condition2) { 
     condition2TrueAction(); 
    } else { 
     condition2FalseAction(); 
    } 
}else{ 
    conditionFalseAction(); 
} 

あなたはconditionTrueOutputがここに同時に出力し、条件されている見ての通り。デザインが壊れているようです。

編集：または、私は意思決定（ダイヤモンド）要素の代わりにフォーク要素を使用する必要がありますか？

私はこれを正しく設計する方法を知りたいです。ルールはありますか？

Answer 1

あなたの考えに間違った前提があります。 Decisionには出力がありません。条件付きの制御フローだけが残っています。それぞれはある条件で守ることができます。このガードは、角括弧で書かれている：（編集する際に、むしろいい加減で、実際にそれを省略することができます）私は最初のテストの後（暗黙の）[true]ガードを書いていない

注意。

編集私の最初のダイアグラムでは、アクションに外出する制御フローがないという別の欠陥がありますが間違っていました。実際に超構造は、Actionを処理した後に、欠落している発信制御フローがFlowFinalに相当すると述べています。だからあなたのダイアグラムはここで正しいです。

あなたの編集に関して：コメントが言うように、これは並行して続けられます。ネストされた条件は、上記のようにする必要があります。

EDIT2 Isterコメントで述べたように、Decisionは外出だけifとelse制御フローよりも多くを有するが、1より大きい任意の数PにUML 2.5ステートができます。 388：

ブロックされていない発信エッジの正確に一つの目標は、トークンを受け入れる場合は、その後、トークンは、対応するエッジを横断し、他のすべてのオファーは引き抜かれます。複数のターゲットがトークンを同時に受け入れる場合、トークンは受け入れ対象に対応するエッジの1つのみをトラバースしますが、この仕様では決定されません。

非決定論的な振る舞いを避けるために、モデラーは、各トークンに対して最大で1つのガードが真であると評価する必要があります。 1人のガードだけが真と評価されることが保証されていれば、適合した実装は、真と評価されたすべての出側エッジのガードを評価する必要はありません。

DecisionNodesでのみ使用する場合、あらかじめ定義されたガード "else"（演算子として "else"を持つ式として表現され、オペランドなし）は、最大1つの出力エッジで使用できます。このガードは、トークンがDecisionNodeからの他の発信エッジによって受け入れられない場合にのみ真と評価されます。

Answer 2

あなたのデザインは一貫しているようですが、UML図ではありません。私はあなたがアクティビティ図とシーケンス図を混ぜていると思います。

ダイアグラムはシーケンス図のように見えますが、アクティビティ図に関連する情報を表示しようとします。

私はあなたにこの2つの図の違いを調べるためにこのweb siteを提案します。私はそれがあなたを助けることを願っています。

代わりに、デザインを使用しようとすると、2つのcondotion2の前に別のの条件（たとえばSecondConditionAction）を挿入することをお勧めします。