The following change requests have been received. Change 0 is a sample only, and will not be reviewed by the change review committee. In each table entry the change number is a link to the details.
| Number | Date received | Requester | Originating phase | Status |
|---|---|---|---|---|
| 0 | (ISO date) | (Email address) | (Earliest development phase affected) | (How far has it got) |
| 1 | 2004-10-06 | M.A.Webber | Analysis | Initial |
| 2 | 2004-10-25 | J.B.Wordsworth | Analysis | Initial |
| 3 | 2004-10-25 | J.B.Wordsworth | Specification | Implemented in E03 dated 2005-02-08 |
| 4 | 2004-11-01 | D.J.McGreal | Analysis | Implemented in E02 dated 2005-02-08 |
| 5 | 2004-11-17 | D.J.McGreal | Specification | Implemented in E03 dated 2005-02-08 |
| 6 | 2004-11-22 | J.B.Wordsworth | Specification | Implemented in E03 dated 2005-02-08 |
| 7 | 2004-11-22 | K.L.Tew | Specification | Implemented in E03 dated 2005-02-08 |
| 8 | 2004-11-22 | R.T.Gibson | Analysis, Specification | Initial |
| 9 | 2005-03-19 | J.B.Wordsworth | Design | Implemented in E04 dated 2005-03-21 |
Describe the requested change.
Give reasons for the change.
Please supply details of changes to be made.
Change review committee's evaluation of the benefits and disadvantages of the change.
Change review committee's disposition.
Back to the change request log.
Change the names of the association between store and lines to has_lines, and between store and checkouts to has_checkouts.
Easier to understand.
Please supply details of changes to be made.
Change review committe's evaluation of the benefits and disadvantages of the change.
Change review committee's disposition.
Back to the change request log.
The supermarket is to issue a discount card to selected customers. The card can be read by a card reader attached to the checkout. If the card is read at any time between StartBill and EndBill, the checkout sends a StartCustomer signal to the store controller, together with the number from the card. At present the number is not used by the store controller. If the card is swiped through the card reader after EndBill or before StartBill, it has no effect. Swiping the card a second time has no effect. When the EndBill key is pressed, the store controller causes the checkout station to print the bill, but the prices charged are discounted. The amount of discount is a percentage of the price of the item. When the warehouse manager adds a line, the value of the discount, which can be 0, 10, 20, or 50, is specified as an extra parameter on the AddLine command. There is a new operation for the warehouse manager, SetLineDiscount, which has a line number and a discount value as its parameters.
To support new function in the checkout stations.
Please supply details of changes to be made.
Change review committee's evaluation of the benefits and disadvantages of the change.
Change review committee's disposition.
Back to the change request log.
Change pseudocode of RemoveLineFromBill.
Fix an error is the Specification document: The pseudocode of RemoveLineFromBill does not agree with the Analysis document version of that use case.
The Specification document is to be changed as follows:
Replace 'Checkout removed' with 'Line removed'.
Replace 'ELSIF ... THEN ... ELSE ... END' with "ELSE log "removeLineFromBill", checkout_number, line_number, status'.
Required
Accepted
Back to the change request log.
Change the description of the EndBill use case and object diagram.
Correct error in description and object diagram the EndBill use case.
In the analysis document, EndBill use case:
Required
Accepted
Back to the change request log.
Change the pseudocode of AddLine.
Correct error in the use of the addLine function in the pseudocode for AddLine use case.
In the specification document, AddLine use case:
Replace "addLine (line_number)" by "addLine (line_number, line_description,
line_price,
line_stock)"
Required
Accepted
Back to the change request log.
Change the specification of getLineFromBill.
Correct errors in postcondition and in validation argument.
Specification:
Change the postcondition to refer to bill_line_function instead of bill_list_function (6 occurrences).
Change the validation argument to refer to (B4) and (B54) instead of (B5) and B(6).
Required
Accepted
Back to the change request log.
Change the pseudocode of EndBill.
Correct an error in the pseudocode: the loop body has nothing to cause termination.
In the Specification:
In the pseudocode for EndBiIll,
add an extra statement at the end of the body of the WHILE loop:
status, lde, lpr <-- getLineFromBill ( checkout_number )
Required
Accepted
Back to the change request log.
Add figure numbers to the diagrams.
Easier to make references in change requests, and so on.
Analysis, Specification, Design, and so on.
Change review committe's evaluation of the benefits and disadvantages of the change.
Change review committee's disposition.
Back to the change request log.
Correct the types of some of the parameters in the design. Add a clarifying invariant in the Store class. Supply correctness arguments for some operations.
Correct errors in the design document.
In the design document E04 dated 13 October 2004:
Required.
Accepted.
Back to the change request log.