Profile contract
flow.basic@1
Start/end, process, decision, I/O, document and predefined process; named branches.
graph projectionConventional flowchart · Accounting/audit flowchart
Open this profile in the gallery
Primary palette
Additional context roles
flow.acceptsignalflow.annotationflow.callconversationflow.cardflow.choreotaskflow.collateflow.connectorflow.conversationflow.datainputflow.dataobjectflow.dataoutputflow.datastoreflow.delayflow.displayflow.flowfinalflow.forkjoinflow.gatewayflow.groupflow.intermediateflow.isoextractflow.isomergeflow.loopendflow.loopstartflow.manualinputflow.manualopflow.mergeflow.objectnodeflow.offpageflow.parallelmodeflow.preparationflow.sendsignalflow.sortflow.storageflow.subconversationflow.timeeventRelationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
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.
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.basic@1"
}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
- execution
- complete standardized accounting symbol inventory