ГОСТ Р И С 0 10303-11— 2009
Данный элемент принадлежит области определения, установленной данным многолепестковым сложным
объектным типомданных.
3.3.14 частичный сложный объектный тип данных (partial complex entity data type): Потенциаль
ное представление объекта. Частичный сложный объектный типданных является группировкой объектных
типовданныхв графе подтипов/супертипов. которая может частично или полностью формироватьсложный
объектный тип данных.
3.3.15 значение частичного сложного объекта (partial complex entity value): Значение частичного
сложного объектного типаданных. Данное значение само по себе не имеет смысла идолжно объединяться с
другими значениями частичного сложного объекта и с именем для формирования экземпляра сложного
объекта.
3.3.16 совокупность (population): Множество экземпляров объектного типаданных.
3.3.17 основная схема (primary schema): Схема в группе взаимосвязанных схем, образующая ори
ентированный граф, возможно, циклический. Основная схема является предметом интереса. В графе могут
существовать одна или несколько основных схем, тогда как остальные схемы графа служат только для
поддержки основных схем. Основная схема играет особую роль в преобразовании из короткой формы
схемы вдлинную форму (см. приложение G).
3.3.18 корневая схема (root schema): Схема в группе взаимосвязанных схем, образующая ориенти
рованный граф, возможно, циклический. Корневая схема не является целью в какой-либо спецификации
интерфейса, но все другие схемы должны быть достижимы из корневой схемы. Корневая схема может
рассматриваться в качестве представителя графа. Корневая схема играет особую роль в преобразовании
из короткой формы схемы вдлинную форму (см. приложение G).
3.3.19 экземпляр простого объекта (простого объектного типа данных) [simple entity (data type)
instance]: Именованный элемент данных, представляющий блок информации в рамках класса, определен
ного объектом. Данный элемент принадлежитобласти определения, установленной отдельным объектным
типом данных.
3.3.20 граф подтипов/супертипов (subtype/supertype graph): Объявленная совокупность объектных
типов данных. Объектные типыданных, объявленные в графе подтипов/супертипов. связаны черезформу
лировку подтипов. Граф подтипов/супертипов определяет один или несколько сложных объектных типов
данных.
3.3.21 лексема (token): Не подлежащий декомпозиции лексический элемент языка.
3.3.22 значоние (value): Элемент данных.
4 Требования соответствия
4.1 Формальные спецификации, написанные на языке EXPRESS
4.1.1 Лексический язык
Формальная спецификация, написанная на языке EXPRESS, должна быть согласована с заданным
уровнем, как определено ниже. Формальная спецификация считается согласованной с заданным уровнем,
если все проверки, установленныедля данного уровня и всех более низких уровней, верифицированы для
данной спецификации.
Уровни проверки
Уровень 1— проверка ссылок. Данный уровень состоит из проверки формальной спецификации для
подтверждения ее синтаксической и ссылочной корректности. Формальная спецификация синтаксически
корректна, если она соответствуетсинтаксису, сформированному посредством расширения основного син
таксического правила (syntax), установленного в приложении А. Формальная спецификация корректна в
отношении ссылок, если все ссылки на элементы языка EXPRESS соответствуют области применения и
правилам видимости, установленным вразделах 10 и 11.
Уровень 2 — проверка типов. Данный уровень включает в себя проверку формальной спецификации
для подтверждения ее соответствия следующим требованиям:
- выражениядолжны удовлетворять правилам, установленным в разделе 12;
- присваивания должны удовлетворять правилам, установленным в 13.3;
- объявления инверсных атрибутов должны удовлетворять правилам, установленным в 9.2.1.3:
- повторные объявления атрибутовдолжны удовлетворять правилам, установленным в 9.2.3.4.
Уровень 3 — проверка значений. Данный уровень состоит из проверки формальной спецификации
для подтверждения ее соответствия утверждениям типа «А должно быть больше В», установленным
3