| USAR Crea tus diagramas UML y no solo con esta herramienta. |
Descargar ahora |
USAR Clasificación y resumen
- Nombre del editor:
- University of Bremen
- Sistemas operativos:
- Windows All
- Tamaño del archivo:
- 7.7 MB
USAR Etiquetas
USAR Descripción
El uso es un sistema práctico especialmente diseñado para la especificación y validación de los sistemas de información basados en un subconjunto del lenguaje de modelado unificado (UML) y el idioma de restricción de objetos (OCL). Las expresiones escritas en el idioma de restricción de objetos (OCL) se utilizan para especificar restricciones de integridad adicionales en el modelo. Se puede animar un modelo para validar la especificación contra los requisitos no formales. Los estados del sistema (instantáneas de un sistema de ejecución) se pueden crear y manipular durante una animación. Para cada instantánea, las restricciones de OCL se verifican automáticamente. La información sobre un estado del sistema está dada por vistas gráficas. Se pueden ingresar y evaluar expresiones de OCL para consultar información detallada sobre un estado del sistema.
USAR Software relacionado