Formal Specifications

ArchiMate^®

• ArchiMate® 3.0 online [The Open Group]

BPMN – Business Process Model and Notation

• The Business Process Modeling and Notation Specification [OMG]

MOF – Meta Object Facility Core

• The Meta Object Facility Code Specification [OMG]

OCL – Object Constraint Language

• The Object Constraint Language Specification [OMG]

SysML – OMG Systems Modeling Language

• The Systems Modeling Language Specification [OMG]

TOGAF – The Open Group Architecture Framework

• The Open Group Architecture Framework Specification [The Open Group]
• TOGAF 9.1 online [The Open Group]

UML – Unified Modeling Language

• The Unified Modeling Language Specification [OMG]

XMI – XML Metadata Interchange

• The XML Metadata Interchange Specification [OMG]