Skip to content
GitLab

EDP Use Case · Changes

Page history
Update EDP Use Case authored by Nuno Fernandes's avatar Nuno Fernandes
Hide whitespace changes
Inline Side-by-side
DCR-Choreographies/EDP-Use-Case.md
View page @ a5e8c040
......@@ -56,7 +56,8 @@ reject_2 -->% reject_2
There is only one role, Prosumer represented as P, and to identify each prosumer, we parameterize the role with an id, _e.g:_ `P(1)`.
> **NOTE**: The roles are defined in the first lines of the process and are used to identify the prosumers in the process. The role `Z` is a dummy role used to define the security lattice and information flow of all the events in the process.
> **NOTE**: The roles are defined in the first lines of the process and are used to identify the prosumers in the process. The role `Z` is a dummy role used to define the security lattice and information flow control (IFC) of all the events in the process. For the sake of simplicity, we ignore IFC in this example.
---
......