Formalisation of information systems modelling