Puede definir condiciones previas y posteriores para una Operación; para cada tipo, dele a la condición un nombre y un tipo, e ingrese notas.
Las Restricciones definen el comportamiento contractual de una operación, lo que debe ser verdadero antes de que sean llamadas y que es verdadero después. En este sentido están relacionadas con el modelo estado de una Clase y también se pueden relacionar a las condiciones de guarda que se aplican a una transición.
|