diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
index 3a460e2..4f94bd2 100644
--- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
+++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
@@ -1,33 +1,33 @@
 channel C_CustomerAOff_In {
-	out customerA.off(c, setOff(x)) == x
-	out customerA.off(c, e) == c
+	out customerA_off(c:String, setOff(x)) == x
+	out customerA_off(c, e) == c
 }
 
 channel C_CustomerBOff_In {
-	out customerB.off(c, setOff(x)) == x
-	out customerB.off(c, e) == c
+	out customerB_off(c:String, setOff(x)) == x
+	out customerB_off(c, e) == c
 }
 
 channel C_CompanyC1Add_In {
-	out companyC1.add(a, setAdd(y)) == y
-	out companyC1.add(a, e) == a
+	out companyC1_add(a:String, setAdd(y)) == y
+	out companyC1_add(a, e) == a
 }
 
 channel C_CompanyC2Add_In {
-	out companyC2.add(a, setAdd(y)) == y
-	out companyC2.add(a, e) == a
+	out companyC2_add(a:String, setAdd(y)) == y
+	out companyC2_add(a, e) == a
 }
 
 channel CA {
-	in customerA.off(c, sync(z, u, v)) == z
-	in companyC1.add(a1, sync(z, u, v)) == u
-	in companyC2.add(a2, sync(z, u, v)) == v
-	out customerA.add(a3, sync(z, u, v)) == if(eq(z, C1), u, if(eq(z, C2), v, nil))
+	in customerA_off(c, sync(z, u, v)) == z
+	in companyC1_add(a1, sync(z, u, v)) == u
+	in companyC2_add(a2, sync(z, u, v)) == v
+	out customerA_add(a3:String, sync(z, u, v)) == if(eq(z, C1), u, if(eq(z, C2), v, nil))
 }
 
 channel CB {
-	in customerB.off(c, sync(z, u, v)) == z
-	in companyC1.add(a1, sync(z, u, v)) == u
-	in companyC2.add(a2, sync(z, u, v)) == v
-	out customerB.add(a3, sync(z, u, v)) == if(eq(z, C1), u, if(eq(z, C2), v, nil))
+	in customerB_off(c, sync(z, u, v)) == z
+	in companyC1_add(a1, sync(z, u, v)) == u
+	in companyC2_add(a2, sync(z, u, v)) == v
+	out customerB_add(a3:String, sync(z, u, v)) == if(eq(z, C1), u, if(eq(z, C2), v, nil))
 }