Ventana de operaciones - Restricciones

Superior  Previo  Próximo

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.   

 

operations-pre