ReservationTicketBDEF implementation