"formell beskrivelse" er et 19-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: En presis og strukturert beskrivelse av data eller systemer.