Las operaciones pueden tener definidas pre y post condiciones. Para cada tipo, proporcione un nombre para la condición, un tipo e ingrese notas.
Las restricciones definen el comportamiento contractual de una operación -qué debe ser verdadero antes de que se la llame y qué es verdadero después. Para este propósito se relacionan al modelo de estados de una clase y también se pueden relacionar a las condiciones de guarda que aplican a la transición.
