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

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


InventoryManagement の仕様

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

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



【InventoryManagement(DTRAM)】へ