ГОСТ Р ИСО 13584-42-2012; Страница 86

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

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

ГОСТ 31929-2013 Средства лекарственные для ветеринарного применения. Правила приемки, методы отбора проб (Настоящий стандарт распространяется на фармакологические, биологические, иммунологические, гомеопатические лекарственные средства для ветеринарного применения, лечебные кормовые добавки и устанавливает требования к правилам приемки и методам отбора проб. Стандарт не распространяется на продукцию микробиологической промышленности, ферментные препараты, корма и кормовые добавки) ГОСТ 31926-2013 Средства лекарственные для ветеринарного применения. Методы определения безвредности (Настоящий стандарт распространяется на методы определения безвредности и токсичности лекарственных средств для ветеринарного применения и устанавливает дозы, способы введения лекарственного средства и виды испытаний) ГОСТ 31927-2012 Вакцины против сальмонеллеза животных живые. Общие технические условия (Настоящий стандарт распространяется на живые вакцины против сальмонеллеза животных, предназначенные для профилактической иммунизации восприимчивых животных)

Страница 86

Страница 1

Untitled document

ГОСТ Р ИСО 13584-42—2012

Пример представления на языке EXPRESS

ENTITY categorization_dass

SUBTYPE OF(class):

categorization_dass_superdasses: SET [0:?] of dass_BSU:

WHERE

VVR1:QUERY (cl <* SELF. categorizatk>n_class_superclasses

I NOT ((’IS013584JEC61360_DICTIONARY_SCHEMA"

+’.CATEGORIZATION_CLASS ) IN TYPEOF(cl.definitk>n[1J)))

= [):

WR2: NOT EXISTS(SELF\dass.its_superclass):

WR3: SIZEOF(SELF\dass.described_by) = 0;

WR4: SIZEOF(SELF\dass.defined_types) = 0;

WR5: SIZEOF(SELF\dass.constraints) = 0;

WR6: SIZEOF(compute_known_visible_properties

(SELF\dictionary_element.identified_by)) = 0:

WR7: SIZEOF(SELF\dass.sub_dass_properties) = 0;

WR8: SIZEOF(SELF\dass.class_constant_values) = 0;

WR9: SIZEOF(SELF\dass.identified_by.known_visib!e_properties)

;

WR10: SIZEOF(SELF\class.idenWied_by.kno\vn_visible_data_types)

= ;

END_ENTITY; — categorizationclass

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

categorization_class_superclasses: классы категоризаций categorization_class, расположенные на одну

ступень выше данного класса категоризаций в условной иерархии классов.

Пояснения к тексту программы:

WR1: только классы категоризаций categorization_class могут быть суперклассами для categorization_

class.

WR2: categorization class не должен иметь представительного суперкласса.

WR3: свойства не могут быть ассоциированы с categorization_class.

WR4: типы данных не могул быть ассоциированы с categorization_class.

WR5: ограничения не могут быть ассоциированы с categorization class.

WR6: categorization class не может быть классом определения свойства для какого-либо свойства.

WR7: свойство подкласса не может быть ассоциировано с categorization class.

WR8: постоянное значение класса не может быть ассоциировано с categorization class.

WR9: видимое свойство не может быть ассоциировано с categorization class.

WR10: видимый тип данных не может быть ассоциирован с categorization_class.

F.3.7Тип элемента данных/даиные для свойств

Данный раздел содержит определения словарных данных для свойств.

F.3.7.1 ВСЕ свойства (Property_BSU)

Сущность property BSU дает идентификацию свойства.

Пример представления на языке EXPRESS:

ENTITY propertyBSU

SUBTYPE OF(basic_semantic_unit);

SELF\basic_semantic_unit.code: property_code_type:

name_scope: dass_BSU;

DERIVE

absdutejd: identifier :=

name_scope.defined_by.absdute_id

♦ sepjd +dic_identifier;

INVERSE

describes_classes: SET OF class FOR described_by;

UNIQUE

UR1: absolute_id;

WHERE

WR1: QUERY(c <’ describes_classes |

NOT (is_subdass (c. name_scope.definition [1])))= [):

END_ENT1TY; — property_BSU