ГОСТ Р И С 013606-2—2012
Ограничение
Имя
Выражение
operand_va!id
inv: operand <> Void
Пакет: assertion
Класс EXPR_BINARY_OPERATOR
EXPR OPERATOR
I
+- - EXPR_BINARY_OPERATOR
Атрибуты, унаследованные от ассоциаций
Сигнатура
Обязатсль-
ность
Кратность
Описание
left_operand: EXPRJTEM
1
--
Отсутствует
right_operand : EXPRJTEM
1
*-
Отсутствует
Ограничения
Имя
Выражение
left_operand_valid
inv: left_operand <> Void
right_operand_val»d
inv: nght_operand <> Void
Пакет: assertion
Класс ASSERTION_VAR!ABLE
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
1
—
Отсутствует
1
--
Отсутствует
definition : String
Name : String
Пакет: assertion
Класс ASSERTION
Структурная модель типизированногоутверждения, представленного вформализме логики предика
тов первого порядка в видедерева выражений, включая необязательные определения переменных.
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
string_expression : String
1
-*
Отсутствует
tag : String
0..1
--
Отсутствует
Атрибуты, унаследованные от ассоциаций
Сигнатура
Обязатель
ность
Кратность
Описание
0..1
0..* ordered
Отсутствует
variables: List<ASSERTION_VARlABLE>
expression : EXPRJTEM
1
--
Отсутствует
Ограничения
ИмяВыражение
expression_validinv. expression о Void and expression.type.is_equal(«Booleann)
tag_validinv: tag <> Void implies not tag.is_empty
29