Modelling Web Based Socio-Technical Systems Through Formalising Possible Sequences of Human Experience.