diff --git a/models/DTRAM/InventoryManagement.model b/models/DTRAM/InventoryManagement.model new file mode 100644 index 0000000..578d56c --- /dev/null +++ b/models/DTRAM/InventoryManagement.model @@ -0,0 +1,7 @@ +channel ItemRegistration { + out inventory(itemDB:Map, registerItem(itemId:Str, itemName:Str, quantity:Int)) = insert(itemDB, itemId, {"count": quantity, "name": itemName}) +} + +channel ReceivingOrShipping(itemId:Str) { + out inventory.{itemId}.count(prev_quantity:Int, receiveOrShip(quantity:Int)) = prev_quantity + quantity +}