ГОСТ Р ИСО 10303-14—2015
Приложение F
(справочное)
Семантика таблицы отображений
Язык EXPRESS-X можетбытьиспользованвкачествеальтернативнойспецификацииссылочныхпутейв
таблицахотображенийприкладногопротоколаSTEP.В данном приложениипоказано,какэтоможетбытьсделано
спомощью примеровпрототиповнаязыкеEXPRESS-Xдлявсехконструкцийссылочныхпутейизтаблицото
бражений,описанныхвРуководствепоразработкеспецификацийотображений,подраздел9.1«Использование
символов».Вданныхпримерахиспользованаспецификациясбольшейфункциональностьюзасчетприменения
конструкции
VIEW
языкаEXPRESS-X.При этомотображениеосуществляетсяотприкладнойинтерпретированной
модели(ПИМ) кприкладнойэталонноймодели(ПЭМ).ОтображениевобратномнаправленииотПЭМкПИМможет
бытьсделаноболеенаглядноспомощьюпроцедурнойконструкцииМАРязыкаEXPRESS-X. Направлениессылоч
ныхпутейпредполагаетсятакимже,каквтаблицахотображенийприкладныхпротоколов,— отПЭМ (сверхуи
слева)кПИМ(внизинаправо)
F.1Разделительные символы
Символ супертипапоказывает,чтоэлементсостороныПЭМ.расположенныйслеваотэтогосимвола,
должен бытьсупертипомдляэлементасостороныПИМ.расположенногосправаотсимвола.Приотображениина
ПЭМ данный символпоказываетнаправлениеотподтипаксупертипу,котороенетребуетотдельнойспецифика
циинаязыкеEXPRESS-X, таккактакоенаследованиеопределеновязыкеEXPRESS.
Символ подтипа показывает,чтоэлементсостороныПЭМ. расположенныйслеваотэтогосимвола,дол
женбытьподтипомдляэлементасостороныПИМ.расположенногосправаотсимвола.ПриотображениинаПЭМ
данный символпоказываеттребованиекподтипу,которыйдолженбытьзаданнаязыкеEXPRESS-Xспомощью
элементаязыка
where
,содержащегоссылкуTYPEOF, следующим образом:
Таблицаотображений.
cc_design_approvai <.-
approval_assignment
ФрагментнаязыкеEXPRESS-X:
VIEW ...;
FROM ... ааrapprovalassignment; ...
WHERE
...
’CONFIG_CONTROL_DESLGK.CC_DESIGN_APPROVAL’IN TYPEOF
(aa); ...
Следуетотметить.чтоприведенныйвышефрагментвовсехслучаяхэквивалентенследующему:
VIEW ...;
PROM ... aa:cc_design_approval; ...
Поэтомувслучаеналичияобоихограничителейсвязанныхсупертиповилисвязанныхподтиповтольконаи
болееконкретизированныйподтипдолжен появитьсявкачествеисходноготипаданных,какпоказановследую
щемпримере:
Таблицаотображений:
producc_definicion_U3age ->
assembly_component_usage ->
r.ext_assembly_jsage_occurrer.ce
ФрагментнаязыкеEXPRESS-X:
VIEW ...;
FROM ... r.auo:next_assembly_usage_occurrence; ...
Еслисуществуетнесколькотакихспецифичныхподтиповвцепочкесвязанныхотраничителейсупертипови
подтипов,томожетбытьиспользованоусловиеTYPEOF илиусловиеравенстваэкземпляров:
Таблицаотображений.
representation_item ->
measure_represer.tation_i.tem
{ measure_representation_item <-
measure_with_unit ->
length_measure_with_unit )
ФрагментнаязыкеEXPRESS-X:
VIEW ...;
FROM ... mri:measure_representation_it.em; ...
WHERE ... ’FEA1URE_BASED_PR0CESS_PI.ANN1NG.LENG?H_M£ASUPE_W.TH_UNIT1 IN
TYPEOF(mri);
63