ГОСТ Р ИСО/ТС 10303-1103—2012
EXPRESS-слсцификация.
*)
USE FROM ldontification_assignment_arm; - - ISO/TS 10303-1021
USE FROM Product_concept_identification_arm; -- ISC^S 10303-1060
USE FROM Group_arm; -- ISO/TS 10303-1113
Г
П р и м е ч а н и я
1Схемы, ссылки на которые даны выше, можно найти в следующих документах комплекса ИСО 10303:
ldentification_assignment_arm— ИСОЯС 10303-1021;
Product_concept_identification_arm — ИСОЯС 10303-1060;
Group_arm — ИСОЯС 10303-1113.
2 Графическое предетавление этих схем приведено на рисунках С.1 и С.2. приложение С.
4.2 Определение типов данных ПЭМ
В настоящем подразделе описаны типы данных ПЭМ рассматриваемого прикладного модуля.
4.2.1 Тип данных expression_operator
Тип данных expression_opcrator является перечислимым (ENUMERATED) типом, содержащим в
списке перечисления следующие булевы операторы:
- or_operator(оператор объединения «или»);
- and_operator (оператор пересечения «и»);
- oneof_oporator (оператор исключающего или «один из»);
- not_operator(оператор отрицания).
П р и м е ч а н и е — Данные операторы могут быть использованы в объекте Specification_expression.
В случае, когда данные операторы используются в объекте Specification_expression, вычисление
значения выражения осуществляется в контексте изделия. Результирующее значение зависит от операто
ров. входящих в выражение, и от того, обладает или нет изделие, которое может быть представлено в
экземпляре объекта Product_spocification, спецификациями, на которые ссылается объект SpeciHca-
tion_expression.
EXPRESS-cnецификаиия:
*)
TYPE expression_operator = ENUMERATION OF
(or_operator.
and_operator,
oneof_operator,
not_operator);
END_TYPE;
r
Определения элементов перечислимого типа
or_operator— логическое выражение, которое принимает значение «истина», когда по меньшей мере
один из операндов имеет значение «истина»;
and_operator— логическое выражение, которое принимает значение «истина», когда все операнды
имеют значение «истина»;
onoof_oporator — логическое выражение, которое принимает значение «истина», когда только один
из операндов имеет значение «истина»;
not_operator— логическое выражение, которое принимает значение «истина», когда ни один из опе
рандов не имеет значения «истина».
4.2.2 Тип данных id_for_class
Тип данных id_for_class является расширением выбираемого (SELECT) типа данных
identificationJtem . В настоящем типе данных ксписку альтернативных типовданных добавлен тип дан
ных Product_class.
При мечание — Список объектных типов данных может быть расширен в прикладных модулях, вкоторых
используются конструкции настоящего прикладного модуля.
4