7. The method of claim 4 wherein said step of generating said plurality of global attributes comprises the steps of: c1) determining the identity of domains referenced by the present domain; and c2) creating a domain list attribute wherein said domains determined in step c1 are possible values for said domain list attribute.
8. The method of claim 7 wherein said step of generating said plurality of global attributes comprises the steps of: c3) identifying a plurality of solution nodes in a present domain; and c4) creating a solution list attribute wherein said solution nodes identified in step c3 are possible values for said solution list attribute.