Stav dette: Formal Modelling in Electronic Commerce