Deakstadieđáhus: Formal Modelling in Electronic Commerce