| ... | ... | @@ -8,7 +8,7 @@ A DCR choreography defines messages, and data, exchanged between different actor |
|
|
|
|
|
|
|
By leveraging DCR Choreographies, the TaRDIS toolkit can support more intricate workflows that go beyond simple state machines, allowing for an expressive, flexible and extendable programming language that can be used to design the application layer of swarms in decentralised and dynamic environments.
|
|
|
|
|
|
|
|
# Modeling with DCR Choreographies
|
|
|
|
# DCR Choreographies for Swarm Applications
|
|
|
|
An _Energy Community_ describes a network/swarm designed to promote the efficient trading of energy resources. In these communities, distributed nodes, dubbed "_prosumers_", describe swarm participants that produce and/or consume energy. Below, we illutraste the use of DCR Choreographies to model two scenarios from the described use case.
|
|
|
|
|
|
|
|
[Simple EDP Use Case](DCR Choreographies/Simple EDP Use Case)
|
| ... | ... | |
