Ambienti per la trasformazione di modelli formali nell'ambito della Model Driven Engineering
Gratis
La preview di questa tesi è scaricabile gratuitamente in formato PDF.
Per scaricare il file PDF è necessario essere iscritto a Tesionline. L'iscrizione non comporta alcun costo: effettua il Login o Registrati.

5 Petri partendo dalle regole generali di trasformazione e mostrando come tali regole costituiscano l'ossatura degli elementi software sviluppati nell'ambito di questa tesi. Nel capitolo I tratteremo il multiformalismo, partendo dalla definizione di sistema complesso e di modello. Nel capitolo II affronteremo la metodologia Model Engineering, con le sue applicazioni e una breve descrizione dei suoi linguaggi di applicazione. Nel capitolo III definiremo la trasformazione di un modello, elencando le varie metodologie e soffermandoci su una di esse: il QVT. Successivamente, attraverso un esempio di trasformazione, descriveremo il linguaggio ATL basato su QVT e la sua ATL Virtual Machine (Eclipse). Nel capitolo IV affronteremo la problematica dei sistemi critici, introducendo come metodo di verifica i metodi formali e un framework per l’analisi di essi : OsMoSYS. Nel capitolo V descriveremo l’adapter, descrivendo la sua architettura, il suo funzionamento e gli strumenti per l’implementazione di esso. Nel capitolo VI tratteremo della trasformazione Albero dei guasti Rete di Petri, definendo le regole di trasformazione e gli strumenti per l’implementazione.
Non sei sicuro di avere citato tutte le fonti?
Evita il plagio! Grazie all'elenco dei link rilevati puoi controllare di aver fatto un buon lavoro
Preview dalla tesi:
Ambienti per la trasformazione di modelli formali nell'ambito della Model Driven Engineering
CONSULTA INTEGRALMENTE QUESTA TESI
La consultazione è esclusivamente in formato digitale .PDF
Acquista
Informazioni tesi
Autore: | Michele Diomaiuto |
Tipo: | Laurea I ciclo (triennale) |
Anno: | 2007-08 |
Università: | Seconda Università degli Studi di Napoli |
Facoltà: | Ingegneria |
Corso: | Informatica |
Relatore: | Salvatore Venticinque |
Lingua: | Italiano |
Num. pagine: | 61 |
FAQ
Come consultare una tesi
Il pagamento può essere effettuato tramite carta di credito/carta prepagata, PayPal, bonifico bancario.
Confermato il pagamento si potrà consultare i file esclusivamente in formato .PDF accedendo alla propria Home Personale. Si potrà quindi procedere a salvare o stampare il file.
Maggiori informazioni
Perché consultare una tesi?
- perché affronta un singolo argomento in modo sintetico e specifico come altri testi non fanno;
- perché è un lavoro originale che si basa su una ricerca bibliografica accurata;
- perché, a differenza di altri materiali che puoi reperire online, una tesi di laurea è stata verificata da un docente universitario e dalla commissione in sede d'esame. La nostra redazione inoltre controlla prima della pubblicazione la completezza dei materiali e, dal 2009, anche l'originalità della tesi attraverso il software antiplagio Compilatio.net.
Clausole di consultazione
- L'utilizzo della consultazione integrale della tesi da parte dell'Utente che ne acquista il diritto è da considerarsi esclusivamente privato.
- Nel caso in cui l’utente che consulta la tesi volesse citarne alcune parti, dovrà inserire correttamente la fonte, come si cita un qualsiasi altro testo di riferimento bibliografico.
- L'Utente è l'unico ed esclusivo responsabile del materiale di cui acquista il diritto alla consultazione. Si impegna a non divulgare a mezzo stampa, editoria in genere, televisione, radio, Internet e/o qualsiasi altro mezzo divulgativo esistente o che venisse inventato, il contenuto della tesi che consulta o stralci della medesima. Verrà perseguito legalmente nel caso di riproduzione totale e/o parziale su qualsiasi mezzo e/o su qualsiasi supporto, nel caso di divulgazione nonché nel caso di ricavo economico derivante dallo sfruttamento del diritto acquisito.
Vuoi tradurre questa tesi?
Per raggiungerlo, è fondamentale superare la barriera rappresentata dalla lingua. Ecco perché cerchiamo persone disponibili ad effettuare la traduzione delle tesi pubblicate nel nostro sito.
Per tradurre questa tesi clicca qui »
Scopri come funziona »
DUBBI? Contattaci
Contatta la redazione a
[email protected]
Parole chiave
Tesi correlate
Non hai trovato quello che cercavi?
Abbiamo più di 45.000 Tesi di Laurea: cerca nel nostro database
Oppure consulta la sezione dedicata ad appunti universitari selezionati e pubblicati dalla nostra redazione
Ottimizza la tua ricerca:
- individua con precisione le parole chiave specifiche della tua ricerca
- elimina i termini non significativi (aggettivi, articoli, avverbi...)
- se non hai risultati amplia la ricerca con termini via via più generici (ad esempio da "anziano oncologico" a "paziente oncologico")
- utilizza la ricerca avanzata
- utilizza gli operatori booleani (and, or, "")
Idee per la tesi?
Scopri le migliori tesi scelte da noi sugli argomenti recenti
Come si scrive una tesi di laurea?
A quale cattedra chiedere la tesi? Quale sarà il docente più disponibile? Quale l'argomento più interessante per me? ...e quale quello più interessante per il mondo del lavoro?
Scarica gratuitamente la nostra guida "Come si scrive una tesi di laurea" e iscriviti alla newsletter per ricevere consigli e materiale utile.
La tesi l'ho già scritta,
ora cosa ne faccio?
La tua tesi ti ha aiutato ad ottenere quel sudato titolo di studio, ma può darti molto di più: ti differenzia dai tuoi colleghi universitari, mostra i tuoi interessi ed è un lavoro di ricerca unico, che può essere utile anche ad altri.
Il nostro consiglio è di non sprecare tutto questo lavoro:
È ora di pubblicare la tesi