É uma linguagem declarativa para descrever as regras que se aplicam aos modelos UML desenvolvida na IBM e que agora é parte do padrão UML.
ɛ ˌumɐ lˌiŋɡwˈaʒeɪŋ dˌɨklɐɾɐtˈivɐ pˌɐɾɐ dˌeʃkɹɨvˈeɹ ɐʒ ʁˈɛɡɹɐʃ kɨ sɨ ˌɐplˈikɐ̃ʊ̃ aʊʒ mˌudˈelʊz ˌuˌɛmʲˈɛl dˌɨzeɪŋvulvˈidɐ nɐ ˌibˌeˈɛm i kɨ ˌɐɡˈɔɾɐ ɛ pˈaɾətɨ dʊ pɐdɹˈɐ̃ʊ̃ ˌuˌɛmʲˈɛl.