ГОСТ РИСО 21090—2016
Поскольку эта форма равенства носит сугубо семантический характер, то определения равенства
могут зависеть от типа данных и установление равенства может оказаться непростым. Элементы об
работки информации, объявляющие непосредственное соответствие настоящему стандарту, должны
удовлетворять этим определениям равенства. Элементы обработки информации, объявляющие кос
венное соответствие настоящему стандарту, должны точно указывать, что определения равенства при
менимы.
Атрибуты тонкости типов данных не влияют на определение равенства.
7.1.3 История и журнал изменений
Базовый тип данных HXIT определяет свойства, используемые для указания интервала време
ни validTime. в течение которого значение было, есть или будет действительно, а также для указания
идентификации события, ассоциированного с изменениями, известной как контрольная информация.
Свойство validTime используется не для регистрации изменений, а для отслеживания того, ког
да конкретная система ассоциировала конкретную версию данных с понятием; оно позволяет делать
утверждения о периоде времени, в течение которого элемент данных был правильным описанием по
нятия. Например, во многих странах лицо может изменить свою фамилию при замужестве или иными
законными способами, поэтому конкретная фамилия ассоциируется с лицом в течение ограниченного
времени. Аналогично, адреса и другая контактная информация лица могут изменяться при его пере
езде в другое место.
Контрольная информация представляет собой идентификатор некоторого события, произошед
шего в информационной системе, ассоциируемый с контрольной информацией об изменении в системе
этого элемонта данных. Эта информация специфично связана с привязкой в системах значения этого
элемента данных к понятию, которое его описывает. Контрольная информация может использоваться
для ведения журнала изменений значений при многократной передаче из одной системы в другую.
До полнительные детали см. в 7.3.2.
Различные спецификации, использующие настоящий стандарт, могут предлагать альтернативные
способы представления этой истории и состава журнала изменений, особенно второй части, относя
щейся к журналу изменений. В таких случаях спецификации должны содержать указание, обычно в сво ем
объявлении соответствия, каким образом эта информация обработана и потенциально отображена на
свойства, определенные в настоящем стандарте.
Типы данных неизменны — их значение не может измениться. Понятия срока действия и кон
трольной информации не применимы к типам данных. Поэтому в тех случаях, когда тип данных повтор но
использована как тип атрибута другого типа данных, инвариантные выражения будут указывать, что
атрибуты срока действия и контрольной информации должны быть пустыми.
7.1.4 Пустые значения и атрибут причины пустоты nullFlavor
В описании базового типа ANY введено понятие, называемое nullFlavor (атрибут тонкости, описы
вающий причину пустоты). Хотя это понятие имеет некоторую связь с пустым значением null, опреде
ленным в языках UML и OCL, это не одно и то же, и для правильной реализации настоящего стандарта
необходимо понимать связь и различия между этими двумя понятиями.
Любой экземпляр класса, определенного в настоящем стандарте, может быть пустым. Это соот
ветствует понятию null, определенному в языках UML и OCL. Пустой экземпляр представляет собой
экземпляр типа OcIVoid и соответствует всем типам данных. Он не несет никакой другой информацию
кроме той, что факт отсутствует. Для задания ограничений на использование этой формы пустоты в
атрибутах типов данных, определенных в настоящем стандарте, использованы операции oclIsDefined и
ocllsUndefined языка OCL.
С другой стороны, может быть создан экземпляр класса, и его причине пустоты nullFlavor может
быть присвоено одной из значений, входящих в перечисление NullFlavor.
В этом случае значение класса называется исключительным типа nullFlavor. Это означает, что
такое значение представляет собой исключение из нормального домена значений этого типа. Но из
этого не следует, что экземпляр класса, представляющий исключение, не связан правилами, опре
деленными в настоящем стандарте; он тем не менее должен удовлетворять описанным в стандарте
инвариантам. Однако для исключительных значений многие из этих правил отличаются, поскольку эти
значения представляют собой семантическое исключение из нормальных данных. Все исключи
тельные значения должны иметь причину пустоты nullFlavor, которая предоставляет более точную ин
формацию о том, почему значение является исключением из правил. Противоположностью исключи
тельного значения является правильное значение, то есть значение, у которого отсутствует причина
пустоты nullFlavor.
14