Modelación y tratamiento de reglas de conocimiento de diseño en forma de restricciones para soportar la creación de Modelos de Satisfacción de Restricciones