ГОСТ Р ИСО 13584-25—2010
ным спецификациям либо спецификациям, которые можно прочитать с помощью программ, свободно предо
ставляемых в сети Интернет.
D.3.2 Правило allowed_entity_instance_type_in_LIIM_25_rule
Правило
allowed_entity_instance_type_in_LIIM_25_rule
устанавливает формальное ограничение на ис
пользование соответствующих допустимых типов данных
entity_instance_type
Для основных целей модели LIIM 25 в качестве источникаданных допускают использование только следу
ющих типовданных
entity_instance_data_type.
основанных на STEP ресурсах:
- тип данных
entityjnstance_type.
ссылающийся на обьект
representation:
- тип данных
entity_instance_type.
ссылающийся на сущность
representation_context;
- тип данных
entity_instance_type.
ссылающийся на сущность
geometric_representation_context;
- тип данных
entity_instance_type.
ссылающийся на сущность
representation_item;
- тип данных
entity_instance_type.
ссылающийся на сущность
date:
- тип данных
entity_instance_type.
ссылающийся на сущность
ordinal_date:
- тип данных
entity_instance_type,
ссылающийся на сущность
calendar_date:
- тип данных
entity_instance_type.
ссылающийся на сущность
local_time:
- тип данных
entity_instance_type.
ссыпающийся на сущность
week_of_year_and_day_date;
- типданных
entity_instance_type.
ссылающийся на сущность
date_and_time;
-тип данных
entity_instance_type,
ссылающийся на сущность
person.
- тип данных
entity_instance_type.
ссылающийся на сущность
organization;
- тип данных
entity_instance_tyре
.ссыпающийся на сущность
address.
Для основных целей модели LIIM 25 в качестве источника данных допускают использование только следую
щих типовданных
entity_instance_data_type.
основанных на PLIB ресурсах:
тип данных
entity_instance_type.
ссылающийся на сущность
representation_reference;
тип данных
entity_instance_type.
ссылающийся на сущность
program_reference:
тип данных
entity_instance_type.
ссылающийся на сущность
property_value_extemal_item.
Спецификация EXPRESS:
*)
RULE allowed_entityJnstance_type_in_LIIM_25_njle FOR (entity_mstance_type);
WHERE
WR1: QUERY( x<’entity_instance_type |NOT((•REPRESENTATION_SCHEMA.REPRESENTATION•
IN X.type.name) OR (’REPRESENTATION_SCHEMA.REPRESENTATION_CONTEXT
IN X.type_name) OR (’GEOWETRY_SCHEMA.GEOMETRIC_REPRESENTATION_CONTEXT
IN X.lype_name) OR (’REPRESENTAT!ON_SCHEMA.REPRESENTATIONJTEM’
IN X.type_name) OR (’DATE_TIME_SCHEMA.DATE’ INX.type_name) OR
(’DATE_TIME_SCHEMA.DATE_AND_TIME’IN X.type_name) OR
(’DATE_TIME_SCHEMA.LOCAL_T1ME’ INX.type_name) OR
(’DATE_TIME_SCHEMA.CALENDAR_TIME* IN X.type_name) OR
CDATE_TIME_SCHEMA.ORDINAL_TIME IN X.type_name) OR
(’DATE_TIME_SCHEMA-WEEK_OF_YEAR_AND_DAY_TIME’
IN X.type_name) OR (’ PERSON_ORGANIZATION_SCHEMA_PERSON‘
IN X.type_name) OR (’ PERSON_ORGANIZATION _SCHEMA.ORGANIZATION’
IN X.type_name) OR (’ PERSON_ORGANIZATION_SCHEMA.ADDRESS’
IN X.type_name) OR (•IS013584_EXTERNAL_FILE_SCHEMA.PR0GRAM_REFERENCE•
IN X.type_name) OR ,IS013584_EXTERNAL_FILE_SCHEMA.REPRESENTATI0N_REFERENCE‘
IN X.type.name) OR (,IS013584_EXTERNAL_FILE_SCHEMA PR0PERTY_VALUE_EXTERNAL_ITEM‘
IN X.type_name)))= [);
END_RULE; - - allowed_entity_instance_type_in_LIIM_25_njle
(*
Формальное положение:
WR1:
при ссылках на интегрированную информационную модель библиотеки LIIM 25. соответствующую
настоящему стандарту, значение
entity_instance_type.type_name
должно ссылаться на типы данных
entity_
instance_type.
допустимые в контексте обмена, установленного в настоящем стандарте.
D.3.3 Правило allowed_language_assignement_rule
Правило
allowed_language_assignement_rule
обеспечивает наличие в файле поставки библиотеки либо
экземпляра
global_language_assignment
либо одного или нескольких экземпляров
present_translation,
но не
обоих экземпляров одновременно.
Спецификация EXPRESS:
•)
RULE allowed_language_assignment_njle FOR (presentjranslations.
global_language_assignment):
WHERE
WR1: (QUERY (x <’ globalJanguage_assignment |TRUE)= [))
47