Exploring DDD with a booking system for movie theatres