【導讀】軟件－計算機系統中的程序及其文檔。所需的闡明性資料。工程－將理論和所學的知識應用于實踐的科學。軟件工程－應用計算機科學、數學及管理科學等原理，它借鑒傳統工程的原則、方法，以提高。質量，降低成本為目的。其中，計算機科學、數學用于構。軟件工程是一門交叉性學科。在需求分析的基礎上，給出系統的軟件解決方案。軟件過程、活動、任務的結構框架。對這一輸入實施本。規(guī)定每一活動的工。評審、確認和反饋。維護、甚至返工的代價。針對事先不能完整地定義需求。開發(fā)構件，維持一個可發(fā)布的系統版本。其中，31%的項目的結局是被取消。%缺乏用戶的參與；%不現實的期望；%高層領導支持不足；%產品要求與指標的改變；%不再需耍該開發(fā)中的系統。其中，與產品需求有關的占了%。的錯誤是非常難于改正，并且是代價極高的。軟件開發(fā)人員與非軟件專業(yè)人員合作的問題。嚴謹、邏輯和“活躍”的思考習慣?；钴S思維要求思考的方式應該是并行的，即

　　

【正文】 人 人按工作日 領取工資 工資 注： 對于二元關系，可省略其中“菱形”。 （ 5）約束（ constraints） 用于對對象類和關系集合的語義進行進一步的描述。 ? 參與約束 給定一個關系集合，參與約束定義了對象類中的一個對象可以參與該關系集合的數目。例如： 人 交通工具 擁有 1： * 0： 1 參與約束的基本形式： min:max 其中： min為非負整數； *表示該類的一個對象可參與該關系的最大數目。 c1 c2 c3 c4 c5 c6 c7 p1 p3 p2 p4 p5 擁有關系 ： {p1,c3， p1,c4 ， p2,c1 , p3,c2 , p4,c6 , p5,c7 } 模型化為 1..2 0..1 擁有 關系集合與參與約束 解析 ? 并發(fā)約束 在一個多元關系集合中，并發(fā)約束定義了一個對象類中有多少個不同的對象可以與其它對象類中的特定的對象（一個或多個）一起出現。例如： student 1： * 5： * grade course semester 并發(fā)約束 Student course semester grade course semester Student 0:12 Student semester course 注意 ：關系集合 的有效性 ? 基本約束 定義了一個對象類中對象的數目。例如： 25： 37 Student 50 State in the USA 注意：當沒有給出基本約束時，則為 0： * ? 一般約束 一般約束是一陳述語句，用于進一步說明 ORM中對象、對象類、關系、關系集合的性質。 （ 6）特殊的關系集合 為了支持 “ 抽象 ” ，并有效地控制信息組織， OSA引入了 3種特殊的關系集合： ? is a 關系 意指：一個對象類中的一個對象是另一對象類中的對象 人 學生 超類 /一般類 特殊類 計算機 大型機 PC機 筆記本 ? is part of 關系 意指：一個對象，稱之為 “ 聚合 ” ，該對象是由一些稱之為成分的對象構成的。例如： “聚合”類 “成分 1”類 “成分 1”類 ? ? ? P1:q1 i1:j1 Pn:qn in:jn 計算機 顯示器 主機 鍵盤 注意：聚合還可有在分析中常用的一種情況：組合。 ? is member of 關系 意指：由對象構成的集合，并把這樣的集合作為一個對象。例如： 學生 學生俱樂部 成員類 集合類 / 聯合 0 ： * * 5 ： * 這種關系的讀法：學生是學生俱樂部的成員。 （ 7）特殊對象類、資格條件、注釋 ? 特殊對象類 單一對象類 —為了解決概念上的問題。 關系對象類 —該類中的每一對象是一個關系 ? 資格條件 為了確定一個對象是否屬于一個對象類 確定一個關系是否屬于一個關系集合 所施加的條件。 qualifier:any attribute of an object that distinguishes it from other object, thereby acting as a relationship cardinality constraint. [Firesmith,Rumbaugh] ? 注 釋 為使 ORM具有更多的信息所給出的圖示或解釋。 注意：注釋不能形成對對象類、關系集合的 “ 限制 ” 2）關于 ORM的小結 ? ORM是一種源于 ER模型的語義數據模型，用于捕獲一個系統 的說明性信息 其中： 為了描述實體，給出了 “ 對象 ” 和 “ 對象類 ” 的模型化概念； 為了描述實體之間的聯系，給出了 “ 關系 ” 、 “ 關系集合” ， 以及 “ 一般 /特殊 ” 、 “ 整體 /部分 ” 、 “ 聯合 /成員 ” ； 為了增強語義信息，提供了完備的 “ 約束 ” ； 提供了 “ 注釋 ” 和 “ 資格條件 ” 。 ?由 OSA關于 “ 對象 ” 的定義可知，沒有把 “ 屬性 ” 作為ORM 的基本構造，既不主張在分析階段標識屬性，并認為 這是軟件設計的工作。理由是： 屬性定義比較困難，屬性和對象很難區(qū)分； 避免導致不必要的復雜構造 例如復合屬性、重值 屬性等 . 對于這一觀點，在學界是有爭議的。 OSA的對象行為模型 1）行為的分類準則 （ 1）具有相同或相似的狀態(tài)變遷的集合； （ 2）具有相同或相似的狀態(tài)演化歷史； （ 3）具有相同或相似的功能。 根據這一分類準則，行為具有 3要素，即： 《 狀態(tài)，狀態(tài)變遷集，功能 》 2）模型化概念 ? 狀態(tài)：由對象一組確定的屬性值定義的。表達了一 個對象的外征（ status）、 階段（ phase）、 活動 （ activity）。例如： 信件 信件 信件 “編碼” “郵遞” “閱讀” （ 1）信件的屬性： 收發(fā)地址、收信人、郵戳、啟封、。 （ 2） 改變“階段”的操作 ：投遞、分裝、拆啟 （ 3） 每階段可進行的操作 ：編碼、蓋戳、分裝、運送。 States may be used to model a nondiscrete or longrunning activity,or a continuous activity that must be interrupted to allow a response to events or conditions that affect an object. object dictionary 1998 ? 觸發(fā)與轉換 對象狀態(tài)變化的過程成為轉換。 促使狀態(tài)轉換的事件或 /和條件成為觸發(fā)。 ? 動作（ action） 活動（ activity） :實現功能的基本操作。 是可中斷的。 動作（ action）：實現狀態(tài)轉換的基本操作。 是不可中斷的。 注：有的活動可以充當實現狀態(tài)轉換的動作。 狀態(tài) 1 狀態(tài) 2 狀態(tài) 3 狀態(tài) 4 條件 1 條件 2 條件 3 條件 4 操作 1 操作 2 操作 3 操作 4 操作 5 操作 6 操作 7 操作 8 蘊含 蘊含 蘊含 對象狀態(tài)與操作之間的關系 OSA有關對象行為的概念之表示： ? 狀態(tài) 呆 閑 駛向卡車 駛向糧庫 搬運糧袋 機器人叉車 ? 轉換 駛向糧庫 搬運糧袋 @到達糧庫 發(fā)動機熄火 應用輪閘 激活臂手 ?觸發(fā) （ 1）基于條件的觸發(fā) 條件是有關當前狀態(tài)、系統環(huán)境當前狀態(tài)、對象存不存在、對象之間關系存在不存在等的一個邏輯陳述。 在 OSA中，可以形式化或非形式化的給出觸發(fā)的條件。 （ 2）基于事件的觸發(fā) 事件是對象可觀察的并要響應的一個系統變化，例如接受一個命令，放送一條消息等。 事件監(jiān)視器：在 OSA中，發(fā)現事件的部件。其名字的形式為 “ @事件名 ” 。例如： @到達糧庫 事件與條件的區(qū)別：事件僅在發(fā)生時，觸發(fā)了一個就緒的轉換；而條件滿足該條件的整個期間觸發(fā)就緒的轉換。 （ 3）復合觸發(fā) 在描述觸發(fā)中，同時使用條件和事件觸發(fā)器。 3）狀態(tài)網 狀態(tài)網是一種符號結構，表示一個對象類中所 有對象的狀態(tài)和狀態(tài)轉換，即表示了三條行為分類 準則的前兩條。 狀態(tài)網可以被看作是行為的模板，指出一個對 象類中的實例具有該模板所描述的行為。 狀態(tài)網的基本成分：狀態(tài)，狀態(tài)轉換 事件和條件 動作 狀態(tài)網的基本結構 （ 1）后狀態(tài) —三種基本形式 a b s1 a b s2 s1 a b s2 s1 s3 注：引入多后狀態(tài)的目的； 后狀態(tài)結構可以給出約束，例 P136 （ 2）前狀態(tài) —三種基本形式 a b s2 s1 a b s1 a b s2 s1 s3 （ 3）初始轉換 初始狀態(tài)：當對象最初進入系統時所呈現的狀態(tài) 初始轉換：激活對象初始狀態(tài)的轉換。 沒有前狀態(tài) 初始轉換是完整狀態(tài)網的不可缺少的成分 初始狀態(tài)的表示： @create或其他等價的事件監(jiān)視器。 idle @hire quits idle quits 注：沒有轉換動作時 （ 4）最終轉換 最終轉換是沒有后狀態(tài)的轉換。 當最終轉換發(fā)生時，其當前狀態(tài)為 :off 如果一個對象的所有狀態(tài)均為 off，則意味該對象已結束其生存。 最終狀態(tài)是可選的 —當有這一要求時 . 最終狀態(tài)的表示： @destroy或其他等價的事件監(jiān)視器。 @destroy On file On file Weekly report (對象 ) （ 5）轉換的縮寫 s1 s2 a b idle On break Break time packager On break Ready to work on orders clerk 狀態(tài)轉換的縮寫形式 “無動作”的轉換之縮寫 “無動作”、但有隱含的事件 （ 6）狀態(tài)的保留 目的：支持描述活動的并發(fā)執(zhí)行。 @just remembered spouse?s birthday is totay Driving to work Dial candy shop on car phone a b s1 c s2 狀態(tài)返回的描述 （ 7）例外 例外是系統的一種事件或條件，它不是系統正常行為的一部分。 @paper jam Copying Determine Jam areas unifiled order exist and box exist and invoice form idle Get unifiled order get box get invoice form stapling Ready for next job Copy machine例外的模型化 fill order request boxes packager轉換期間的例外 （ 8）實時約束 實時約束可應用于：觸發(fā)、活動、狀態(tài)、以及狀態(tài)轉換路徑。 實時約束的表示： { 實時要求 }。例如： @manager enters packaging room {=2 seconds} idle Clean up packaging room packager觸發(fā)的時間約束 order filed Put customer copy of invoice in box seal box fill in invoice Address package packager—狀態(tài)網路徑的時間約束 Package items {a} { a to b = 15 minutes} （ 9）狀態(tài)