if文の条件は、分岐メッセージの「ガード」の欄に書き込みます。
JUDEでは、分岐メッセージを作成すると、プロパティビューで「ガード」を設定できます。

[siteimg align=left]uploads/thumbs0/97.png[/siteimg]
x>0が条件ならば、このような書き方でOKだと思います。
JUDEに関わらず、UMLで通用する話だと思いますので
色々調べてみてくださいね！