Profile contract
state.composite@1
Composite states as frames containing substates; dashed parallel regions; boundary-crossing transitions with event/guard labels.
graph projectionHierarchical/composite state diagram
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
state.transition | state.initial, state.state | state.final, 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.
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": "state.composite@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
- trace evaluation (state.flat@1 only)
- history pseudostates
- SCXML/UML conformance
- timers and executable actions