diff --git a/AlgebraicDataflowArchitectureModel/models/GroupChat.model b/AlgebraicDataflowArchitectureModel/models/GroupChat.model index d8b0c42..f199175 100644 --- a/AlgebraicDataflowArchitectureModel/models/GroupChat.model +++ b/AlgebraicDataflowArchitectureModel/models/GroupChat.model @@ -19,9 +19,9 @@ } channel Notify(gid:Str) { - in groups.{gid}.messages(prevMesList, notify(id)) = mesList + in groups.{gid}.messages(prevMesList, notify(m)) = mesList for EachMember(mno:Int) { - ref groups.{gid}.members.{mno}(id:Str, notify(id)) - out accounts.{id}.notifications(prevNtMap:Map, notify(id)) = insert(prevNtMap, gid, true) + ref groups.{gid}.members.{mno}(m.{mno}:Str, notify(m)) + out accounts.{m.{mno}}.notifications(prevNtMap:Map, notify(m)) = insert(prevNtMap, gid, true) } }