A Multi-Layer Modelling Environment for Diagram Predicate Framework in Eclipse