Семантически полная абстракция системы. Это полное описание системы с определенной точки зрения (полнотой называется состояние, при котором для понимания системы с соответствующей точки зрения не требуется дополнительная информация). Модель состоит из совокупности элементов модели. Модели не могут пересекаться.