Nuova serie di strumenti per una verifica immediata dei modelli UML
Al fine di migliorare l'efficienza e la competitività dell'industria europea del software, il progetto OMEGA ha usato l'UML (Unified Model Language) e ha sviluppato metodologia e strumenti per sistemi in tempo reale e integrati. Con l'aiuto del metodo aperto UML, è possibile definire, visualizzare, costruire e documentare gli elementi di un sistema in corso di sviluppo orientato all'oggetto e ad alta intensità di software. L'UML offre una compilazione delle "buone prassi" ed è quindi particolarmente indicato per modellizzare grandi sistemi complessi. Uno dei componenti della serie di strumenti del progetto è l'UVE (UML Verification Environment), che verifica le proprietà dinamiche del modello kernel OMEGA (struttura, comportamento e ordine di comunicazione). Le proprietà si riferiscono alle caratteristiche funzionali e qualitative del modello, e possono essere combinate in formule. I requisiti presi in considerazione si riferiscono al numero di passi dell'esecuzione del modello in tempo discreto, ad esempio la durata relativa. Le principali funzionalità dello strumento UVE includono la verifica di una serie di formule logiche temporali (ad esempio il controllo di accessibilità, invarianza, vitalità e sicurezza). Lo strumento può inoltre verificare la conformità del progetto LSC (Live Sequence Charts) alle specifiche. L'UVE può anche controllare la generazione dei diagrammi di sequenza - sia come passi witness per le proprietà e gli LCS esistenziali che come passi counterpaths/errori per le proprietà invarianti. Lo strumento è in grado di verificare i requisiti con vari tipi di assunzioni e permette di visualizzare i risultati con l'aiuto degli SDT (Symbolic Timing Diagrams) e LSC. Include due componenti: una componente RUVE basata su Rhapsody e una componente XUVE basata su XMI, un formato di interscambio di metadati XML. L'affinamento e l'inizializzazione del processo di verifica vengono effettuati con una interfaccia grafica Rhapsody oppure con una linea di comando senza usare lo strumento UML. Per maggiori informazioni sulla serie di strumenti OMEGA: http://www-omega.imag.fr/tools.php(si apre in una nuova finestra)
