Anfonwch hwn fel neges destun: Formal Modelling in Electronic Commerce