create a UML class diagram and a UML state machine diagram for each class to specify a simple elevator control system. Show all the attributes and operations of each class. Show the environmental actors as stick figures and their relations with classes as associations in your diagram. Show all possible aggregations (compositions), generalizations, and associations among classes. Show the labels and multiplicities on the associations. Additionally, you will specify the desired properties using LTL.

For Each Class diagram there should be a state diagram( for 8 classes , we should have 8 class diagrams).

You will specify the behavior of a software system to be installed to control a simple elevator system. An elevator consists of an engine to move passengers in two directions (up and down), a car to carry passengers, doors that can be open and close; and the up and down arrows to indicate elevator's direction of travel. The elevator services a three-floor building. Inside the elevator there are request buttons, one for each floor. If the user inside the elevator presses a button, the elevator will visit the corresponding floor and open its doors.

button1: tell the elevator to go to floor 1

button2: tell the elevator to go to floor 2

button3: tell the elevator to go to floor 3

Floor 1 and floor 3 each has a request button that a user presses to command the elevator to come to that floor and to open its doors. Floor 2 has two request buttons to indicate which direction (up or down) the user will want to be taken once they are inside the elevator.

upF1: request at floor 1

upF2: going-up request at floor 2

downF2: going-down request at floor 2

downF3: request at floor 3

If the elevators doors open, they should stay open for five time units. The elevator has two buttons to open and close the doors. When any of these buttons is pressed, the button will light up until the request is responded

buttonOpen: request to open the door

. buttonClose: request to close the door

When any of these buttons is pressed, the button will light up until the request is responded. You should not make any assumptions about how much time it takes the elevator to move between floors

You specify the following Temporal Logic properties ( LTL) of the elevator system

1. The doors should never be open while the elevator is moving.

2. For each of the three floors, if the floor button is selected, the elevator should eventually reach the selected floor and open its doors at the selected floor. This could be broken up into three properties, one for each floor

3. For each of the external buttons (on each floor) the elevator should eventually reach those floors and open its doors when it reaches that floor. Again, this comprises three specifications (or four if you don't combine the two buttons on the second floor).