實驗三建立系統(tǒng)順序圖與操作契約

1、實驗三 建立系統(tǒng)順序圖與操作契約組員：孫俊杰 厲勁東Borrow契約CO11：newBookBorrow操作：newBookBorrow（）交叉引用：用例：借書前置條件：無后置條件：創(chuàng)建了“借書”（BookBorrow）的實例bb；bb的屬性被初始化；bb被關(guān)聯(lián)到Rigester的一個實例。契約CO12：enterBorrower操作：enterBorrower（id）交叉引用：用例：借書前置條件：“借書”業(yè)務(wù)正在進(jìn)行后置條件：創(chuàng)建了“讀者”（Borrower）的實例r；基于讀者id的匹配，“讀者”（Borrower）的實例r被關(guān)聯(lián)BookBorrow的實例 bb。契約CO13：enterBo

2、rrowItem操作：enterBorrowItem（id）交叉引用：用例：借書前置條件：“借書”業(yè)務(wù)正在進(jìn)行后置條件：創(chuàng)建了“借書項”（BookBorrowItem）的實例bbi；基于圖書id的匹配，一個“圖書”（Book）的實例b被關(guān)聯(lián)到bbi；bbi的屬性被初始化；bbi被關(guān)聯(lián)到BookBorrow的實例bb。契約CO14：endBorrow操作：endBorrow（）交叉引用：用例：借書前置條件：“借書”業(yè)務(wù)正在進(jìn)行后置條件：根據(jù)Borrower的匹配，所有“借書項”（BookBorrowItem）的實例bbi被關(guān)聯(lián)到“所有借出圖書”(AllBorrowedBooks)上。（為了能使本

3、次借閱的借書項合并到該借閱者的所有借書列表中）Return契約CO21：newBookReturn操作：newBookReturn（）交叉引用：用例：還書前置條件：無后置條件：創(chuàng)建了“還書”（BookReturn）的實例br；br的屬性被初始化。br被關(guān)聯(lián)到Register的一個實例；契約CO22：enterReturnItem操作：enterReturnItem（id）交叉引用：用例：借書前置條件：“還書”業(yè)務(wù)正在進(jìn)行后置條件：創(chuàng)建了“還書項”（BookReturnItem）的實例bri；初始化bri的屬性；基于圖書id的匹配，一個“圖書”（Book）的實例b被關(guān)聯(lián)到bri；基于圖書id的匹配，取消一個“借書項”（BookBorrowItem）的實例bbi與“所有借出圖書”(AllBorrowedBooks)的關(guān)聯(lián)。bri被關(guān)聯(lián)到BookReturn的實例br；契約CO23：endReturn操作：endRetu