Formal Modelling In Electronic Commerce