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.
- Title:
- Precise Semantics of UML State Machines
- Acronym:
- PSSM
- Version:
-
1.0
- Document Status:
-
formal ⓘ
- Publication Date:
- May 2019
- IPR Mode ⓘ
- Non-Assert ⓘ
Table Of Contents
- About the Specification
- Companies that have contributed to the development of this Specification
- Issues associated with this specification
- Specification Documents
- History
- Links
Companies that have contributed to the development of this Specification
- Copyright © 2016 Airbus Group
- Copyright © 2016; 2018 Commissariat a l Energie Atomique CEA
- Copyright © 2016; 2018 Data Access Technologies, Inc.
- Copyright © 2016 LieberLieber Software
-
Copyright © 2016
No Magic, Inc.now ( Dassault Systemes ) - Copyright © 2017; 2019 Object Management Group
- Copyright © 2016 Simula Research Laboratory
Issues associated with this specification
Issues Reported in this Specification
‐
Version 1.0 only
Specification Documents
Normative Documents
| Description | Format | URL | OMG File ID |
|---|---|---|---|
| Specification |
PSSM/1.0/PDF
|
formal/19-05-01 |
Normative Machine Readable Documents
| Description | Format | URL | OMG File ID |
|---|---|---|---|
| PSSM 1.0 Syntax Model XMI | XMI |
PSSM/20181101/PSSM_Syntax.xmi
|
ptc/18-11-04 |
| PSSM 1.0 Semantics Model XMI | XMI |
PSSM/20181101/PSSM_Semantics.xmi
|
ptc/18-11-05 |
| PSSM 1.0 Test Suite XMI | XMI |
PSSM/20181101/PSSM_TestSuite.xmi
|
ptc/18-11-06 |
History
Formal Versions
| Version | Adoption Date | URL |
|---|---|---|
| 1.0 | May 2019 | https://www.omg.org/spec/PSSM/1.0 |
Links
- This Document:
- https://www.omg.org/spec/PSSM/1.0/About-PSSM
- RDF
- https://www.omg.org/spec/PSSM/1.0/About-PSSM.rdf
- JSON-LD
- https://www.omg.org/spec/PSSM/1.0/About-PSSM.jsonld
- Latest Document:
- https://www.omg.org/spec/PSSM
- RDF
- https://www.omg.org/spec/PSSM/About-PSSM.rdf
- JSON-LD
- https://www.omg.org/spec/PSSM/About-PSSM.jsonld
- All Machine Readable:
- https://www.omg.org/spec/PSSM/machine-readable
- Members Only
- https://www.omg.org/members/spec/PSSM/1.0
- Supersedes:
- https://www.omg.org/spec/PSSM/1.0/Beta2
- Contact:
- Send a question ⓘ