Complete the specification document for the library circulation system of Problem 8.7 using Gane and Sarsen’s technique. Where data have not been specified (for example, the total number of books checked in and out each day), make your own assumptions, but make sure that they are indicated clearly.

Problem 8.7:

Consider an automated library circulation system. Every book has a bar code, and every borrower has a card bearing a bar code. When a borrower wishes to check out a book, the librarian scans the bar codes on the book and the borrower’s card, and enters C at the computer terminal. Similarly, when a book is returned, it is again scanned and the librarian enters R . Librarians can add books ( + ) to the library collection or remove them ( − ). Borrowers can go to a terminal and determine all the books in the library by a particular author (the borrower enters A= followed by the author’s name), all the books with a specific title ( T= followed by the title), or all the books in a particular subject area ( S= followed by the subject area). Finally, if a borrower wants a book currently checked out, the librarian can place a hold on the book so that, when it is returned, it will be held for the borrower who requested it ( H= followed by the number of the book). Explain how you would ensure a high percentage of reusable code artifacts.