問題タブ [alloy]

私は Alloy チュートリアルを進めていて、この章を始めたところです。私の質問は、章を開始するフレーズです。

これで、ファイル システムの構造上の正確性を保証するモデルを構築できました...

これまでに構築したモデルを実行すると、まだファイル システムが切断されています。これは、このフレーズと矛盾しているようです。

これは、数日前に Web サイトからダウンロードした Alloy 4.2、ビルド日付 2012-9-25 のものです。私は何か間違ったことをしていますか、それとも意図的なものですか? 私の理解では、このような切断を防ぐモデルには何も表示されません。しかし、私の理解はまだ少しあいまいです。

関連するモデルを以下にコピーします。

おそらく接続が必要な行を確認できましたlive: set FSObjectが、それはその行のセマンティクスに関する現在の理解ではありません。

Alloyの関数を使用して二項関係を出力する方法を教えてもらえますか？たとえば、学生は教師とリンクされており、学生はコースともリンクされています。生徒を入力として受け取り、教師とコースの間の二項関係を出力するにはどうすればよいですか？

私は、いずれかの学生にマークが入力されると、その学生は常にそのコースのマークを持っているというアサーションステートメントを書き込もうとしています（マークが変更される可能性はありますが）。生徒がマークを持っているかどうかを確認する方法はすでに知っていますが、そもそも生徒がマークを持っていない場合の確認方法がわかりません。また、このassertステートメントのチェックステートメントを作成するにはどうすればよいですか？

これは私が試したものです

しかし、どういうわけかそれは言います：この式はタイプチェックされませんでした。私は正しいか間違っていますか、そして私が正しい場合はどうすれば修正できますか？

コースcを入力として受講できるようにしたいと思います。まだマークを持っていないcに登録された1人以上の学生を担当するチューターのセットを出力します。

誰か助けてくれませんか？

以下を有する：

Enq と Deq の実装を手伝ってくれる人はいますか?

どんな助けでも大歓迎です。

基本的に、合金を使用して炭化水素構造をモデル化する必要があります アルカン、アルケン、およびアルキン基を設計する必要があります 次のシグネチャ（アルケンの例）を作成しました

これはアルケンから機能しますが、すべて a:alkynegrp|#ah=minus[mul[#(ac),2],2] のように事実を変更して、アルカンまたはアルキンに対して同じものを設計しようとすると、機能しません。誰かがそれを実装する方法を提案できますか?

私の問題文は、有機化学では、飽和炭化水素は、完全に単結合で構成され、水素で飽和している有機化合物です。飽和炭化水素の一般式は C _n H _2n+2です(非環状構造を仮定)。アルカンともいう。不飽和炭化水素には、炭素原子間に 1 つ以上の二重結合または三重結合があります。二重結合を持つものはアルケンと呼ばれます。1 つの二重結合を持つものは、式 C _n H _2nを持ちます(非環状構造を仮定)。三重結合を含むものはアルキンと呼ばれ、一般式は C _n H _2n-2です。炭化水素をモデル化し、アルカン、アルケン、アルキンのインスタンスを生成する述語を指定します。私たちは次のように試みました：

e

アルカンの一般式は C _n H _{2n+2です。乗算には mul 組み込み関数を使用できますが、C n} H _2n +2を実行する必要があるため、加算については書くことができません。

合金で二重にリンクされたリストを逆にしようとしていたので、その署名を作成しました。これが署名です

問題は、正確に8つの要素を実行したときに望ましい結果が得られることです。その後、1つの要素が3度以上と3度以上ある場合を示します。

合金を使用して自動販売機プログラムをモデル化しようとしています。私はいくらかのお金を入れてマシンにアイテムの選択オプションを提供できるモデルを作成したいと思っています。ここでは、入力としてボタンと一緒にコインを入力しようとしています。値を指定すると、自動販売機から目的のアイテムが返されます。各項目に割り当てられた金額が入力として提供されます。したがって、ここでは、ボタン a には 10 個の R が必要であり、ボタン b には 5 個の rs が必要であり、c には 1 が必要であり、d には 2 が必要です。op インスタンスは、必要な金額が投入されると返されるアイテムです。opc は、返されるコインの残高です。ip は入力ボタン、x はお金の入力です。入力として複数のコインを取り込むようなインスタンスを提供するにはどうすればよいですか。また、金額がアイテムのコストよりも大きい場合は、コインの数を返す必要があります。私が助けを得ることができれば、それは大歓迎です。

私は現在、自分のプロジェクトで Alloy api を使用しており、A4Solutions を表示する必要があります。それは、Alloy が提供するビジュアライザー (vizGUI) を使用して簡単に行うことができますが、私の目的には少し制限されすぎています。そのため、A4Solution オブジェクトから (他のグラフ API を使用して) 独自のグラフを生成したいと考えています。

問題なく Atoms を取得できました (これはかなり簡単でした) が、これらのアトム間の関係を取得する方法がわかりません。

A4Solution を解析する方法の例をオンラインで探しましたが、残念ながら何も見つかりませんでした。