ГОСТ Р ИСО 13584-42—2012
к ссылочному словарю как в момент времени t, так и в момент времени t +1, т.е. ко всем различным
версиям ссылочного словаря;
- другое решение определяется правилами управления изменением словаря, определенными
в настоящем стандарте. Оно позволяет использовать только одну версию ссылочного словаря, а имен
но — более позднюю версию всех словарных элементов.
Данное решение, называемое принципом онтопогической непрерывности, ограничивает допу
стимые изменения теми, которые гарантируют, что любая характеристика продукции, определенная в
момент времени time = t, со ссылочным словарем, существующим в данный момент времени, сохра няем
свой смысл, если она интерпретируется ссылочным словарем, существующим в момент времени timo = t
+1. Следовательно, смысл словарного элемента, введенного в некоторый момент времени, бу дет
сохранен в будущем.
П р и м е ч а н и е 3 — В течение всего времени жизни описание ссылочного словаря может содержать
небольшие ошибки («опечатки»). Словарь также нужно постоянно редактировать, чтобы отслеживать технологиче
ские усовершенствования. И, наконец, определения ссылочного словаря могут содержать концептуальные ошиб
ки. когда следует изменять смысл класса и/или свойства.
Правила управления изменением словаря, установленные в настоящем разделе, классифициру
ют различные изменения, потребность в которых возникает в течение срока службы ссылочных сло
варей. В настоящем разделе также установлен порядок внесения изменений при условии, что смысл
рассматриваемого понятия сохраняется, и он ассоциируется с существующей характеристикой.
9.2 Пересмотры и версии
Эффективность вносимого изменения зависит от его влияния на существующие и будущие харак
теристики. Сначала мы определяем, что означает тот факт, что характеристика соответствует ссылоч
ному словарю.
Пусть;
- О, — это ссылочный словарь О в момент времени time = t:
- С, — классы ссылочного словаря О в момент времени timo = t;
- Р, — свойства ссылочного словаря О в момент времени time = t;
- applicable_propertiest — функции, которые ставят в соответствие каждому классу С, его при
менимые свойства из Р, в момент времени time = t;
П р и м е ч а н и е 1 — Сущность applicable_propertiest (Class_ct) включает все свойства, объявленные
атрибутом described_by сущности class, определяющей сущность Class_ с,, если сущность Class _ с, представ
ляет собой условный класс и свойства, импортированные сущностью imported_properties. входящие в класс
Class_c, — все применимые свойства допустимых суперклассов для класса Class _ct.
- domain, — функция, которая ставит в соответствие каждому свойству Pi, в Р, его область значе
ний в момент времени time = t.
П р и м е ч а н и е 2 — Сущность domaint(Pi.) представляет собой область значений, объявленную атрибу
том domain сущности property_det, определяющей свойство Pi в момент времени time = t.
Характеристика х, удовлетворяет требованиям ссылочного словаря О,, если и только если х, мо
жет быть представлена как реализация О,. Это означает, что:
- х, принадлежит одному классу С,, например. C lassic,;
- х, характеризуется значениями нескольких свойств, например. Р1,. Р2.
.....
Рп,;
- Р1,. Р2,
.....
Рп, принадлежат Р,;
- Р1,. Р2,
.....
Рп, — свойства, применимые в классе Class_с,;
П р и м е ч а н и е 3 — Свойства Р1,. Р2,
.....
Рп, могут быть набором всех свойств, применимых в классе
Class _с,. Они также могут быть подмножеством данного множества.
- для каждого свойства P t , Р2.......Рп, значение, назначенное данному свойству, принадлежит об
ласти значений данного свойства в момент времени time = t по определению функции domain,(Pi,)t
i = 1......п.
Формально х, удовлетворяет требованиям ссылочного словаря О,, если пользователь
словаря может записать это в виде:
х, = Class_c,(P1, = v t Р2, = v2....Ргц = vn)
32