diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model index c587fb7..07e5d80 100644 --- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model +++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model @@ -1,3 +1,7 @@ +channel CIO_AddCustomer { + out customers(db:Map, addCustomer(uid:Str, off:Str)) == insert(db, uid, {"off": off}) +} + channel CIO_SetCustomerOff(uid:Str) { out customers.{uid}.off(cid:Str, setOff(cid2)) == cid2 } @@ -7,7 +11,7 @@ } channel C(uid:Str) { - in customers.{uid}.off(cid, sync(cid2, a2)) == cid2 - in companies.{cid2}.add(a1, sync(cid2, a2)) == a2 - out customers.{uid}.add(a3:Str, sync(cid2, a2)) == a2 + 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 }