jo:Member
pat:Member
sys:LibSys
chris:StockKeeper
reserve(title)
return(book)
[title==book.title]notify(title)
[title.reservations.count>n]
buy(title)
checkOut(book)
sys:LibSys
reserve(title)
return(book)
buy(title)
notify(title)
checkOut(book)
| Previous slide | Next slide | Back to first slide | View graphic version |