This page provides a summary of OMG specifications that have either been formally published or are in the finalization process.
|UML Profile for MARTE||MARTE||1.0||formal||November 2009|
|UML Profile for MARTE||MARTE||1.2||formal||April 2019|
|Quality of Service for CCM||QOSCCM™||1.1||formal||September 2008|
|UML Profile for Schedulability, Performance, & Time||SPTP™||1.0||formal||September 2003|
|UML Profile for Schedulability, Performance, & Time||SPTP™||1.1||formal||January 2005|
|Unified Modeling Language||UML®||2.4.1||formal||July 2011|