Object-Oriented Transaction-Level Modelling