6.0 ELEMENTS OF MODELING
The graphical modeling of a production is illustrated in Figure 77. The LHS uses models that are evaluated to certain values. These models are properties or similar, valued models as discussed in Section 6.5. The LHS models are linked (and point) to a property model that acts as a hypothesis. The RHS actions are specified by models, which may be actual program functions.
Figure 77 Graphical Modeling of Productions