形式仕様記述Alloyを試してみる - きしだのHatena

試してみるよ。 とりあえず商品をまとめたセット商品についての仕様を書いてみる。 まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。 なんか商品がみっつ出た。 じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ商品が３つのセットに含まれてしまった。Alloyさんイヤらしいとこついてくる。 ということで、ひとつの商品は多くてもひとつのセットにしか含まれない、っていう制約を加えます。 fact { all s: Shohin | lone bundle.s } 書き下ろすと「すべての商品について、商品をbundleとして持つのはたかだか１つ」になるんですけど、この、フィールドを左に書く書き方は通常のプ

[terazzo]

Alloy本買ったけど順調に積んでる……

[side_tana]

なるほど

[vanbraam]

面白い;いつか機会を見つけて試したいなぁ

[nobeans]

Mac用のAlloyAnalyzer4.2をDLして写経してみたら面白かった

[dagjmpd]

形式仕様記述Alloyを試してみる

[hiroshi_revolution]

形式仕様記述Alloyを試してみる - きしだのはてな

[Yamashiro0217]

面白い

[torazuka]

噂では聞くもののコードを初めて見ました。気になるなぁ。設計のテストに使えたりしないのかなぁ。