Text this: Formal modelling in electronic commerce