Diagen: A generator for diagram editors providing direct manipulation and execution of diagramsSpecification of diagram editors providing layout adjustment with minimal change
