diff --git a/AlgebraicDataflowArchitectureModel/models/StockManagement.model b/AlgebraicDataflowArchitectureModel/models/StockManagement.model
index b133f44..c7185d9 100644
--- a/AlgebraicDataflowArchitectureModel/models/StockManagement.model
+++ b/AlgebraicDataflowArchitectureModel/models/StockManagement.model
@@ -20,7 +20,7 @@
 channel C2 {
 	in available(av, update2(av2, sh)) == av2
 	ref shortage(sh, update2(av2, sh))
-	out deriver(dr:Tuple, update2(av2, sh)) == if(ge(snd(av2), lookup(sh, fst(av2))), 
+	out handling(dr:Tuple, update2(av2, sh)) == if(ge(snd(av2), lookup(sh, fst(av2))), 
 												tuple(fst(av2), lookup(sh, fst(av2)), snd(av2) - lookup(sh, fst(av2))), 
 												tuple(fst(av2), 0, snd(av2)))
 	out shortage(s, update2(av2, sh)) == if(ge(snd(av2), lookup(s, fst(av2))), 
@@ -29,19 +29,19 @@
 }
 
 channel C3 {
-	in deriver(dr, update3(dr2)) == dr2
+	in handling(dr, update3(dr2)) == dr2
 	out stock(st, update3(dr2)) == insert(st, fst(dr2), snd(snd(dr2)))
 }
 
 channel C4 {
-	in deriver(dr, update4(dr2)) == dr2
+	in handling(dr, update4(dr2)) == dr2
 	out shipping(sp:Tuple, update4(dr2)) == tuple(fst(dr2), fst(snd(dr2)))
 }
 
 channel C5 {
 	in request(rq, update5(rq2, st)) == rq2
 	ref stock(st, update5(rq2, st))
-	out deriver(dr, update5(rq2, st)) == if(ge(lookup(st, fst(rq2)), snd(rq2)), 
+	out handling(dr, update5(rq2, st)) == if(ge(lookup(st, fst(rq2)), snd(rq2)), 
 												tuple(fst(rq2), snd(rq2), lookup(st, fst(rq2)) - snd(rq2)), 
 												tuple(fst(rq2), 0, lookup(st, fst(rq2))))
 	out shortage(sh, update5(rq2, st)) == if(ge(lookup(st, fst(rq2)), snd(rq2)),