Licence Informatique 2007-2008 Module Modélisation Orientée Objet (MOO)
Marie-Noëlle Terrasse. marie-noelle.terrasse@u-bourgogne.,fr, bureau G215
Projet (troisième partie)
1 Contexte de travail
Vous devez modéliser un système domotique dont le mode de fonctionnement est le suivant :
- Un système déclencheur d'évènements consiste en divers capteurs (température, calendrier, détection de personnes isolées ou de groupes, commande digitale, etc.)
- A partir des signaux qu'il reçoit, le déclencheur décide des évènements à lancer. Chaque évènement concerne une ou plusieurs salles qui seront traitées par un générateur d'ambiance.
- Un générateur d'ambiance commande individuellement la ventilation, le chauffage, les volets. 11 existe aussi un groupe programmé de périphériques (comprenant des cheminées qui peuvent être allumées automatiquement, des sources sonores, des diffuseurs de parfum, des éclairages) qui est commandé par le générateur d'ambiance.
- Les programmes du groupe de périphériques sont déterminés en fonction des évènements mais ne doivent pas entrer en contradiction avec les éléments commandés individuellement (pas de cheminée et de ventilation, pas de diffusion de parfum sans ventilation, etc).
2 Travail à réaliser
Le travail à réaliser est le suivant :
1. Description structurelle du système : le diagramme de classe.
II faut expliquer le diagramme de classe dans son ensemble (organisation générale et contraintes globales). De plus, chaque classe doit être commentée. Il est essentiel de bien montrer pour chacune des classes :
- Quels sont les attributs (en signalant ceux qui ont Une importance particulière et qui détermineront les états des objets de la classe).
- Quelles sont les opérations avec pour chacune ses pré et post conditions en OCL. N'oubliez pas qu'en Orienté Objet les accès aux attributs d'une classe (lecture et modification de leurs valeurs) doivent se 1-aire en exécutant des opérations de la classe.
- Quelles sont les propriétés (invariants) de la classe (s'il en existe).
2. Description du comportement du système : les classes.
Dans cette première partie de la description du comportement, chaque classe est traitée de façon isolée :
- Vous devez définir un jeu de variables qui permettront de caractériser les états des objets de la classe. II faut aussi indiquer quels sont les états possibles pour les objets de la classe puis choisir les états du statechart.
- Il faut ensuite préciser les évènements qui seront à associés au statechart (et en particulier ceux qui permettront de lancer les opérations associées aux transitions).
- Le statechart peut alors être construit : il doit être cohérent avec les invariants et les pré-post conditions annoncés dans le diagramme de classe.
- Passage du statechart au programme smv et vérification des conditions annoncées sur la classe (il faut par exemple vérifier que les évènements correspondants au lancement des opération ne sont acceptés que si les pré-conditions des opérations sont satisfaites).
3. Description et vérification du comportement du système : vision globale.
La vision globale du comportement se traduit au minimum par un diagramme de collaboration qui montre les échanges d'évènements entre les statecharts des classes. Il faut vérifier que tous les évènements envoyés et reçus par vos statecharts sont cohérents (tout évènement envoyé est reçu, tout évènement attendu est bien envoyé).
Cette seconde étape de vérification doit reprendre les programmes smv des classes (sous forme de modules), le module principal utilise les modules associés aux classes pour valider le contrôle global du système domotique.
3 Informations et consignes
Votre dossier doit être rendu pendant votre démonstration (soit au plus tard la semaine du 14 au 18 janvier 2008) sous format papier. Une impression noir et blanc est largement suffisante, vous pouvez simplement agrafer votre dossier. Vous devez me faire parvenir par e-mail (après la démonstration) vos programmes smv.
Tout doit être rédigé en français correct et sans fautes d'orthographe. Chaque diagramme doit absolument être commenté. Pour chaque partie du dossier, les objectifs de travail doivent être clairement énoncés. La cohérence globale du dossier est essentielle. N'oubliez pas de rédiger une
introduction et une conclusion.
Le barème de correction est le suivant :
Description structurelle 10 points dont 3 points pour le diagramme de classe proprement dit et 7 points pour le reste (les contraintes OCL, la discussion sur les liens entre les attributs et les états, etc.).
Description du comportement classe par classe 10 points dont 7 points pour la partie SMV (explication et programme proprement dit).
Description du comportement global 10 points dont 7 points pour la partie SMV (explication et programme proprement dit).
Cohérence globale et qualité de la présentation (y compris le niveau de langage) 4 points.
Démonstration qui comprend à la fois la qualité des programmes proprement dits et votre capacité à expliquer et mettre en valeur ce que vous avez fait 6 points.
Total 40 points
