ГОСТ Р ИСО/ГО 10303-12-2000
Синтаксис:
77iExplicitAttr = RequiredAttr | OptionalAttr .
I06i RequiredAttr = RoleName *->* (ReqattValue | Nil).
99i OptionalAttr = RoleName *->’ OptattValue *;’ .
I07i RoleName = attribute_ref .
1051 ReqattValue = AggregationValue | BaseValue | Constant Ref |
NamedInstanceValue | Object Instance Ref |
ParameterRef | SelectValue | TypeValue .
96i Object Instance Ref = EntityInstanceRef | EnumerationInstance Ref |
SelectInstanceRef | TypeInstanceRef |
Simple InstanceRef .
93i Named InstanceValue = EnumerationlnstanceValue | SelectInstanceValue |
TypeInstanceValue .
98i OptattValue = ReqattValue | Nil .
30i Nil = *?’ .
Явный атрибут состоит из имени роли атрибута, последующего знака ->, последующей ве
личины области значений роли и завершающей точки с запятой. Величина области значений
роли для обязательного атрибута может быть ссылкой на экземпляр объекта или типа, значени ем,
поименованным значением, константой или параметром, либо агрегациями перечисленных
значений. Величина области значений рати для необязательного атрибута является такой же. как
и для обязательного атрибута, с дополнительным значением Nil. если величина области не
определена.
Примечание - Явному атрибуту может быть задано значение Nil. Вэтом случае сети определение
объекта основано на EXPRESS-объсктс. тогда экземпляр не будет соответствовать EXPRESS-опрсделснию.
Пример 27 - Явные атрибуты
a_real->
an_integer
ajist->
a boolean
ajogical
an_enumeration
a_string
entityjref
optional_xtr
optionaI_int
a parameter
a_constant
1.2;
-> 3;
<1, 2, 3);
-> TRUE;
->
UNKNOWN:
-> lenuml;
-> ’A string”;
-> @>instance2;
-> ?•
-> 42;
->
pari:
-> cl;
8.7.1.2 Вычисляемый атрибут
Вычисляемым является атрибут, значение которого может быть вычислено по значениям
других свойств объекта.
Синтаксис:
60i DerivedAttr = RoleName | *<-’ DerattValue |.
l()7i RoleName = attribute_ref .
59i DerattValue = AggregationValue | BaseValue | EntitylnstanceRef |
EntityInstanceValue | EnumerationlnstanceValue |
TypelrtstanceRef | TypeInstance Value | TypeValue
.
Вычисляемый атрибут состоит из имени роли атрибута, последующих необязательных знака
<- и величины области значений роли и заканчивается точкой с запятой. Величина области зна
чений роли может быть ссылкой на экземпляр объекта или типа, значением, конста»ггой либо
их агрегациями. Кроме того, величина может иметь значение Nil, если она не определена.
16