Calculus of Communicating Systems: A web based tool in Scala

Résumé

Ce mémoire traite du développement d’un outil web permettant de modéliser et
de vérifier des processus concurrents. Ceux-ci sont exprimés dans l’algèbre des
processus de Robin Milner, le Calculus of Communicating Systems (CCS). L’outil
permet de comparer des processus grâce à la simulation et à la bisimulation forte. Il permet également de visualiser les équations CCS sous forme de graphes. Des outils similaires ont été développés précédemment, mais à la connaissance des auteurs, aucun d’entre eux n’a été implémenté en Scala, un langage de programmation qui fusionne les paradigmes fonctionnel et orienté objet. Ce travail décrit les fonctionnalités de cet outil ainsi que leurs implémentations, tout en mettant l’accent sur l’expressivité apportée par Scala.

la date de réponse	26 juin 2017
langue originale	Anglais
L'institution diplômante	Universite de Namur
Superviseur	Wim Vanhoof (Président) & Jean-Marie Jacquet (Promoteur)