Transaction decomposition in Object-Oriented Models