Aspects of Transaction Modelling