Title: Formal Modelling in Electronic Commerce