ГОСТ Р ИСО/МЭК 8824-3-2002 Информационная технология (ИТ). Абстрактная синтаксическая нотация версии один (АСН.1). Часть 3. Спецификация ограничения

DefinedObjectClass

DefinedObjectSet

ObjectSet

Следующие продукции определены в ИСО/МЭК 8824-4 и используются в настоящем стандарте:

ActualParameter

Governor

Следующие продукции определены в настоящем стандарте:

GeneralConstraint : : = UserDefinedConstraint2TableConstraint

UserDefinedConstraint : : = CONSTRAINED BY

"{" UserDefinedConstraintParameter "," *  "}"

UserDefinedConstraintParameter : : = Governor ":" ActualParameter |

                                                             ActualParameter

TableConstraint : : = SimpleTableConstraint |

                                  ComponentRelationConstraint

SimpleTableConstraint : : = ObjectSet

ComponentRelationConstraint : : = "{" DefinedObjectSet "}"

                                                         AtNotation "," + "}"

AtNotation : : = "@" ComponentIdList | "@." ComponentIdList

ComponentIdList : : = identifier "." +