Kolejnym rozwiązaniem jest stosowanie technik formalnego modelowania. Pozwalają one przedstawić wiedzę, którą użytkownik musi posiadać, oraz działania, które musi wykonać, aby zrealizować swoje zadanie w systemie komputerowym. Ważne jest, że uzyskiwane wyniki mają postać modelu, który można analizować. Pozwala to ocenić stopień, w jakim systemy spełniają wymagania dotyczące funkcjonalności, łatwości obsługi i nauki. Innymi słowy jest to oszacowanie mówiące jak skutecznie użytkownik będzie mógł zrealizować określone zadanie w stworzonym projekcie.
Ogólny schemat wykorzystywania modeli technicznych w procesie projektowania interfejsu, rozpoczyna się od wstępnej analizy zadania i zaproponowania początkowej formy interfejsu. Następnie tworzone są modele techniczne w celu identyfikacji problemów użyteczności. Nie jest wymagany działający system, więc można stosować je we wczesnych etapach rozwoju oprogramowania. Modele techniczne posiadają wiele zalet w porównaniu z innymi metodami poznawczymi. Stosowanie formalnej notacji umożliwia automatyzację etapów związanych z projektowaniem interfejsu oraz wydajnie wspomaga proces prototypowania i testowania. Korzystanie z modeli technicznych pozwala uzyskać odpowiedzi na pytania dotyczące użyteczności interfejsów znacznie mniejszym nakładem sił i kosztów niż testowanie doświadczalne.
Prawdopodobnie najczęściej przytaczany przykład modelu technicznego stanowi GOMS. Jest to użyteczne i sprawdzone praktycznie narzędzie, które zachowanie użytkownika przedstawia w formie opisu struktury zadania. GOMS jest prekursorskim dziełem wśród modeli technicznych. Okazał się jednak na tyle skutecznym rozwiązaniem, iż obecnie stanowi jeden z najszerzej badanych i rozwijanych modeli.
Projektowanie interfejsu użytkownika jest ważnym zagadnieniem związanym z wytwarzaniem oprogramowania. W pewnych sytuacjach niska jakość interfejsu może spowodować nawet zagrożenie ludzkiego życia. Zapewnienie użyteczności interfejsu ma priorytetowe znaczenie i wymaga stosowania różnych metod wspomagających proces projektowania. Jedną z nich jest GOMS. Polega ona na budowaniu modelu zadania wykonywanego przez użytkownika. Technika GOMS pozwala opracować przyjazny interfejs przy znacznej oszczędności czasu i kosztów związanych z testowaniem.
19