Profile contract
dfd.gane_sarson@1
Numbered three-compartment processes; open-ended stores and external entities.
graph projectionGane–Sarson DFD
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
dfd.data | dfd.external, dfd.process, dfd.store | dfd.external, dfd.process, dfd.store | Not allowed |
Profile verification
- Each process has a distinct nonempty process number and both incoming and outgoing data flow.
- Every flow has a process at one end; external-to-store, store-to-store and external-to-external bypasses are rejected.
- Preserve the selected method silhouettes: Gane–Sarson numbered three-compartment process/open store; Yourdon circular process/parallel-line store.
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": "dfd.gane_sarson@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create process/store/external node; edit process number and label; connect named data flows.
- Keep the two profiles separately selectable; switching changes presentation while preserving shared semantic references.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- method certification
- automatic context balancing across arbitrary diagrams