ГОСТ Р ИСО 10303-22-2002; Страница 35

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 52584-2006 Одежда меховая. Общие технические условия Fur clothes. General specifications (Настоящий стандарт распространяется на меховую, комбинированную, в том числе двустороннюю, мужскую, женскую и детскую одежду, изготовленную из меховых шкурок и их частей, лоскута или в комбинации с другими материалами. Стандарт не распространяется на одежду, изготовляемую по индивидуальным заказам, специальную одежду) ГОСТ 33624-2015 Уголь древесный. Метод определения гранулометрического состава (Настоящий стандарт устанавливает метод определения гранулометрического состава древесного угля и древесного угля с частицами катализатора путем его рассева на стандартном наборе сит) ГОСТ 33625-2015 Уголь древесный. Стандартный метод технического анализа (Настоящий стандарт устанавливает метод определения влажности, выхода летучих веществ и зольности древесного угля. Метод применим для испытания кусков и брикетов. Настоящий стандарт включает описание типового оборудования, предназначенного для рутинного анализа)

Страница 35

Страница 1

Untitled document

ГОСТ Р ИСО 10303-22-2002

ENTITY scope;

owner: applicationjnstance;

owned : SET |l:?| OF applicationjnstance;

export, list : SET |0:?j OF applicationjnstance;

UNIQUE

UR I : owner;

WHERE

WR2 : NOT (owner IN owned);

END_ENT1TY;

<•

Определения атпибутои

owner - прикладной экземпляр, в котором определена текущая область действия (scope);

owned — прикладные экземпляры, определенные внутри текущей scope:

exportjist — прикладные экземпляры, экспортируемые из данной области действия (scope),

на которые возможно ссылаться.

Формальные утверждения

UR1 —прикладной экземпляр не может обладать более чем одной областью действия (scope);

WR2 — прикладной экземпляр не может быть включен в набор прикладных экземпляров,

которыми он обладает.

Неформальные утверждения

IP1 - структура SCOPE должна быть ациклической;

IP2—каждый экспортируемый прикладной экземпляр должен быть членом набора собствен

ных прикладных экземпляров или членом экспортного списка (exportjist) одного экземпляра обла

сти действия, владельцем которой яатяется один из членов данного списка.

END SCHEMA; —SDAI popuIation_schema

9 Схема параметризованных данных СИДД

Следующее объявление на языке EXPRESS открывает схему параметризнрованных данных

СИДД и определяет необходимые внешние ссылки.

EXPRESS-crieund)HKanna

SCHEMA SDAI _parameter_data_schema;

REFERENCE FROM SDALpopuIation_schema

(schemajnstance.

sdai_model,

sdai model contents);

REFERENCE FROM SDAIjsession.schema

(sdai_repository);

П p и м с ч а и и e —Схемы, на которые выше даны ссылки, можно найти в следующих разделах

настоящего стандарта:

SDAI_session_schema

SDAl_population_schema

— раздел 7;

— раздел 8.

9.1 Введение

Схема параметризнрованных данных СИДД содержит концептуальные описания данных, пе

редаваемых как параметры или обрабатываемых через СИДД. В отличие от схем словаря, сеанса и

совокупности СИДД, данная схема не требует реализации и не должна быть частью словаря данных

СИДД. Данная схема определена для поддержки описания команд СИДД и определения среды

СИДД. в которой существуют экземпляры объектов. В отдельных случаях в данном разделе отсут

ствуют обязательные EXPRESS-спецификации атрибутов объекта, обьяатенного в схеме парамет-