Profile contract
sdl.process@1
SDL (ITU-T Z.100) process level: state-machine machinery with SDL process symbols — start, state, input (accept flag, priority/spontaneous/continuous/active markers via x_sdl), output (send flag), decision, task, save, create, timer declarations (sdl.timer) with set/reset nodes; procedure references as subprocess silhouettes.
graph projectionSDL process diagram
Open this profile in the gallery
Primary palette
Additional context roles
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
state.transition | sdl.create, sdl.input, sdl.output, sdl.procedure, sdl.reset, sdl.save, sdl.set, sdl.task, state.choice, state.initial, state.junction, state.state | sdl.create, sdl.input, sdl.output, sdl.procedure, sdl.reset, sdl.save, sdl.set, sdl.task, state.choice, state.final, state.junction, state.state | Allowed |
Profile verification
- Frames define composite regions with at most one initial marker per region.
- Preserve region nesting and transition labels; do not apply the flat trace evaluator to a hierarchical diagram.
- Add shallow/deep history, junction, choice, entry/exit point, fork/join and terminate pseudostates.
- Choice has at least two outgoing, junction has incoming/outgoing, terminate has no outgoing; history and entry/exit need a composite region.
- Entry/exit/do/internal compartments belong to state.state; submachine reference resolves to a different state. Time triggers retain after(...), at(...), when(...) form; guard/effect text is not executable.
- Exactly one start; input/output/task/save/create/set/reset nodes have an outgoing transition.
- Timer references resolve to timer declarations; priority/spontaneous/continuous/active markers are legal only on their permitted owners.
- Preserve SDL input/output/save/procedure silhouettes and the reused state-machine rules without executing the process.
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": "sdl.process@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create composite state and scoped region frames; place states; connect transitions; edit textual annotations.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- SDL interchange formats
- process simulation
- formal ITU conformance