The use of semantic constraints on diagram editors | IEEE Conference Publication | IEEE Xplore