<!DOCTYPE html>
<html lang="ja">
<head>
<meta charset="UTF-8">
<title>【酒屋の在庫管理システム（InventoryManagement）の仕様説明】</title>
</head>
<body>
<h1>【酒屋の在庫管理システム（InventoryManagement）の仕様説明】</h1>
<p>
本実験で取り組んでいただく4つの課題のうちの前半2つは，簡単な酒屋の在庫管理システムを対象にしたものです．以降は，この酒屋の在庫管理システムを InventoryManagement と呼びます．<br>
以下に，InventoryManagement の仕様を示します．
</p>
<hr/>
<h2>InventoryManagement の仕様</h2>
<p>
InventoryManagement は，ある酒屋の在庫管理を行うシステムです．酒類の商品毎に在庫数を管理することができます．
InventoryManagement の仕様は次の通りです．
<ul>
<li>酒類の商品の在庫が倉庫に保管されている．</li>
<li>各商品は，商品idによって一意に特定される．</li>
<li>商品ごとに商品名が定義されている．</li>
<li>商品ごとに在庫数が記録されている．</li>
<li>倉庫は商品が1つも登録されていない状態を初期状態とする．</li>
<li>itemRegistration 操作によって，指定した商品idで，指定した名前の商品を，指定した初期数量で登録することができる．</li>
<li>receivingOrShipping 操作によって，指定した商品idの商品を，指定した数量だけ出荷または入荷することができる．数量が正のときは入荷，負の時は出荷を意味する．</li>
</ul>
前半2つの課題では，InventoryManagement の仕様の Alloy による記述と，DTRAM による記述を扱っていきます．
</p>
<hr/>
<br>
<a href="IM_DTRAM_C.html">【InventoryManagement(DTRAM)】へ</a>
</body>
</html>
