maltoni_niccolo_tesi.tex

% !TeX root = ./maltoni_niccolo_tesi.tex
% !TeX encoding = UTF-8 Unicode
% !TeX spellcheck = it_IT
% !TeX program = arara
% !TeX options = --log --verbose --language=it "%DOC%"

% arara: lualatex:      { interaction: batchmode, shell: yes }
% arara: frontespizio:  { interaction: batchmode, engine: lualatex, shell: yes }
% arara: biber
% arara: lualatex:      { interaction: batchmode, shell: yes }
% arara: lualatex:      { interaction: nonstopmode, shell: yes, synctex: yes }

\documentclass[%
  a4paper,                  % formato di pagina A4
  fontsize=12pt,            % corpo del testo a 12pt
  % la dimensione 12pt automaticamente imposta \footnotesize a 10pt
  oneside,                  % TODO: change (oneside|twoside) documento a singola o doppia facciata,
  openany,                  % (openany|openright) fa cominciare un capitolo nella successiva pagina a disposizione o sempre in una pagina destra
  % twocolumn,              % dà a LaTeX le istruzioni per comporre l'intero documento su due colonne
  titlepage,                % (titlepage|notitlepage) se dopo il titolo del documento debbaavere  inizio  una  nuova  pagina
  % fleqn,                  % allinea le formule a sinistra rispetto a un margine rientrato
  % leqno,                  % mette la numerazione delle formule a sinistra anziché a destra
  final,                    % (draft|final) scelta tra bozza o finale, influenza il comportamento degli altri pacchetti
  headings=standardclasses, % changes the font of all section heading levels to serif
  headings=big,             % revert to default heading size that headings=standardclasses changes
  chapterprefix=false       % reverse the chapterprefix=true option that headings=standardclasses sets
]{scrbook}

\usepackage{fancyvrb}       % fornisce l'ambiente VerbatimOut e modifica listati di codice

\begin{VerbatimOut}{\jobname.xmpdata}
\Title{Progettazione di una piattaforma web per la simulazione di programmi aggregati}
\Subject{La programmazione aggregata è un approccio innovativo nato in tempi recenti per far fronte alla necessità di un punto di vista nuovo nella programmazione di sistemi distribuiti. In particolare, basandosi sull'impianto teorico del field calculus, negli ultimi anni sono stati realizzati, da parte dell'Università di Bologna, linguaggi e framework innovativi per la sua applicazione in contesti d'uso reale: Protelis e ScaFi. La principale criticità che mina la diffusione di questo tipo di linguaggi è legata alla configurazione del sistema per l'esecuzione: è infatti necessario avere a disposizione una rete, reale o fisica, di dispositivi per l'esecuzione del codice e, soprattutto in contesto didattico, la necessità di dispiegare un certo numero di dispositivi o configurare un simulatore può costituire un ulteriore gradino di complessità. Lo scopo di questa tesi è progettare una piattaforma web che permetta di realizzare semplici programmi aggregati senza configurazione alcuna. È stato realizzato un sistema composto da un server esecutore, che si avvale del simulatore Alchemist per eseguire il codice Protelis, e da un'applicazione web in React che permetta la scrittura del codice e il monitoring dell'esecuzione.}
\Author{Niccolò Maltoni}
\Keywords{Aggregate computing\sep{}Aggregate programming\sep{}Protelis\sep{}Applicazione web\sep{}Simulazione}
\Copyright{Questo documento è fornito sotto licenza Creative Commons Attribution-ShareAlike 3.0}
\CopyrightURL{http://creativecommons.org/licenses/by-sa/3.0}
\end{VerbatimOut}

\usepackage{unibotesi}

\usepackage[automark,headsepline]{scrlayer-scrpage}
\clearpairofpagestyles{}
\cfoot[\pagemark]{\pagemark}
\lehead{\headmark}
\rohead{\headmark}
\pagestyle{scrheadings}

\begin{document}

  \frontmatter{}

  \input{src/front/frontespizio.tex}
  \input{src/front/keywords.tex}
  \input{src/front/dedica.tex}
  \input{src/front/abstract.tex}

  \tableofcontents

  \mainmatter{}

  \input{src/main/intro.tex}

  \part{Background}\label{part:background}
    \input{src/main/background/aggregate.tex}
    \input{src/main/background/web.tex}
    \input{src/main/background/motivations.tex}

  \part{Contributo: WebProtelis}\label{part:contribution}
    \input{src/main/contribution/requirements.tex}
    \input{src/main/contribution/project.tex}
    \input{src/main/contribution/implementation.tex}

  \part{Conclusioni}\label{part:conclusion}
    \input{src/main/conclusion/evaluation.tex}
    \input{src/main/conclusion/conclusions.tex}

  \input{src/main/appendices.tex}

  \backmatter{}
  \input{src/back/ringraziamenti.tex}
  \input{src/back/bibliografia.tex}

\end{document}