diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
index 42cdf13..5714436 100644
--- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
+++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
@@ -1,21 +1,21 @@
-channel CIO_AddCustomer {
-	out customers(db:Map, addCustomer(uid:Str, off:Str)) = insert(db, uid, {"off": off})
+channel AddCustomer {
+	out customers(csDB:Map, addCustomer(uid:Str, office:Str)) = insert(csDB, uid, {"office": office})
 }
 
-channel CIO_AddCampany {
-	out companies(db:Map, addCampany(cid:Str, add:Str)) = insert(db, cid, {"add": add})
+channel AddCampany {
+	out companies(cmDB:Map, addCampany(cid:Str, address:Str)) = insert(cmDB, cid, {"address": address})
 }
 
-channel CIO_SetCustomerOff(uid:Str) {
-	out customers.{uid}.off(cid:Str, setOff(cid2)) = cid2
+channel SetCustomerOffice(uid:Str) {
+	out customers.{uid}.office(prevCid:Str, setOffice(cid)) = cid
 }
 
-channel CIO_SetCompanyAdd(cid:Str) {
-	out companies.{cid}.add(a1:Str, setAdd(a2)) = a2
+channel SetCompanyAddress(cid:Str) {
+	out companies.{cid}.address(prevAdd:Str, setAddress(add)) = add
 }
 
-channel C(uid:Str) {
-	in customers.{uid}.off(cid, sync(cid2, add2)) = cid2
-	in companies.{cid2}.add(a1, sync(cid2, add2)) = add2
-	out customers.{uid}.add(a3:Str, sync(cid2, add2)) = add2
+channel UpdateCustomerAddress(uid:Str) {
+	in customers.{uid}.office(prevCid, updateCustomerAddress(cid, add)) = cid
+	in companies.{cid}.address(prevAdd, updateCustomerAddress(cid, add)) = add
+	out customers.{uid}.address(prevAdd, updateCustomerAddress(cid, add)) = add
 }