Conclusion sur cette première approche de la spécification formelle
Information
Bien évidemment, nous avons seulement survolé une méthode de spécification formelle, et il ne faut surtout pas vous prendre déjà pour un spécialiste.
Vous êtes capables de lire un schéma NIAM, de l'interpréter, de le modifier ou de le compléter, chaque fois que vous participerez à un débat sur la formalisation d'un modèle,
l'exploitation d'une base de données, la définition des données à saisir, le renseignement d'un projet.
Vous vous trouvez en face d'une autre méthode ?
Cela n'a pas d'importance. Vous vous adapterez facilement, car vous avez acquis la connaissance des principaux concepts des méthodes de spécification, qui se ressemblent.
Mais surtout vous avez développé votre capacité à analyser les problèmes, à les décomposer en problèmes élémentaires, à les formaliser avec assez de précision pour qu'ils soient compréhensibles par tout professionnel du même métier, ou d'un métier différent.
Exercice
Le schéma NIAM suivant exprime quelques idées entre les constituants possibles d'un mur.
En résumé, une menuiserie se localise dans une ouverture, mais se fixe dans le mur.
Ce schéma est un début de modèle. Il faudrait le « spécialiser » encore, en distinguant par exemple les murs façades des murs intérieurs, en y ajoutant les composants tableaux et sous-face, appuis, seuil (d'une ouverture), volets roulants, et en distinguant les relations de composition et d'accrochage (jonction mécanique) nécessaires, en décrivant quelques propriétés relatives aux couches d'un mur composite. Ceci par exemple pour faire comprendre qu'une menuiserie se fixe certes dans le mur, mais pas dans la contre-cloison ou dans l'isolation ...
Exercice
Le schéma NIAM exprime quelques idées entre les constituants possibles d'un mur.
En résumé, une menuiserie se localise dans une ouverture, mais se fixe dans le mur.
Ce schéma est un début de modèle. Il faudrait le « spécialiser » encore, en distinguant par exemple les murs façades des murs intérieurs, en y ajoutant les composants tableaux et sous-face, appuis, seuil (d'une ouverture), volets roulants, et en distinguant les relations de composition et d'accrochage (jonction mécanique) nécessaires, en décrivant quelques propriétés relatives aux couches d'un mur composite. Ceci par exemple pour faire comprendre qu'une menuiserie se fixe certes dans le mur, mais pas dans la contre-cloison ou dans l'isolation ...
A titre d'exercice, à vous de le compléter.
