SEQUENCE DIAGRAM UNDER FINITE STATE MACHINE FOR RENEWING BOOK IN LIBRARY SYSTEM

Consider a GUI for our Library system, implemented as a Finite State Machine.

One of the options in the ClerkMenu state is to renew a user's books.

Assuming that we have a context and a separate RenewState ,

construct a sequence diagram that shows how the control ows among the states of the GUI when the

Renew books use-case is invoked.

Do not show any details of operations behind the Facade. The Facade (Library)

provides the following operations:

searchMembership(memberID)

that returns a member object,

getBooks(memberID)

that returns an iterator for the list of books issued to the member, and renewBook(bookID, memberID) that returns a reference to the book that was renewed.

Describe and justify any other assumptions that you make.