ASSIGNMENT #3

Due Friday, December 14, 2001, 12:00 P.M.

This project will be a team effort consisting of the following teams, with the team leader listed first: 1) Fei Cao, Shilpa Deshmukh, Prabhukiran Vempati; 2) Yaohui Lu, Anand Mallavelli, Ramesh Puljala; 3) Ying Sun, Purvi Shah, Brian Sneed; 4) Wei Zhao, Arun Goel, Venkata Nadimpalli; 5) Song Zhou, Amit Agarwal, Rudy Kamman.

Each team is to consider the specification of the CARA Infusion Pump Controller and the team members' individual specifications of CARA objects in Assignment #2.

1.

Unify the team members' individual specifications to achieve a team design of the CARA objects.

2.

Fill in all available details of the operations.

3.

Is the specification implementable? If not, try to make it implementable by simulating operations that haven't been completely specified. If this is not possible, explain what additional information is needed from the client to complete the specification so it will be implementable.

Your final report should include: 1) the VDM++ specification, 2) a UML model corresponding to that specification (i.e. you may generate it from the VDM++ rather than enter it directly), and 3) a statement from the team leader about the overall project successes and failures, as well as individual statements from each team member identifying their main contribution to the project and any additional comments regarding success or failure of that part or other parts of the project.