ГОСТ Р ИСО 13584-31—2010
Спецификация на языке EXPRESS:
*)
ENTITY preser.tatior._3tyle_assignment;
styles : SET [1:?J OF presentationstyleselect;
WHERE
WR1: SI2EOF(QUERY(stylel <* SELF.styles |
NOT (SIZEOF(QUERY (style2 <* (SELF.styles - stylel) i
NOT ((TYPEOF (stylel) <> TYPEOF(style2)) OR
(SIZEOF([’PRESENTATlON_APPEARANCE_SCHEMA.’•
’SURFACE_STYLE_USAGE’,
1AP1_ABSTRACT_SCHEMA.’»
’EXTERNALLY_DEF1NED_STYLE’] ■
TYPEOF(stylel)) - 1)))) - 0 ))) - 0;
WR2: SI2EOF(QUERY (stylel <* SELF.styles
’PRESENTATION_APPEARANCE_SCHEMA.SURFACE_STYL£_USAGE’ IN
TYPEOF(stylel))) <- 2;
END ENTITY;
(*
Определение атрибута:
styles: множество стилей воспроизведения, назначенных для элемента представления.
Комментарии к спецификации:
WR1:один и тот же стиль не должен появиться больше одного раза в заданном множестве стилей
за исключением внешне определенного стиля extemally_definod_style или в случае использования сти
ля поверхности surface_style_usago,
WR1: сущность surface_style_usago не должна использоваться чаще, чем дважды в множестве
стилей.
Дополнительные комментарии:
IP1:внешне определенные стили не должны конфликтовать с прочими стилями в одной сущности
presentation_style_assignment. включая прочие внешне определенные стили.
П р и м е ч а н и е — Один стиль конфликтует с другим, если они различны, но относятся к одной и той же
характеристике, например, к цвету или толщине линий. Например, один стиль гложет задать голубой цвет, а дру гой
— зеленый, причем оба применены к одной и той же сущности;
IP2: каждый тип стиля должен быть уникальным.
Пример — Если для сущности line задан стиль кривой, то он должен проявиться. Если
для сущности line заданы сразу стиль кривой и стиль точки, то могут проявиться и кривая,
и соответствующие декартовы точки.
IP3: если существуют два экземпляра стиля поверхности surface_style_usage. то каждый должен
задавать описание стиля для противоположной стороны стилизуемой поверхности.
6.2.3.3 Сущность extemally_defined_style
Сущность extemally_definod_styie задает внешнюю ссылку на стиль воспроизведения.
П ри м е ча н и е — В контексте схемы api_abstract_schema внешний источникexterna1_source должен быть
частью ИСО 13584.
Спецификация на языке EXPRESS:
ENTITY externally_defined_style
SUBTYPE OF (externally_defir>ed_item);
WHERE
api_WRl : (SELF\externally_defined_item.source.source_id LIKE
’ISO_13584_31’)
OR
(SELF\externally_defineditem.source.sourceid LIKE
’ISO_13584*+’-1’+1M ’);
END_ENT1TY;
(A “
78