Profile contract
flow.documented@2
Adds on-page connectors, matched off-page continuations, storage and non-control annotations.
graph projectionDocumented flowchart · Cross-page flowchart
Open this profile in the gallery
Primary palette
Additional context roles
flow.acceptsignalflow.callconversationflow.cardflow.choreotaskflow.collateflow.conversationflow.datainputflow.dataobjectflow.dataoutputflow.datastoreflow.delayflow.displayflow.flowfinalflow.forkjoinflow.gatewayflow.groupflow.intermediateflow.isoextractflow.isomergeflow.loopendflow.loopstartflow.manualinputflow.manualopflow.mergeflow.objectnodeflow.parallelmodeflow.preparationflow.sendsignalflow.sortflow.subconversationflow.timeeventRelationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
flow.annotation | flow.annotation | flow.connector, flow.decision, flow.document, flow.end, flow.io, flow.offpage, flow.process, flow.start, flow.storage, flow.subprocess | Not allowed |
flow.continues | flow.card, flow.collate, flow.delay, flow.display, flow.isoextract, flow.isomerge, flow.loopend, flow.loopstart, flow.manualinput, flow.manualop, flow.offpage, flow.parallelmode, flow.preparation, flow.sort | flow.card, flow.collate, flow.delay, flow.display, flow.isoextract, flow.isomerge, flow.loopend, flow.loopstart, flow.manualinput, flow.manualop, flow.offpage, flow.parallelmode, flow.preparation, flow.sort | Not allowed |
flow.next | flow.card, flow.collate, flow.connector, flow.decision, flow.delay, flow.display, flow.document, flow.end, flow.io, flow.isoextract, flow.isomerge, flow.loopend, flow.loopstart, flow.manualinput, flow.manualop, flow.offpage, flow.parallelmode, flow.preparation, flow.process, flow.sort, flow.start, flow.storage, flow.subprocess | flow.card, flow.collate, flow.connector, flow.decision, flow.delay, flow.display, flow.document, flow.end, flow.io, flow.isoextract, flow.isomerge, flow.loopend, flow.loopstart, flow.manualinput, flow.manualop, flow.offpage, flow.parallelmode, flow.preparation, flow.process, flow.sort, flow.start, flow.storage, flow.subprocess | Not allowed |
Profile verification
- Completed control flow needs a start and end; starts have no incoming and ends no outgoing control edge.
- Every decision has at least two outgoing edges with distinct, nonempty author branch labels.
- Every active node is reachable from a start and can reach an end; cycles are allowed when an exit remains possible.
- Annotations are attached through flow.annotation and excluded from control reachability.
- Off-page continuation keys have exactly one outgoing and one incoming connector, with a matching directed flow.continues link; a label alone does not connect pages.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "flow.documented@2"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Drop a flow symbol, connect next edges, name decision branches, validate reachability.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- all accounting stencils
- workflow execution