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