ГОСТ Р ИСО/ТС 10303-1017—2010
2 Обозначение (идентификатор) присваивается изделию организацией или лицом в организации. Опреде
ление пределов, в которых обозначение изделия является уникальным, и механизма, гарантирующего уникаль
ность обозначения изделия, не входит в область применения настоящего стандарта.
3 Изделие может иметь ноль или более версий. Версия изделия представляется объектом Product
_
version
или одним из его подтипов.
EXPRESS-спсциФикация.
*)
ENTITY Product;
id ; STRING;
name ; OPTIONAL STRING;
description : OPTIONAL STRING;
END
_
ENTITY;
(*
Определения атрибутов
id — идентификатор (обозначение), позволяющий различать изделия.
П р и м е ч а н и е — Конкретные принципы кодификации для значений этого атрибута могут быть заданы в
EXPRESS-схемах. использующих этот объект или его подтипы, или в соглашении о взаимопонимании между пар
тнерами. совместно использующими информацию.
Пример — Примерами обозначения изделий являю тся чертежные номера изделий, номера изделий
в партии и поряд
к
овые номера;
пате — слова, которыми называется изделие. Задавать значениеэтого атрибута необязательно;
description — текст, предоставляющий дополнительную информацию об изделии, представляе
мом объектом Product. Задавать значение этого атрибута не обязательно.
4.2.2 Объект Product
_
catogory
_
assignment
ОбъектProduct
_
category
_
assignment представляет включениеодного или более изделий в кате
горию изделий.
П р и м е ч а н и е — Обычно изделия классифицируются по категориям. Однако на некоторых ранних эта
пах разработки изделие может быть еще не отнесено к какой-либо категории.
Пример — Изделие может бы ть отнесено
к
к
атегориям, именуемым ’деталь’, ’сырье’, ’до
к
умент’,
‘фун
к
циональная возможность’ или ’требование’.
EXPRESS-споциФикация.
•>
ENTITY Product
_
category
_
assignment;
category : Product
_
category;
products : SET[1:?] OF Product;
END
_
ENTITY;
(*
Определения атрибутов
category — объект Product
_
category. представляющий категорию, к которой относятся изделия;
products — экземпляры объекта Product, обозначающие изделия, которые являютсячленами ка
тегории изделий.
4.3 Определение функции ПЭМ
В настоящем подразделе приведена функция ПЭМ идано ее определение для рассматриваемого
прикладного модуля.
4.3.1 Функция types
_
of
_
product
Функция types
_
of
_
product возвращает набор наименований категорий изделий, к которым отно сится
изделие, представляемое аргументом функции. Функция формирует множество экземпляров
4