Ambienti per la trasformazione di modelli formali nell'ambito della Model Driven Engineering

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.