Soutenance de Zoé Drey

Zoé Drey a soutenu sa thèse intitulée Vers une méthodologie dédiée à l'orchestration d'entités communicantes.

Résumé :

Nous proposons une méthodologie dédiée au développement d'applications d'orchestration d'entités communicantes pour l'informatique ubiquitaire, depuis l'expression des besoins jusqu'aux applications finales. Cette méthodologie a pour but de guider un utilisateur non programmeur dans la programmation d'applications. Pour cela, elle est également munie d'un langage visuel accessible et couvrant un large périmètre d'applications de l'informatique ubiquitaire. Nous avons défini une sémantique formelle pour ce langage et nous l'utilisons pour vérifier quelques propriétés. Ces propriétés permettent de garantir à l'utilisateur que les applications qu'il développe sont fiables.