La logique informatique
(selon les travaux de J.D WARNIER)
L.C.O L'organisation des entreprises
Les ensembles de données d'une étape :
Avant d'entamer ce chapitre concernant l'organisation des données du système informatique, je voudrais faire quelques remarques :
Si je devais caractériser en deux mots les travaux sur la logique informatique de J.D WARNIER, ce serait sans aucun doute :
Logique d'organisation
En effet, Lorsqu'il s'agit du fonctionnement d'un système quelconque, et à fortiori d'un système informatique dans lequel le nombre d'élément stocké et utilisé est très important, la première chose à faire, le principal, la toute première étape, ce par quoi il faut impérativement commencer, ce sans quoi rien n'est possible...... c'est l'organisation des éléments traités et traitant !
Mais pour cela, il faut que les lois d'organisation utilisées soient :
Universelles et reposent sur des sciences exactes telle que les mathématiques.
A cette seule condition, cette science pourra être enseignée et utilisée par tous.
Tous le monde est d'accord implicitement sur cette loi :
Toute collection de données doit être considérée comme un ensemble au sens mathématique du terme.
Un seul de façon explicite, J.D WARNIER
Lorsque que l'on parle d'un ensemble au sens mathématique du terme, l'on se doit de le définir de la façon la plus précise possible.
Un ensemble se définie de deux façons possibles :
1°) Par compréhension c.a.d en exprimant toutes les caractéristiques (ou propriétés) que doit posséder tout élément pour appartenir à l'ensemble.
2°) En extension c.a.d en faisant la liste exhaustive de tous les éléments de l'ensemble.
En ce qui nous concerne (et je n'apprends rien aux informaticiens !) notre souci sera de stocker des données élémentaires (nous verrons plus loin que nous les appellerons données "primaires") dans des "fichiers", en conséquence, nous devrons définir nos ensembles par compréhension !
Je me rappelle, (pour avoir aussi étudié certaines autres "méthodes" qui avaient aussi ce même souci de créer des collections de données "cohérentes"), avoir entendu ce genre de propos :
- Similarités ou caractéristiques communes à plusieurs entités !....
- Les objets (ou entités) qui ont en commun certaines propriétés, sont dit appartenir à un certain type !..
- Un type est une classe d'objets similaires !....
Comment voulez-vous comprendre un tel langage, c'est compliqué et chacun peut interpréter à sa façon, tout çà n'est pas précis, rigoureux, même si dans l'idée le résultat doit être le même !. Il aurait été tellement plus simple de dire :
Un élément appartient à l'ensemble s'il détient les propriétés de l'ensemble défini par compréhension .
C'est simple çà ! et cela ne supporte aucune interprétation !.
Bien maintenant que tout le monde est d'accord... nous allons organiser les données d'une étape.