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