ГОСТ Р ИСО 13584-20—2006
EXPRESS-спецификаиия
*)
ENTITY genericjiteral
ABSTRACT SUPERTYPE
SUBTYPE OF (simple_generic_expression);
END_ENTITY;
(*
5.2.4 Объектgonoric_variable
Объектgeneric_variable являетсяабстрактной переменной, которая можетбытьвключенавобоб
щенное выражение. Для объекта generic_variable должен быть определен подтип, чтобы установить
тип данных допустимых значений этой переменной. Переменная должна быть связана со средой, кото
рая представляет собой функцию интерпретации, связывающую значение сэтой переменной.
П р и ы е ч а н и е
— real_numeric_varlable,lnteger_num erlc_variable.boolean_numerlc_varlable
и
strlng_num eric_variable
являются примерами подтиповобъекта
gener!c_variable.
Эти подтипы определены враз
деле 6.
EXPRESS-спецификаиия
*)
ENTITY generic variable
ABSTRACT SUPERTYPE
SUBTYPE OF (simple_generic_expression);
INVERSE
interpretation:
environment FOR syntactic_representation;
END_ENTITY;
c
Определение атрибута
interpretation — объект environment (среда), который позволяетсвязывать значение с перемен
ной.
5.2.5 Объектvariable_somantics
Объект variable_semantics используется для представления смысла generic_variable. Он отно
сится кабстрактномусупертипуABSTRACTSUPERTYPE, для которогодолжны бытьопределены подти
пы при использовании variablo_semantics. Объект variable_semanticsдолжен определять контекст, в
рамкахкоторого переменнаядолжна использоваться вместе сфункцией интерпретации, связывающей
значение с этой переменной.
Пример — При моделировании класса компонентов, которые имеют свойства «а» и «/>*
с
целыми
значениями, ограничение, устанавливающее, что для каждого экземпляра этого класса значение
«а»
должно быть больше значения *Ь», может быть смоделировано посредством:
• двух экземпляров real_varlable;
- двух экземпляров self_property_semantlcs, являющегося подтипом variable_semantlcs, которые
относятся к свойству ва» и свойству «Ь*. соответственно;
• выражения boolean_expresslon между двумя объектами real_varlable, которое указывает, что
первый объект больше, чем второй.
EXPRESS-спецификаиия
*>
ENTITY variable_semantics
ABSTRACT SUPERTYPE;
END_ENTITY;