Эффективность вносимого изменения зависит от его влияния на существующие и будущие характеристики. Сначала мы определяем, что означает тот факт, что характеристика соответствует ссылочному словарю.
Пусть:
- 
- это ссылочный словарь О в момент времени time = t;
- 
- классы ссылочного словаря О в момент времени time = t;
- 
- свойства ссылочного словаря О в момент времени time = t;
- applicable_properties
- функции, которые ставят в соответствие каждому классу его применимые свойства из в момент времени time = t;
Примечание 1 - Сущность applicable_properties
(Class_c) включает все свойства, объявленные атрибутом described_by сущности class, определяющей сущность Class_c, если сущность Class_c представляет собой условный класс и свойства, импортированные сущностью imported_properties, входящие в класс Class_c - все применимые свойства допустимых суперклассов для класса Class_c.
- domain - функция, которая ставит в соответствие каждому свойству Pi в P его область значений в момент времени time = t.
Примечание 2 - Сущность domain(Pi) представляет собой область значений, объявленную атрибутом domain сущности property_det, определяющей свойство Pi в момент времени time = t.
Характеристика x удовлетворяет требованиям ссылочного словаря O, если и только если x может быть представлена как реализация O. Это означает, что:
- x принадлежит одному классу C, например, Class_c;
- x характеризуется значениями нескольких свойств, например, P1, P2.....Pn;
- P1, P2.....Pn принадлежат P;
- P1, P2.....Pn - свойства, применимые в классе Class_c;
Примечание 3 - Свойства P1, P2, ..., Pn могут быть набором всех свойств, применимых в классе Class_c. Они также могут быть подмножеством данного множества.
- для каждого свойства P1, P2, ..., Pn значение, назначенное данному свойству, принадлежит области значений данного свойства в момент времени time = t по определению функции domain(Pi), i=1, ..., n.
Формально x удовлетворяет требованиям ссылочного словаря O, если пользователь словаря может записать это в виде:
x = Class_c(P1 = v1, P2 = v2, ..., Pn = vn)
При условии:
Class_c
O, P1O, P2O, ..., PnO
^P1applicable_properties(Class_C) ^P2applicable_properties (Class_C)
^...^_Pnapplicable_properties(Class_c)
^v1 domain (P1) ^ v2domain (P2) ^...^ vndomain(Pn)
Множество всех характеристик х, удовлетворяющих требованиям словаря О, называется совокупностью Pop О. Определение совокупности:
Pop= все х, удовлетворяющие требованиям О
Будем говорить, что:
- Pop и х удовлетворяют требованиям O;
- O интерпретирует Pop и х.
