Calculus of Communicating Systems: A web based tool in Scala

  • Jean-François Gillet
  • Danwel Willame

Thèse de l'étudiant: Master typesMaster en sciences informatiques

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éponse26 juin 2017
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurWim VANHOOF (Président) & Jean-Marie JACQUET (Promoteur)

Contient cette citation

'