Auto-completion for diagram editors based on graph grammars | IEEE Conference Publication | IEEE Xplore