Transaction Models: an overview