PEPA

Il progetto consiste nell'analisi del linguaggio PEPA, un'algebra di processo utile per descrivere sistemi complessi al fine di ricavarne misure di performance. All'interno dell'elaborato ne viene descritta la sintassi e la semantica ed è presentato un caso di studio realizzato con il plugin Eclipse per PEPA, in modo da mostrare tutto quello che è possibile fare con questo plugin. Viene poi descritta la tecnica di fluid flow approximation, prima dal punto di vista strettamente matematico e poi viene usata in un caso di studio, sempre realizzato tramite il plugin Eclipse per PEPA, per mostrarne le potenzialità.