SYSML16 — Support BDD's for State Machines

One very powerful organizational technique of SysML is the pairing of definitional diagrams with usage diagrams

BDD (for Blocks) IBDs

BDD (for Activities) ACTs

BDD (for Constraint Blocks) PARs

The BDD form identifies the elements (structural, functional, constraint) and the 2nd form assembles the elements using detailed design techniques suitable for the element form.

It would be convenient and symmetric to support a similar diagram for for State Machines

BDD(for States) STMs

In the past, Class diagrams for States (in UML 1.x) were used. However, it appears that UML 2.x has deleted the ability to use inheritance relationships among states. Though we could look to UML to fix this, I believe it is possible to model state->substate relationships as compositions without a change to UML to produce a satisfactory conclusion.

Defer

Postponed to the next RTF