Formal Modelling In Electronic Commerce door