Семантично затворени абстракция на система или пълно описание на система от определена гледна точка. Примери включват употреба случай, архитектура и домейн модели и код.