Newer
Older
SpecificationSimulatorExperiments / courseC / InventoryManagement.html
<!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>