Skip to content
GitLab

EDP Use Case · Changes

Page history
Update EDP Use Case authored by Diogo Ye's avatar Diogo Ye
Hide whitespace changes
Inline Side-by-side
DCR-Choreographies/EDP-Use-Case.md
View page @ 507f6e92
......@@ -56,11 +56,11 @@ 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 that is 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 of all the events in the process.
---
The process is composed of the following events which represent the information of each prosumer (computation events).
The process is composed of the following events representing each prosumer's information (computation events).
```ruby
(pInfo_1:Info) (Z;Z) ['Electric Vehicle'] [P(0)]
......