We are going to go over some of the essential characteristics and features of descriptive models in the following paragraphs.

Produce a Class Diagram and a Use case diagram for the State Patrol case.  You should list assumptions and questions that are relevant and functionally determine your model Things to help: When you create the Use Diagram, you should start with the basis that there are 3 roles: Officer (because the Officer is entering the ticket online directly from the patrol car) Motor Vehicles clerk Court clerk (Note the "Driver" is not a role since her/his pleas (or payment) are probably being entered by a clerk) If you have already defined an ERD solution for this case (in class), converting this to a class diagram should be relatively easy.

You should be able to differentiate between physical and schematic representations by providing examples of each.

Give some examples of how model checking may save time and money compared to verifying a program to a formal specification.