ETD system

Electronic theses and dissertations repository

 

Tesi etd-09032015-150400


Thesis type
Tesi di laurea magistrale
Author
BROCCIA, GIOVANNA
URN
etd-09032015-150400
Title
Un Domain Specific Language per la modellazione e l'analisi di giochi
Struttura
FILOLOGIA, LETTERATURA E LINGUISTICA
Corso di studi
INFORMATICA UMANISTICA
Commissione
relatore Dott. Milazzo, Paolo
relatore Dott. Pardini, Giovanni
Parole chiave
  • model
  • checking
  • games
  • domain
  • specific
  • language
  • parsing
Data inizio appello
28/09/2015;
Consultabilità
completa
Riassunto analitico
Il model checking consiste in tecniche di verifica formale che consentono di controllare le proprietà comportamentali desiderate in un dato sistema, sulla base di un modello del sistema in questione, attraverso ispezioni sistematiche di tutti i suoi stati.<br>Nelle ultime due decadi queste tecniche si sono sviluppate notevolmente, soprattutto nell&#39;ambito<br>della Computer Science, come metodo per verificare l&#39;assenza di errori. Non è, tuttavia, difficile capire come la costruzione di modelli ad hoc e la verifica formale di proprietà desiderate, sia una tecnica utile in diversi campi del sapere. <br>Il lavoro di sperimentazione alla base di tale tesi tratta, appunto, la definizione di un linguaggio di modellazione da usare nell&#39;ambito del game design per la verifica formale di proprietà di giochi. L&#39;idea nasce da un precedente lavoro di sperimentazione, nel quale i modelli sono stati implementati con lo strumento di model checking PRISM. Il linguaggio di PRISM si è però dimostrato inadeguato per descrivere alcuni aspetti comuni ai giochi. Da questa riflessione è nata l&#39;idea di definire un nuovo linguaggio di alto livello che renda più semplice e rapida la costruzione dei modelli, pur consentendo una successiva compilazione nel linguaggio di input di PRISM.
File