Plan type pour la Conception Générale

Plan type pour la Conception Générale
Remarques générales :
 numéroter les pages, les sections et les sous-sections,
 la table des matières est fondamentale car elle permet d’avoir une vue
globale du document (organisation, équilibre des différentes parties.
 Ceci est une proposition de plan, il est conseillé de le suivre, mais rien de
vous empêche de l’adapter ou d’en proposer un nouveau pourvu qu’il soit
clair et que je puisse comprendre votre travail.
Page de Titre (avec nom de l'auteur).
Une table des matières avec les numéros de pages page suivante
1. Introduction
Indiquer le contexte du sujet de TP et le travail à réaliser
2. Rappel des concepts clés de l'algorithme de KL&PH
Il faut rappeler les grands principes de l'algorithme du gestionnaire centralisé
optimisé auparavant, il faut donner les définitions (propriétaire, copyset,
invalidation …).
Ce paragraphe a d’autant plus d’importance pour moi que ça me permet de voir
ce que vous avez compris.
3. Transposition de l'algorithme à la cohérence d'objets Java répliqués partagés
3.1. Hypothèses
pas de pannes de machines,
réseau non partitionné,
modèle d'intéraction RPC (ObjetServeur.méthode(paramètres) ou Call
Procedure(Serveur,paramètres), ou message (envoyer (demande, Serveur) et
recevoir(réponse,Serveur))
...
3.2. Objectifs de la solution
Prédicats à vérifier :
 un écrivain ou exclusivement plusieurs lecteurs,
 cohérence atomique ou séquentielle
…
Propriétés architecturales de la solution :
 fort parallélisme,
 forte centralisation,
…
3.3. Principes de transposition des concepts
KL&PH : pages --> TP : objets (pages web d’un même document),
Handler local ?
Serveur de page ?
Propriétaire ?
Copyset ?
Verrou de sérialisation sur le handler local?
…
3.4. Choix possibles pour un nouveau gestionnaire centralisé
a - fidèle à KL&PH avec des améliorations
b - le gestionnaire fait le maximum
c - le gestionnaire ne gère que la localisation des propriétaires, c'est une forme
d'annuaire
d - autre solution que vous avez imaginée
avantages et inconvénients des divers choix (dans un tableau)
En conclusion votre choix de conception pour le projet que vous réaliserez
4. Algorithme de votre solution, (celle que vous implanterez dans votre
prototype)
en pseudo-code avec des explications succintes,
montrer comment les objectifs indiqués au 3.2 sont vérifiés,
dire comment la fonction "handler" est implantée : une entité séparée ou une
bibliothèque
Qu'est-ce que votre solution ne fera pas ?
5. Description des tests
- plate-forme de test (machines, nb de machines) et mode opératoire (approche
boite noire ou boite blanche, ou les deux)
- prédicats d'exécution qui doivent être vérifiés, comment sont-ils vérifiés ?
- liste des scenarii avec pour chaque scenario, l'objectif à vérifier et le résultat
attendu du test pour démontrer que l'objectif est vérifié
6. Conclusion
Conclusion sur votre proposition : avantages et limites de votre prototype
Bibliographie
Mettre les références aux livres, articles et autres sources, y compris web, que
vous avez utilisé.