INTERACTIVE WEB SERVICES WITH JAVA

Evaluating All Constraints

Note that when a constraint is applied to a field, its value may be changed!

This could potentially lead to problems, since some boolean expressions may consequently change values.

To make sure that the right behavior is obtained, we do the following:

How do we know that this doesn't loop or occillate?

Results from lattice theory guarantee that the picture looks as follows:

and the computation always terminates.