"formell modellering" er et 19-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Modellering ved bruk av formelle språk.