diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model index 07e5d80..b3ddeb5 100644 --- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model +++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model @@ -2,6 +2,10 @@ out customers(db:Map, addCustomer(uid:Str, off:Str)) == insert(db, uid, {"off": off}) } +channel CIO_AddCampany { + out companies(db:Map, addCampany(cid:Str, add:Str)) == insert(db, cid, {"add": add}) +} + channel CIO_SetCustomerOff(uid:Str) { out customers.{uid}.off(cid:Str, setOff(cid2)) == cid2 }