Compte Rendus

Compte-Rendu de la réunion du 14/10/04

• Alain Frisch
• Guillaume Gillard
• Giuseppe Castagna
• Cédric Miachon

1. Discussion autour de l'implantation du système de type dans l'atelier Brixlogix; implantation en cours en Java du typecheker. Les types CDuce sont idéaux pour le traitement global des données, et pour aller au-delà de la vérification de protocoles. Le type singleton est intéressant pour les flots de contrôle, mais l'union pose problème.
2. L'objectif de l'atelier est de typer le document de sortie, le problème se pose sur le typage de l'impératif nottamment pour l'aliasing. Il faudrait mieux typer le programme CDuce correspondant à l'atelier, par le typage de chaque brique par un programme CDuce.
3. Discussion autour d'un logiciel pour le langage de requêtes de CDuce, en rapport avec l'atelier.

Compte-Rendu de la réunion du 04/06/04

• Alain Frisch
• Guillaume Gillard
• Maurice Martin

1. Démonstration de l'atelier Brixlogic: scénario, itération, sous-scénario, représentation graphique, représentation interne, meta-data, chemin dans sample document.
2. Explications sur la structure de l'implantation du système de type; détails de représentation des combinaisons booléennes (arbres de décision ternaire), formule de décomposition des produits sous forme d'arbre binaire, implémentation du sous-typage avec cache et retour-arrière.
3. Discussion: approche pour utiliser le sous-typage de CDuce dans Brixlogic (solution probablement retenue: reimplémenter plutôt que de réutiliser, pour maîtriser la technologie et optimiser en laissant tomber les caractéristiques inutiles pour Brix); discussion sur le paradigme graphique (Brix représente graphiquement le flot de controle; serait-il souhaitable de représenter en plus/à la place le flot de données ?).

Compte-Rendu de la réunion du 24/04/04

• Alain Frisch
• Véronique Benzaken
• Giuseppe Castagna
• Guillaume Gillard
• Guillaume Lebleu
• Maurice Martin
• Cédric Miachon

1. Brixlogix : prototype visuel. 2 projets en cours. IFX et ACCORD. Probleme du Change Impact Analysis. utilisation des WSDL. typage incremental avec detection de typage instantane.
2. CDuce : Ajout des standards (namespaces et XML Schema). Interface Ocaml/CDuce. Implatation de CDuce avec les motifs jit. Langage de requetes.
3. Cooperation: Deleguer le typage a CDuce, ou ne reprendre que les algorithmes de typage, systeme de type?

Présentation de GraphDuce