La modellazione BIM nella validazione del progetto di architettura: un’implementazione della teoria dei grafi