|
|
NFP108 - Spécification et Modélisation Informatiques [ 6 crédits ]
| Public Concerné |
Pré requis : aucun
|
Finalité de l'unité d'enseignement |
| Objectifs pédagogiques |
Le but du cours est de présenter les automates finis à états et les formalismes logiques qui ont de nombreuses applications pour la spécification et la modélisation de systèmes informatiques. Ils interviennent notamment dans les domaines du génie logiciel, des réseaux, de la conception et du développement, des bases de données, des systèmes d'information et des systèmes transactionnels. A ce titre, ils sont utilisés dans de nombreux enseignements du cursus.
|
| Capacité et compétences acquises |
| |
Organisation |
| 6 Crédits |
Contenu de la formation |
Outils conceptuels
Automates
Expressions régulières et automates finis à états
Propriétés de clôture
Algorithmes de déterminisation, minimisation
Calcul des Prédicats et Theorie des Ensembles
Calcul des Prédicats : validité, prouvabilité, correction, complétude, indécidabilité.
Théorie des Ensembles : ensembles, relations, fonctions
Exemples d'utilisation
Les exemples du cours porteront sur des applications. Pour les automates finis, ces applications comportent la modélisation d'automatisme (distributeur de billet, ascenseur), la modélisation de protocoles, des diagrammes
d'états-transition UML, la correction orthographique. La plupart de ces exemples seront repris dans la partie du cours traitant de la logique. Par ailleurs, on illustrera l'ajout de contraintes OCL sur un modèle UML. Enfin,
un exemple traitera d'un système d'information structuré autour d'une base de données relationnelle. Les notions de dépendance fonctionnelle et de de forme normale seront mises en relation avec les concepts ensemblistes. |
|
|
|
