You have been working with the Holiday Travel Vehicle problem for quite a while. You should go back and refresh your memory about the problem before attempting to solve this situation. Refer back to your solutions Minicase 4 in Chapter 7.

In the new system for Holiday Travel Vehicles, the system users follow a two-stage process to record complete information on all of the vehicles sold. When an RV or trailer first arrives at the company from the manufacturer, a clerk from the inventory department creates a new vehicle record for it in the computer system.

The data entered at this time include basic descriptive information on the vehicle such as manufacturer, name, model, year, base cost, and freight charges. When the vehicle is sold, the new vehicle record is updated to reflect the final sales terms and the dealer-installed options added to the vehicle. This information is entered into the system at the time of sale when the salesperson completes the sales invoice.

When it is time for the clerk to finalize the new vehicle record, the clerk selects a menu option from the system, which is called Finalize New Vehicle Record.

The tasks involved in this process are described below.

When the user selects Finalize New Vehicle Record from the system menu, the user is immediately prompted for the serial number of the new vehicle.

This serial number is used to retrieve the new vehicle record for the vehicle from system storage. If a record cannot be found, the serial number is probably invalid. The vehicle serial number is then used to retrieve the option records that describe the dealerinstalled options that were added to the vehicle at the customer’s request. There may be zero or more options. The cost of the option specified on the option record(s) is totaled. Then, the dealer cost is calculated using the vehicle’s base cost, freight charge, and total option cost. The completed new vehicle record is passed back to the calling module.

a. Update the structural model (CRC cards and class diagram) with this additional information.

b. For each class in the structural model, using OCL, create a set of invariants for attributes and relationships and add them to the CRC cards for the classes.

c. Choose one of the classes in the structural model.

Create a contract for each method in that class. Be sure to use OCL to specify the preconditions and the postconditions. Be as complete as possible.

d. Create a method specification for each method in the class you chose for question

b. Use both Structured English and activity diagrams for the algorithm specification.