DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams | IEEE Conference Publication | IEEE Xplore