Re: 6.0のOCL文法チェック機能について

まず、エラーメッセージの件はこちらでも気づきまして、次のビルドで修正予定です。


こちらでも調査を進めていて、頂きました内容と同じところまで到達しました。

手元の書籍(おそらく同じ本を見ているのではないかと思います)を見る限りでは、

inv:if (sum<100) then fee = 2.00 else fee = sum*0.01 endif

が正しいように思います。

If節の持つ値については、書籍文中の説明を読むと、頂きましたご指摘が正しいようにも思えます。

ただ、EBNFの説明を見ると、invのあとに直接if節(IfExpCS)が来るのが正しいようにも思います。難しいですね。


いずれにしても、endifがエラーになるのはバグのように思いますので、これは開発元に確認します。

申し訳ございませんが、まずは

inv:if (sum<100) then fee = 2.00 else fee = sum*0.01 --endif

という形で回避していただけると助かります。


なお、Enterprise Architectの場合には、コンテキストは
制約を定義する対象で決まりますので、context文は不要です。