Page 336 -
P. 336

332                                                      M. Pesic et al.

























                           Fig. 12.5 The LTTL model in DECLARE



























                           Fig. 12.6 Defining a constraint in DECLARE based on the precedence template constructed in
                           Fig. 12.4



                           < 1; 000” on a constraint would mean that the constraint should hold only if the
                           data element totalPrice has a value less than 1,000. Finally, the type (mandatory or
                           optional) of the constraint must be specified. The constraint shown in Fig. 12.6 is
                           mandatory.
   331   332   333   334   335   336   337   338   339   340   341