Systems Analysis and Synthesis

5.6. Specifying Atoms

Apart from the events that the system will handle, we need to specify the database in which the states of its atoms are stored. The easiest way to specify a database is as a set of functional dependencies.

In the specification language, we shall use an array or functional style of notation to access to the components of functional dependencies. If (x↦y)∈(f:X→Y), then f(x)=y.⁸

X and Y above are sets of values. A specification may ...