【酒屋の在庫管理システム(InventoryManagement)の仕様説明】

本実験で取り組んでいただく4つの課題のうちの残り2つは,簡単な酒屋の在庫管理システムを対象にしたものです.以降は,この酒屋の在庫管理システムを InventoryManagement と呼びます.
以下に,InventoryManagement の仕様を示します.


InventoryManagement の仕様

は,ある酒屋の在庫管理を行うシステムです.酒類の商品毎に在庫数を管理することができます. InventoryManagement の仕様は次の通りです.

残り2つの課題では,InventoryManagement の仕様の Alloy による記述と,DTRAM による記述を扱っていきます.



【InventoryManagement(Alloy)】へ