Ограничение указывает на зависимость между соответственными
значениями двух объектов, либо между различными значениями одного объекта.
Ограничение может быть выражено в виде некоторой функции (количественное
ограничение), либо отношения (качественное ограничение). Нас интересуют
ограничения на атрибуты объектов, а также на состояния и события. Важным видом
ограничений являются инварианты: утверждения о том, что значение некоторой
функции от атрибутов, состояний и событий остается постоянным при
функционировании объекта.
|