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


x>0が条件ならば、このような書き方でOKだと思います。
JUDEに関わらず、UMLで通用する話だと思いますので
色々調べてみてくださいね！