Quatrième réunion : 

Lieu : LIFC.

Date : 07 et 08 février 2008.

Programme : 

(1)   Florent Jacquemard, Michael Rusinowitch : On hedge automata and rewriting.

(2)   Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot : Substitutivité et qualité de service dans les Web services.

(3)   Nawal Guermouche, Olivier Perrin, Christophe Ringeissen : Constraints-aware Web services compatiblity.

(4)   Yannick Chevalier, Denis Lugiez, Michael Rusinowitch : Contraintes régulières.

(5)   Philippe Balbiani, Yannick Chevalier, Marwa El Houri : A logical approach to role-based access control in a distributed environment.

(6)   Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade : Composition of interactive Web services based on controller synthesis.

(7)   Vincent Prêtre : A certification framework for web services.

Troisième réunion : 

Lieu : Loria.

Date : 29 et 30 mars 2007.

Le programme de cette réunion sera constitué des interventions suivantes :

-   Fahima Cheikh : A propos de la notion de confiance

-   Yannick Chevalier, Denis Lugiez, Michael Rusinowitch : Towards an automatic analysis of Webservice security

-   Nawel Guermouche Olivier Perrin Christophe Ringeissen: Automatic Composition of Web Services

-   Vincent Prêtre : Modélisation UML des Web services pour le test et la découverte automatique des dépendances

-   Silvio Ranise Enrica Nicolini Daniele Zucchelli: Une extension du LTL model checking

-   Jérôme Voinot : Intégration de la qualité de service dans la vérification de la substitutivité des services Web

Deuxième réunion : 

Lieu : salle des thèses de l'Irit.

Date : 5 et 6 octobre 2006.

Comment venir à l'Irit : Consulter les pages de l'Irit

Programme :

5 octobre : discussion collective autour des travaux de chaque partenaire sur la composition des politiques et des services avec, en particulier, des exposés de

(1)   Mounira Kourjieh : A symbolic intruder model for hash-collision attacks

(2)   Fahima Cheikh : La composition des services Web dans une communauté de confiance

(3)   Philippe Balbiani : Logical equivalences of models

(4)   Jerome Voinot: Algebres de processus pour la substitutivite et la compatibilite de web services

(5)   Lucia Acciai, Michele Boreale et Silvano Dal Zilio: A Concurrent Calculus with Atomic Transactions

(6)   Nawal Guermouche: Remplacabilité privée des services Web

(7)   Olivier Perrin et/ou Christophe Ringeissen : Intégration de contraintes temporelles dans Colombo

(8)   Vincent Pretre: Génération automatique de tests pour les Web services

6 octobre : discussion restreinte (probablement le matin seulement) visant à

-         amorcer si possible des collaborations entre les différents partenaires et décider de l'opportunité de visites des uns chez les autres,

-         aider le responsable scientifique du projet à rédiger le rapport d'activité n°1 (12 mois) devant être envoyé à l'ANR avant le 1er décembre.

Première réunion : 

Lieu : Lif.

Date : 16 et 17 mars 2006.

Programme des exposés:

(1)   Fabrice Bouquet : Utilisation d’une approche de génération de tests automatique à partir de modèles pour la validation de services Web.

(2)    Olivier Perrin : Un modèle de composition de services Web pour des exécutions fiables.

(3)   Luigi Santocanale : Algebraic and model theoretic techniques for fusion decidability in modal logics.

(4)   Fahima Cheikh : A propos du problème de la composition des services électroniques.

(5)   Philippe Balbiani : Une étude de cas sur les contraintes d’autorisation dans le cadre de la composition des services.