Specification and Intentions

Finally, there is consistency of a specification wrt the intentions. For instance, consistency of the examples E r) wrt the intended relation HL means that the positive examples are contained in and that the negative examples are contained in its complement % 

Definition 7-11 E r) is consistent with iff the following two conditions hold  

Definition 7-12 P( ) is consistent with tJL iff the next condition holds  

The specified relation of a consistent specification is thus a subset of the intended relation. Moreover, if LA(r) is partially or totally correct wrt E(r) (respectively P(r)), and E(f) (respectively P(r)) is consistent with then LA(f) is partially correct wrt If there is no formal definition of the intended relation then some correctness criteria cannot be applied in a formal way. But they can be used to state features and heuristics of a synthesis mechanism. 

---