OMG Formal Specifications

This page is an alphabetical listing of all specifications that are either working through the FTF/RTF process or have been published as formal specifications. You will find schema information here as well.

Click here to go to the Catalog of OMG Specifications page. Specifications are listed within categories derived from the OMG's Model Driven Architecture and existing specifications.

 

A	B	C	D	E
ADA ALMAS AMSM ASTM ATC ATLAS AVSTR	BMM BPDM BPMM BPMN BQS BSA	C C2WSDL CAD CCCMP CCM CCMP CDSS COAS COBOL COLL CONC CORBA CORBABINDING CORBAe CORP CPP CSAR CURR CWM	DAIS DDS dds4ccm DDSI DDS-XTypes DEPL DPP DSS	EAI EDOC EIS EVNT EVoT EXPRESS EXT
F	G	H	I	J
FT FTAM FTF FUML	GEMS GENE GMAPS	HDAIS HUTN	I2JAV IFR ITFAC	JAV2I
K	L	M	N	O
KDM	LECIS LEDG LFCYC LIC LIS LISP LQS LSAE LtLOAD LtLOG LtSVC LW-LDB LWFT	MACSTR MARTE MDMI MED MIPS MOBFAC MOF MOF2I MOFFOL MOFM2T MOFVD MPG	NAM NEG NOT NOTJMS	OCL ODM ONUP OTS
P	Q	R	S	T
PAGE-OM PARTY PDME PIDS PKI PL1 PLM PROP PRR PSS PYTH	QFTP QOSCCM QUER QVT	RAD RAS RCLM REL RFLEC RLS RLUS RMS RT RTC	SBVR SCCP SCRPT SDO SDRP SEC SMART smartant SMM SNP SoaML SoCP SOPES SPEM SPTP ST SURV SysML	TEMPL TIME TLOG TMN TRADE TRANS TSAS TSKSES
U	V	W	X	Y
UML UML4DDS UMLDI UMS UPDM UTP	VOICP	WATM WfMF WSDL2C	XMI XML XTCE
Z
ZIOP