Evaluation of the usability of constraint diagrams as a visual modelling language: theoretical and empirical investigations