PSSM
Precise Semantics of UML State Machines
The Precise Semantics of UML State Machines (PSSM) specification is an extension of the Semantics of a Foundational Subset for Executable UML Models standard (known as 'Foundational UML' or 'fUML') [fUML] that defines the execution semantics for UML state machines. Syntactically, this specification extends fUML with a (large) subset of the abstract syntax of state machines as given in the OMG Unified Modeling Language specification.
Machine Readable Files
OMG File ID | URL | Format | Description | Appears in |
---|---|---|---|---|
ptc/18-11-06 | PSSM/20181101/PSSM_TestSuite.xmi | XMI | PSSM 1.0 Test Suite XMI | 1.0 |
ptc/18-11-04 | PSSM/20181101/PSSM_Syntax.xmi | XMI | PSSM 1.0 Syntax Model XMI | 1.0 |
ptc/18-11-05 | PSSM/20181101/PSSM_Semantics.xmi | XMI | PSSM 1.0 Semantics Model XMI | 1.0 |
Links
- Members Only
- https://www.omg.org/members/spec/PSSM/machine-readable
- Contact:
- Send a question ⓘ