Liseuse CSC4102. Denis Conan et Christian Bac. Revision : 430

Transcription

1 Denis Conan et Christian Bac Revision : 430 CSC4102 Télécom SudParis 5 Décembre 2011

2 Avertissement : cet exemple de spécification et de conception correspond à un sujet donné en bureau d étude noté du module CSC4002 il y a quelques années. Par conséquent, le programme ayant changé depuis, il y manque des éléments, comme la formalisation des préconditions et des postconditions des cas d utilisation, ou encore la préparation des tests de validation. Par ailleurs, la modélisation est très incomplète. 1 Cahier des charges Analysons et concevons un système de gestion de liseuses (en anglais, e-book readers). Une liseuse (cf. Figure 1) est un dispositif électronique permettant de stocker et de lire des livres et des documents électroniques. La particularité de ces dispositifs est d utiliser une encre électronique au lieu d un écran rétro-éclairé comme celui d un ordinateur classique. Pour information, l encre électronique est une technologie d affichage cherchant à imiter l apparence d une feuille de papier imprimée, le but étant une moindre fatigue occulaire qui permet au lecteur de lire pendant plusieurs heures sans se fatiguer les yeux. Figure 1 Exemple de liseuse (Source de l image : wikimedia avec le mot de recherche «liseuse») Une liseuse est un équipement personnel, au même titre qu un téléphone portable, et est donc la propriété d un seul utilisateur. Un utilisateur peut même posséder plusieurs liseuses. Par conséquent, le seul utilisateur du système de gestion de liseuses est le propriétaire. Dans la suite de l énoncé, le système de gestion de liseuses est appelé LisIT. LisIT sait gérer des documents électroniques dans différents formats, mais, afin de simplifier l étude cas, nous ne considérons que les documents au format PDF. Toujours pour simplifier l étude de cas, nous considérons dans la suite que les documents sont affichés page complète par page complète. Une autre simplification est de considérer que les documents électroniques sont paginés (organisés) avec une seule colonne par page. LisIT gère, pour l utilisateur du système, un ensemble de liseuses appartenant à cet utilisateur. Chaque liseuse contient des documents classés dans des collections, qui possèdent un (par exemple, «romans», «science fiction», «documents professionnels»). Le identifie la collection. Un document peut appartenir à plusieurs collections et tout document appartient à la collection pré-existante «bibliothèque». Un document est identifié par son code, et possède un titre, des auteurs et un bre de pages. Une page est constituée d un ensemble de mots. Lorsque l utilisateur lit un document, il peut annoter un ensemble de mots ou une page toute entière. Pour faciliter la recherche d une annotation dans la liste des annotations d un document, chaque annotation possède un donné par le lecteur : par exemple, l annotation «mon vers favori» avec le commentaire «le charme, un art de magicien». Ainsi, par exemple, l utilisateur peut formuler l opération suivante : «pour la liseuse Cybook Odyssey, pour le poème Le Chêne et le Roseau de Jean de La Fontaine dont le code est JDLF27, à la page 1, à la ligne 16, pour l expression entre les mots 6 et 8, ajouter l annotation de Royaume du vent avec le commentaire référence antique». Pour simplifier, nous supposons que son identifie de manière unique l annotation. En outre, une annotation est attachée à un document, et ce quelques soient les collections auxquelles le document appartient. Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 2

