ГОСТ Р ИСО/М ЭК 8824-4-2003
3.4.4 параметризованное значение: Значение, определенное с помощью присваивания парамет
ризованного значения и. таким образом, не полностью специфицированное, которое должно быть
обеспечено фактическими параметрами при использовании.
3.4.5 параметризованное множество значений: Множество значений, определенное с помощью
присваивания параметризованного множества значений и, таким образом, не полностью специфи
цированное, которое должно быть обеспечено фактическими параметрами при использовании.
3.4.6 параметризованный класс объектов: Класс информационных объектов, определенный с
помощью присваивания параметризованного класса объектов, таким образом, спецификации его
полей заданы не полностью и должны быть обеспечены фактическими параметрами при использо
вании.
3.4.7 параметризованный объект: Информационный объект, определенный с помощью при
сваивания параметризованного объекта и. таким образом, его компоненты заданы не полностью и
должны быть обеспечены фактическими параметрами при использовании.
3.4.8 параметризованное множество объектов: Множество информационных объектов, опреде
ленное с помощью присваивания множества параметризованных объектов и, таким образом, его
объекты заданы не полностью и должны быть обеспечены фактическими параметрами при исполь
зовании.
3.4.9 переменное ограничение: Ограничение, применяемое в спецификации параметризован
ного абстрактного синтаксиса и зависящее от некоторого параметра абстрактного синтаксиса.
4 Сокращения
В настоящем стандарте использовано следующее сокращение:
ACH.I —абстрактная синтаксическая нотация версии 1.
5 Соглашение
В настоящем стандарте используют соглашения, приведенные в ГОСТ Р ИСО/МЭК 8824-1.
раздел 5.
6 Нотация
В данном разделе приведена сводка нотации, определенной в настоящем стандарте.
6.1 Присваивания
В настоящем стандарте определена следующая нотация, которая может использоваться как
альтернатива для присваивания «Assignment* (см. ГОСТ Р ИСО/МЭК 8824-1, раздел 12):
- ParametrizedAssignment (см. 8.1).
6.2 Параметризованные определения
6.2.1 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернативадля определяемого типа «DefinedType» (см. ГОСТ Р ИСО/МЭК 8824-1, пункт 13.1):
- ParametrizedType (см. 9.2).
6.2.2 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернатива для определяемого значения «DefinedValue* (см. ГОСТ Р ИСО/МЭК 8824-1.
пункт 13.1):
- ParametrizedValue (см. 9.2).
6.2.3 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернативадля определяемоготипа «DefinedType* (см. ГОСТ Р ИСО/МЭК 8824-1, пункт 13.1):
- ParametrizedValueSetType (см. 9.2).
6.2.4 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернатива для класса объектов «ObjectClass* (см. ГОСТ Р ИСО/МЭК 8824-2. пункт 9.2):
- ParametrizedObjectClass (см. 9.2).
6.2.5 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернатива для объекта «Object* (см. ГОСТ Р ИСО/МЭК 8824-2. пункт 11.2):
- ParametrizedObject (см. 9.2).
6.2.6 В настоящем стандарте определена следующая нотация, которая может использоваться
как альтернатива для множества объектов «ObjectSet* (см. ГОСТ Р ИСО/МЭК 8824-2. пункт 12.2):
- ParametrizedObjectSet (см. 9.2).
2