In this video we show how to validate the refinement of BPMN diagrams. Two diagrams (abstract and specific) are used as input. The “specific” contains tanks that refine the tasks contained in the “abstract” diagram. More information on web.comlab.ox.ac.uk More information about the TwoUse Toolkit on twouse.googlecode.com