3 LisIT gère, pour chaque document, un ensemble de marque-pages (en anglais, bookmarks). Le lecteur peut ajouter ou retirer un marque-page à un document pour retrouver plus rapidement une page lors d une prochaine lecture. Le lecteur associe un de son choix (c est-à-dire mnémotechnique) à chaque marquepage. Afin de faciliter la reprise de la lecture d un document à la dernière page parcourue, tout document possède un marque-page de «page courante». Lorsque le document n a pas encore été ouvert, le marque page est positionné à la page «0». Une fois encore, c est son qui identifie de manière unique le marque-page pour un document donné. En outre, un marque-page est attaché à un document, et ce quelques soient les collections auxquelles le document appartient. LisIT offre une fonctionnalité de synchronisation entre liseuses. Pour ce faire, chaque opération modifiant l état d une liseuse (par exemple, l ajout d un document, la suppression d une annotation) est enregistrée avec une date opérationnelle. Lorsque l utilisateur choisit de synchroniser deux liseuses, LisIT exécute les opérations effectuées sur l une des liseuses sur l autre liseuse. En cas de conflit (par exemple, une annotation modifiée sur l une des liseuses et la même annotation supprimée sur l autre), LisIT demande à l utilisateur de résoudre le conflit en choisissant d exécuter l une des opérations et d ignorer les autres opérations en conflit. Ainsi, l utilisateur doit synchroniser deux à deux ses liseuses afin de minimiser le risque de conflits et de purger la liste des opérations déjà synchronisées. En guise de simplication, le concept d opération est modélisé comme étant constitué d une date d exécution, d un d opération ainsi que d une collection d arguments, chaque argument étant une paire (, valeur). Avec ces informations, il est possible de rejouer une opération lors d une synchronisation. Par conséquent, les opérations sont totalement ordonnées selon la date d exécution. Une opération appartient à une liseuse lorsqu elle a été «exécutée par cette liseuse». Lorsqu une opération a été exécutée par toutes les liseuses, elle peut être purgée (c est-à-dire supprimée). Important : par conséquent, le système possède deux modes de fonctionnement. Premièrement, l utilisateur utilise une liseuse particulière pour télécharger des documents (c est-à-dire les ajouter), lire des documents, ajouter des annotations, etc. Deuxièmement, l utilisateur connecte plusieurs liseuses pour effectuer des synchronisations. Dans la suite, les cas d utilisation des deux modes de fonctionnement seront modélisés dans le même diagramme de cas d utilisation. 2 Spécification et conception 2.1 Liste des classes et des attributs Les classes et attributs obtenus après analyse du texte sont les suivants : LisIT : classe «interface» du système, patron de conception Façade ; Liseuse : ; Document : code, Fichier, titre, auteurs, nbpages ; Annotation :, nummotdébut, nummotfin, commentaire ; Marque-page :, numpage ; Collection : ; Bibliothèque : ; classe enfant de Collection ; Opération : date, ; Argument :, arguments. 2.2 Diagramme de cas d utilisation La figure suivante présente les acteurs et les cas d utilisation du système. Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 3

4 Ajouter une liseuse Retirer une liseuse Synchroniser deux liseuses Ajouter un document à une liseuse Lire un document Modifier les caractéristiques d un document d une liseuse Retirer un document d une liseuse Ajouter une annotation à un document Lire le commentaire d une annotation Modifier les caractéristiques d une annotation Lecteur Retirer une annotation Ajouter un marque page Accéder à la page repérée par un marque page Modifier les caractéristiques d un marque page Retirer un marque page Créer une collection d une liseuse Ajouter un document à une collection Retirer un document d une collection Retirer une collection d une liseuse 2.3 Diagramme de classes La figure suivante présente le diagramme de classes. Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 4

5 LisIT Liseuse code titre auteurs nbpages 1.. Document Collection DeCollection Opération date Opération Bibliothèque Annotation numpage nummotdébut nummotfin commentaire 1.. MarquePage numpage valeur Argument 2.4 Diagramme de machine à états de la classe Opération La figure suivante présente le diagramme de machine à états de la classe Opération. EnConstruction entrée : constructeur() ÀSynchroniser nouvelle synchronisation : exécuter() EnDestruction choix suppression suite à un conflit [opération exécutée par toutes les liseuses] 2.5 Diagramme de communications ou de séquence Voici le diagramme de séquence qui correspond au cas d utilisation : «pour la liseuse Cybook Odyssey, pour le document JDLF27, à la page 1, à la ligne 16, pour l expression entre les mots 6 et 8, ajouter l annotation de Royaume du vent avec le commentaire référence antique». La description informelle du cas d utilisation est la suivante : recherche de la liseuse (identifiant = ) recherche du document (identifiant = code) vérification que l annotation n existe pas (identifiant = ) si liseuse existe et document existe et annotation n existe pas, créer l annotation Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 5

6 :LisIT l:liseuse d:document <<new>> :Annotation ajouterannotation(args1) l = correspondreliseuse("cybook Odyssey"):Liseuse [l!= null] ajouterannotation(args2) d = correspondredocument("jdlf27"):document [d!= null] ok=ajouterannotation(args3) a = correspondreannotation( "Royaume du vent"):annotation [a == null] <<create(args3)>> [ok == true] <<new>> :Opération <<create(args4)>> loop(i,i < args4.length,) <<create( args4[i]., args4[i].valeur)>> <<new>> :Argument args1 = "Cybook Odyssey", "JDLF27", "Royaume du vent", 6, 8, "référence antique" args2 = "JDLF27", "Royaume du vent", 6, 8, "référence antique" args3 = "Royaume du vent", 6, 8, "référence antique" args4 = [("liseuse", "Cybook Odyssey"), ("document", "JDLF27"), ("annotation", "Royaume du vent"), ("motdebut", "6"), ("motfin", "8"), ("commentaire", "référence antique")] 2.6 Conception détaillée du constructeur de la classe Document constructeur(c: string, t: string, a: string, n: int, { code = c titre = t auteurs = a nbpages = n liseuse = l annotations = vide pagecourante = createmarquepage( page courante, 0); marquepage = contenant uniquement pagecourante collections = vide bibliotheque = b Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 6

7 } Télécom SudParis Denis Conan et Christian Bac 5 Décembre 2011 CSC4102 7