Text this: Formal Modelling in Electronic Commerce