La logique informatique
(selon les travaux de J.D WARNIER)
L.D.R The organization of one output requested
Everyone knows how difficult it is to express their own computer needs to others, we will now discover the approach and the tool to use to express our data needs in a clear and rigorous way (without any ambiguity !) and understandable by everyone.
We will use the hierarchical approach as a reasoning tool, in other words, we will subdivide a set into sub-sets level by level to arrive at the element (elementary item). Remember (reduce an important problem to a series of restricted problems) and we will use as a expression tool of our reasoning, the hierarchical diagram.
When we consider the organization of the data of a requested output, there are three steps to perform:
1 °) Establish the hierarchical diagram which gives the organized exhaustive list and ordered of all the elementary data of this Ouput Requested.
2 °) Define the location of the data on the output media of the system (Status or screen model Etc ...)
3 °) The table relating external calculations, conditions and data (External Movements) required.
Of course this may seem obvious, everyone does, but it's so much better to say, let's not forget that we are in a pure logic (we are not here to tweak !)
Lets' go !
1 °) The hierarchical diagram.
The subdivision of the data set of an output is performed using the following subdivision criterion: