Abstract delta modelling