Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3.9 Conclusion 99<br />
lorsque ce<strong>la</strong> apporte une plus-value. Deux exemples <strong>de</strong> diagrammes état-transitions sont fournis<br />
sur les figures 3.7 et 3.11.<br />
Pour chacun <strong>de</strong>s éléments <strong>de</strong> <strong>la</strong> bibliothèque <strong>de</strong> nœud AltaRica, on rassemble l’ensemble <strong>de</strong><br />
ces informations dans un document <strong>de</strong> capitalisation reprenant :<br />
– les tableaux 3.10, 3.11 et 3.12<br />
– une représentation sous forme <strong>de</strong> diagramme états-transitions étendus (section 3.8.6) représentant<br />
le comportement interne du nœud considéré ainsi que les tables <strong>de</strong> décision (les<br />
équations logiques) permettant <strong>de</strong> définir ses variables <strong>de</strong> sortie.<br />
3.9 Conclusion<br />
Nous avons donc à ce sta<strong>de</strong> i<strong>de</strong>ntifié un ensemble d’abstractions qu’il faudra intégrer au<br />
modèle AltaRica <strong>pour</strong> répondre à ses objectifs (i.e. aux évènements redoutés qu’il <strong>de</strong>vra observer)<br />
et capitaliser ces informations sous forme tabu<strong>la</strong>ire et / ou graphique.<br />
... l’étape suivante est alors l’implémentation du modèle AltaRica. Comme déjà suggéré au<br />
cours <strong>de</strong> ce mémoire, celle-ci se déroulera en <strong>de</strong>ux temps : <strong>la</strong> modélisation d’une bibliothèque <strong>de</strong><br />
composant puis <strong>la</strong> création du modèle global par instanciation <strong>de</strong>s composants <strong>de</strong> cette bibliothèque.<br />
La méthodologie proposé dans ce chapitre se veut proposer un processus rigoureux <strong>pour</strong><br />
modéliser un composant AltaRica. L’objectif <strong>pour</strong>suivi est alors <strong>de</strong> limiter, <strong>de</strong> prévenir les erreurs<br />
dans le modèle AltaRica. Cependant, prévenir ne peut suffire et il nous faut nous assurer que le<br />
modèle ne contient effectivement pas d’erreur. Pour ce<strong>la</strong>, nous nous sommes donc intéressé à une<br />
phase <strong>de</strong> <strong>validation</strong> du modèle AltaRica qui nous permettra d’éliminer, si erreur il y a, les erreurs<br />
restantes.