Outils pour l'intégration de services

Patrick Heymans

Les logiciels actuels sont identiques pour tous les acheteurs et leur imposent leur hypothèses de fonctionnement. Pour obtenir des logiciels plus adaptables tout en restant fiables et rapides à produire, les industries de la télécommunication ont introduit le concept de " service" (en anglais, "feature"). Il s'agit d'une unité de fonctionnalité, mais qui (surtout pour un système distribué) doit être implémentée par une série de changements éparpillés dans la structure du système. Un risque important dans cette approche est l'interaction de services: comme les combinaisons de services peuvent être imprévues, elles ont perfois des comportements étonnants ou même nuisibles. Nous proposons une approche (FiReWorks) pour limiter ce risque. Le but est ici de mettre en oeuvre l'approche sur une hiérarchie de langages plus réalistes pour les industriels: OCL et C, en utilisant l'outil SLAM de MicroSoft. Ceci se fait par transformation de programmes ou de spécification, après une étude théorique pour déterminer les meilleures transformations.

Maîtrise
Licence (cours du jour)
Licence à horaire décalé

1 ou 2

Prof. Ryan, Birmingham; ou Prof. Batory, Texas.

Maîtrise des méthodes formelles, des mathématiques, de la programmation, de la compilation.