3. Do you need other interpretation procedures?

The requirement of comprehensiveness in Chapter 2 outlines the scope of correct application of the standard interpretation procedure.

However, the question arises what to do in situations where full knowledge of the "real" facts is too cumbersome to reflect in a single formula, and in General the understanding of the development participant, which leads to a situation in which:

participants only limited control, each other are not fully absorbing sets of the original facts and their corresponding formulas

the interpretation of the results is complex and does not provide a guaranteed indication of the original facts

The most famous is the following picture, informally expressing the essence of the problem:

Despite the evidence of this situation, it will have to be complicated by referring to the process of developing complex technical systems, which will be further everywhere implied as an example. This is done for the main reason that it is essential for them to distinguish two forms of their existence – in the form of design and behavior, without reference to which all further presentation is far-fetched and pereuslozhnennym. In the same series should be considered the development of such models of real phenomena, which are also significantly divided into design and behavior, although for these phenomena may be such a division and is not adequate. And although the behavior here is always seen as functionally determined by the design, that is, is" redundant", their essential difference is that the design developer somehow controls, but the behavior in full-almost never.

That is, all the usual "objects of reality" here is proposed to look at as having a conditional design and behavior: the design is assembled from blocks, the formal analogue of which are the original facts, but the true purpose of their Association is the functioning (behavior) (analogue of the result).

The process of designing such systems is therefore the main object of study, for which further built and studied formal abstraction. For simplicity, it is assumed that such systems do not have an internal sequence, which makes them instantaneous.

It is well known how complicated the process of debugging such systems is. But can it be simplified by replacing, at least partially, testing with some kind of preliminary control of specifications to check their mutual consistency?

For a detailed consideration of the question put forward in the title of the paragraph, that is, whether a different interpretation procedure is needed, then (see Chapter 23) a new modified formal system will be built in the form of a language and systems, for which the next Chapter 4 will consider semantics.

Prev Next