Figure 3 illustrates the required modifications. In general, the Web developer has to (1) call the contextInstance method and (2) use the invoke method of the constraint checking service and enforce its decision whenever a constrainable element is invoked.