R54

R54 / 1c:Mc-1

Process Input Port consumes zero or one Process Output Port

Process Output Port feeds zero, one or many Process Input Port

---

If a Process Input Port consumes data from a Process Output Port we ensure that the Content conveyed on each side matches.

A Process Output Port can distribute data to any number of destinations of which one possibility is a Process Input Port.

Formalization

Process Connection.(Input Port, Input process, Graph, Content) ->
    Process Input Port.(Name, Process, Graph, Content)
Process Connection.(Output port, Output process, Graph, Content) ->
    Process Output Port.(Name, Process, Graph, Content)

By referencing the super-identifier which includes the Content attribute, we ensure that both input and output convey compatible Content.

The Graph is also shared, so that a Process may only connect to another Process on the same Graph.

Constraints

A Process may not cycle input into itself because we would have no guarantee that the Graph would ever complete execution.

Input process != Output process