• The UML of the elevator class
• The Abstract Data Type (ADT) of an elevator