Labeled Flow

A Flow with an explicit name associated with it is a labeled flow.

Identifiers

1. ID + Activity + Domain
2. Name + Activity + Domain

Attributes

Name

A descriptive name. Flow names need not be unique. This is helpful when a flow is modified by adding or removing instances or tuples by some Action. See Restriction Condition for an example.

All flow label names within an Activity must be unique. As with any Flow, the same Labeled Flow may be the source for many destinations, so, when drawn as a data flow diagram, you may see the same name flowing out on multiple arrows emanating from the same source. But this is still a single flow with a single label.

Type: Flow Name, based on String