Harmonisation of information system modelling and specification techniques