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

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

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

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