問題タブ [vdm++]

だから..私は Modelio と Overture の両方で作業しようとしていますが、両方のプログラムは私にとって本当に新しいものです。

まずはModelioでモデルを作って、それをOvertureにエクスポートしたいです。

しかし、このように動作するはずですか、それとも個別に作成する必要がありますか?

写真の操作の意味を知りたいです。ほとんどの場合、「getStartPrice()== (return startPrice)」という行が意味します。

私もこれは本当に新しいです。

インスタンス変数でこの問題が発生しました。それらは初期化されず、正確な意味がわかりません。それは私が持っているどのクラスでも同じです。以下のコードのいずれかを投稿しました。

誰かが私を助けて、理由を説明してくれることを願っています。

よろしく、カミラ

私は2つのタイプを定義しました：

テスト セット:も定義しましたdcl subFeatures : set of string := {"test1", "test2", "test3"}。

そして、次の方法で一連の有効な構成を生成しようとしています:

{ elem | elem : config & dom elem = subFeatures and {true} subset rng elem }

少なくとも1 つの真の範囲値がある場合、構成は「有効」と呼ばれます。

Overture がエラーError 4: Cannot get bind values for type config を起動しています。調査の結果、Overture はデフォルトで無限型の型バインドを処理できないことがわかりましたが、そうではなく、マップ ドメインを制限しています。

もう少し経験のある人は、私が間違っていることを確認できますか?

私は VDM++ にかなり慣れていないので、操作でケースを使用して、それがどのように機能するかを確認しようとしています。

私のアイデアは、操作に入力を与え、それが出力として私に与えたものを見ることでした。だからFX。私の入力は次のようになる可能性があり、出力は偶数になると予想されます。

次の操作が失敗し、「式に予期しないトークンが含まれています」というエラーが表示されます

私は VDM++ ツールボックス lite で VDM++ を実行しています。以下は私のコード例です。

コードを実行してみました。オブジェクトの作成に成功しましたが、print getsubj(10,2) を実行すると、Run-Time Error 120: Unknown state component というエラーが返されます。

Java SE 10 を搭載した 64 ビット システムで Widows 7 Professional を実行しています。Overture-2.6.2-win32.win32x86-64.zip をダウンロードし、c: の下で解凍し、Overture アプリケーションをクリックしました。起動し、ワークスペース パスを要求しました。私はデフォルトを取りましたが、失敗しました。ログ ファイルには、ClassNotFound を含む一連の Java エラーが示されていました。Overture フォルダーを、Java フォルダーがある Program Files に移動しました。再び失敗しました。Overture のマニュアルには、ダウンロードに Eclipse が含まれていることが示されています。それが問題である場合に備えて、現在の Eclipse バージョンを削除しました。それでも失敗しました。私は何を間違っていますか？