An integrity constraint management framework in engineering design · Study