Pātuhitia tēnei: Formal Modelling in Electronic Commerce