信息系統分析與設計(第4版)（簡體書）

7.2用例的描述
雖然UML定義了用例圖來描述用例、參與者及它們間的關系，但用例最主要的內容是文本（用例體），而不是圖表（用例圖）。用例建模的主要工作是書寫用例規約（use casespecification），而不是畫圖。
用例規約是以文檔形式來詳述用例，展示出更多的用例“做什么”的細節，有助于深入理解目標、任務和需求。陳述性文本需要一種易于理解的結構化的用例格式。用例模板為一個給定項目的所有人員定義了用例規約的結構。雖然目前沒有一個標準化的用例模板，但大多數情況下至少應包含以下內容：用例名、參與者、目標、前置條件、事件流、后置條件。
1.前置條件和后置條件
前置條件和后置條件分別描述了用例執行前后系統的狀態。
（1）前置條件（pre—condition） 表述在系統允許用例開始以前，系統應確保為真的條件。這可為后續的編程人員提供幫助，從而確定在用例的實現代碼中哪些條件無須再次檢驗。
（2）后置條件（guarantee）或稱為成功保證。表述在用例結束時，系統將要保證的限定條件，一般都是在成功完成用例后成立。
如果前置條件不滿足，用例無法被啟動，比如“預定圖書”用例的前置條件是讀者已正確登錄到系統中。一旦用例被成功地執行，可能會導致系統內部某些狀態的改變，比如成功地“借出圖書”會使庫存量減少，借閱記錄增加等。某些用例可能沒有前置條件或后置條件，比如“查詢書目”用例沒有后置條件，因為該用例執行后不會改變系統狀態。
2.主事件流
事件流是指當參與者和系統試圖達到一個目標時所發生的一系列活動。這些活動包括系統與參與者之間的交互，也可能包括系統為了響應或支持這些交互所執行的內部事務，為交互進行準備的一些初始化活動。
執行一個用例的事件流有多種可能的路線，其中主事件流是指能夠滿足目標的典型的成功路徑。主事件流通常不包括任何條件和分支，符合大多數人員的期望，從而更容易理解和擴展。主事件流有很多同義詞：主成功場景、開心路徑、基本路徑等。
事件流的描述采用文本敘述，使用序號標記活動步驟。“借出圖書”用例的主事件流描述見表7.1。
3.備選事件流
完成一個用例除通常的主事件流之外，還會有多種可能出現失敗的情況、分支路徑或擴展路徑，為了不影響用例活動清晰的主線，將這些分支處理全部抽取出來作為備選事件流描述，或稱備選路徑。為了區分得更細致，備選事件流還可以分為正常可選事件流和錯誤異常事件流。