Introduction

1 Présentation générale

2 Objectifs du stage

3 Démarche de travail

Chapitre 1

Visualisation du scénario temporel dans Madeus

1 Les approches à base de contraintes, Madeus

1.1 Contraintes d'intervalles: l'exemple de Madeus

2 Visualisation du scénario temporel dans Madeus

2.1 Visualisation statique

2.2 Visualisation dynamique

2.3 Visualisation des dimensions logique et temporelle

3 Conclusion

Chapitre 2

Visualisation et manipulation de la flexibilité et des opérateurs d'interruption

1 Flexibilité des objets

1.1 Introduction

1.2 Besoins liés à la manipulation des objets flexibles

1.2.1 Anticipation du comportement du scénario

1.2.2 Mode d'action

1.2.3 Réponse du système: préventive, locale, continue et pertinente

1.3 Ebauche de solution pour la réponse du système

2 Les opérateurs d'interruption: Besoins et difficultés

2.1 Définition

2.2 Visualisation de l'interruption (sémantique de la coupure)

2.3 Flexibilité et opérateurs d'interruption

3 Conclusion

Chapitre 3

Contraintes

1 Introduction

2 Résolution de contraintes

3 Les besoins

4 Les solutions existantes

4.1 Les approches locales

4.2 les approches globales

5 Conclusion

Chapitre 4

Mise en oeuvre

1 Une solution ad'hoc pour le maintien de solution

1.1 Pourquoi une solution ad'hoc

1.2 Le graphe temporel

1.3 Algorithmes de maintien de solution

1.3.1 Déplacement d'un objet

1.3.2 Redimensionement

1.4 apports et limites de la solution

2 Flexibilité

2.1 Choix de représentation : deux métaphores complémentaires

2.2 Réalisation

3 Intégration des opérateurs d'interruption

3.1 Visualisation des opérateurs d'interruption

3.2 Réalisation

4 Conclusion

Conclusion

1 Synthèse

2 Réalisation

3 Perspectives