"formell modell" er et 14-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: En modell som er definert med formelle regler.