USE è uno strumento di ausilio alla specifica di modelli UML con vincoli OCL
-
supporta: diagrammi di classi, di oggetti, di sequenza
-
con vincoli OCL:
invarianti di classe, pre- e post-condizioni
-
può generare istantanee (snapshots)
di stati del sistema modellato
-
permette di formulare interrogazioni su
tali stati, nella forma di espressioni OCL, di cui fornisce la valutazione
-
supporta l'analisi di consistenza di
modelli e la certificazione che determinate
situazioni sono precluse dal modello
per una introduzione più dettagliata ed altra documentazione si rinvia al sito
e si raccomanda la lettura dell'articolo citato appresso, ivi reperibile
