| USO Crea i tuoi diagrammi UML e non solo con questo strumento. |
Scarica ora |
USO Classifica e riepilogo
- Nome editore:
- University of Bremen
- Sistemi operativi:
- Windows All
- Dimensione del file:
- 7.7 MB
USO Tag
USO Descrizione
L'utilizzo è un sistema pratico appositamente progettato per le specifiche e la convalida dei sistemi informativi in base a un sottoinsieme della lingua di modellazione unificata (UML) e al linguaggio dei vincoli dell'oggetto (OCL). Le espressioni scritte nel linguaggio del vincolo degli oggetti (OCL) sono utilizzate per specificare ulteriori vincoli di integrità sul modello. Un modello può essere animato per convalidare le specifiche contro i requisiti non formali. Gli stati di sistema (istantanee di un sistema di funzionamento) possono essere creati e manipolate durante un'animazione. Per ogni istantanea i vincoli OCL vengono controllati automaticamente. Le informazioni sullo stato di sistema sono fornite da viste grafiche. Le espressioni OCL possono essere inserite e valutate per interrogare informazioni dettagliate su uno stato di sistema.
USO Software correlato