Towards design process validation integrating graph theory into BIM