R807

R807 / 1:Mc

Activity communicates internally with zero, one or many Flow

Flow communicates with exactly one Activity

---

Data flows into and within a single Activity.

Inward flowing data is in the form of Input Parameters.

Outwardly communicated data is in the form of primitive Actions such as attribute read and write access, signaling, or in the case of some Synchronous Activities, a Synchronous Output.

This means that we define any given Flow locally to some Activity.

Since an Activity may or may not define any Actions, it is certainly possible to define an Activity wihtout any Flows.

Formalization

Flow.(Activity, Domain) -> Activity.(ID, Domain)