Formal Modelling In Electronic Commerce by