Un service Web est un application offrant des fonctionnalités accessibles à distance par d'autres programmes. Un protocole métier est une machine à état dont les transitions correspondent à un message envoyé ou reçu par un service. Il permet de représenter les suites possibles d'échanges de messages avec le service. Ces protocoles peuvent être annotés pour enrichir la description qu'ils apportent avec des contraintes temporelles, des politiques de contrôle d'accès, etc …

L'objectif de ce TER est de créer un éditeur graphique de protocole métier sous la forme d'une bibliothèque JavaScript permettant son intégration dans un navigateur Web. Cet éditeur devra être paramétrable pour permettre tout type d'annotation. Il devra être capable interagir avec le serveur de la page afin de pouvoir charger/sauver le protocole annoté. Il devra également être capable de faire remonter graphiquement des erreurs qui auraient été trouvées par un analyseur fonctionnant côté serveur.

Un service Web est un application offrant des fonctionnalités accessibles à distance par d'autres programmes. Un protocole métier est une machine à état dont les transitions correspondent à un message envoyé ou reçu par un service. Il permet de représenter les suites possibles d'échanges de messages avec le service. Ces protocoles peuvent être annotés pour enrichir la description qu'ils apportent avec des contraintes temporelles, des politiques de contrôle d'accès, etc …

L'objectif de ce TER est d'enrichir l'implémentation d'un vérificateur de compatibilité entre protocoles annotés:

• en prenant en compte des méta-données supplémentaires comme les schémas XML, le sens (sémantique) des messages ou le sens des données;
• en implémentant une version du vérificateur fonctionnant sur plus de deux protocoles

La fouille de données consiste à extraire des informations pertinentes à partir d'un gros volume de données. Un exemple consiste à extraire de données sur les prescriptions des patients les combinaisons de médicaments ayant eu des effets indésirables. Un autre exemple consiste à extraire les combinaisons d'articles achetés souvent ensemble, afin de découvrir les habitudes des clients. De telles combinaisons intéressantes sont appelées motifs.

Depuis quelques années, l'utilisation de la programmation par contraintes afin de découvrir des motifs intéressants à suscité un intérêt dans la communauté scientifique (voir par exemple http://dtai.cs.kuleuven.be/CP4IM/).

L'objectif de ce TER est de mesurer l'apport que peut apporter l'utilisation de solveurs SAT Modulo Theory (SMT) par rapport aux solveurs de contraintes utilisés aujourd'hui dans ce cadre. On débutera par une mise à niveau sur la fouille de données et sur les solveurs SAT et SMT, puis on adaptera à la fouille le solveur OpenSMT.

L'objectif de ce TER est de modifier le moteur de fouille d'ensemble d'objets fréquents¹⁾ CP4IM pour l'adapter à la fouille de séquences. On mettra ensuite en place un benchmark pour comparer les résultats optenus par ce moteur avec ceux obtenu par une implémentation état de l'art et, si possible, par rapport aux résultats obtenus dans le cadre du sujet 1.

Ces TER se dérouleront dans le cadre du projet DAG.