先日は、静的な構造をAlloyで試してみました。 http://d.hatena.ne.jp/nowokay/20120101#1325434520 こんどは時系列での動きを試してみます。時系列の仕様を書くには、util/orderingを使って、変化があるものに結び付けます。 今回は、カートに商品を入れる…