You have been working with the professional and scientific management (PSSM) 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 to Minicase 3 in Chapter 7.

a. 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.

b. 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.

c. 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.