軟件系統(tǒng)分析與設(shè)計(jì)4需求2

第4章軟件系統(tǒng)需求獲取、分析及描述2023/2/62教學(xué)內(nèi)容4.1軟件需求基礎(chǔ)4.2需求過(guò)程

4.3需求獲取4.4需求分析4.5需求確定4.6需求規(guī)格說(shuō)明書(shū)2023/2/634.5.1問(wèn)題框定4.5.2五個(gè)問(wèn)題框架4.5.3多問(wèn)題框架§4.5問(wèn)題確定

2023/2/64域共享現(xiàn)象連接域現(xiàn)實(shí)域框架圖從圖到文檔§4.5問(wèn)題確定

4.5.1問(wèn)題框定2023/2/65馬的遍歷：馬開(kāi)始于棋盤(pán)的中央如圖3-1所示。問(wèn)題是找到一系列的移動(dòng)步驟，使馬走完每個(gè)方框，而落入任何一個(gè)方框僅一次。圖4-3馬的遍歷§4.5問(wèn)題確定

2023/2/66§4.5問(wèn)題確定

書(shū)寫(xiě)軟件需求最重要的步驟是框定問(wèn)題：把問(wèn)題的特定部分，以及部分間特定的關(guān)系，放入一個(gè)特定的形式中。問(wèn)題框定方法應(yīng)該使問(wèn)題得細(xì)節(jié)（不管如何復(fù)雜）適合一個(gè)簡(jiǎn)單連貫的框架，以便使人們能夠系統(tǒng)地分析他們而不會(huì)被問(wèn)題所壓倒。在馬的遍歷中，方塊上的數(shù)字是潛在的壓倒性細(xì)節(jié)。如圖3-2所示。2023/2/6713§4.5問(wèn)題確定

圖4-4馬的遍歷，重構(gòu)123456789101112131415161718192021222324251121119810322292061724154723165142518212023/2/68§4.5問(wèn)題確定

圖4-5分解成域兩個(gè)世界取貨

送貨到目的地

打印報(bào)表數(shù)據(jù)庫(kù)方案接口子程序問(wèn)題域機(jī)器域需求程序規(guī)格說(shuō)明書(shū)4.5.1問(wèn)題框定1.域2023/2/69從圖中我們可以看出，每個(gè)域包含一組個(gè)體即我們想要陳述的顯著事情。如圖3-3中問(wèn)題域的個(gè)體就是：卡車(chē)、城市、貨物、司機(jī)、客戶(hù)和用戶(hù)等等——客觀世界的物理實(shí)體。注意：個(gè)體的唯一準(zhǔn)則是你總能區(qū)分每個(gè)個(gè)體——沒(méi)有一個(gè)個(gè)體同時(shí)是另一個(gè)個(gè)體。§4.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/610在每個(gè)域中也包含我們想討論這些個(gè)體的每件事情，想肯定或者否定一個(gè)或多個(gè)個(gè)體的每一件事，叫做斷言。機(jī)器域包含一組不同的斷言：一個(gè)子例程占據(jù)一定的內(nèi)存位置，一個(gè)子例程調(diào)用另一個(gè)等等。

§4.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/611域也就是一組個(gè)體以及伴隨它們的斷言。個(gè)體不是現(xiàn)在或過(guò)去已存在的個(gè)體；它們是軟件必須能夠應(yīng)付的潛在的個(gè)體。所以潛在的客戶(hù)是問(wèn)題域的一部分。當(dāng)定義一個(gè)域時(shí)，我們不需要知道域中現(xiàn)在或?qū)?lái)要包含的所有實(shí)際個(gè)體；但我們要詳細(xì)指定將要用于他們的所有斷言。§4.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/612信息類(lèi)型

域中存在是實(shí)體種類(lèi)——例如：人、車(chē)、音樂(lè)作品、燃料、道路名稱(chēng)等實(shí)體具有的屬性種類(lèi)——例如：顏色、狀態(tài)、支付日期、賬戶(hù)上有多少錢(qián)等實(shí)體之間的關(guān)系——例如：司機(jī)擁有一輛汽車(chē)、訴訟中的拉辨雙方等

域中發(fā)生的事件類(lèi)型——例如：轎車(chē)可以被賣(mài)掉、滾筒可以傳動(dòng)等實(shí)體行為所遵循的因果法則——例如：當(dāng)切僅當(dāng)I/O端口0xf00的bit7為高時(shí)，伺服電機(jī)A啟動(dòng)，當(dāng)伺服電機(jī)A啟動(dòng)時(shí)，滾筒RJ順時(shí)鐘傳動(dòng)表4-2域信息4.5.1問(wèn)題框定1.域§4.5問(wèn)題確定

2023/2/613當(dāng)框定問(wèn)題時(shí)，你不需要知道哪個(gè)事件將要發(fā)生，但必須知道事件所擁有的所有可能屬性以及它們之間重要的關(guān)系。一個(gè)事件的屬性就是參與在事件中的實(shí)體；或事件可能發(fā)生的時(shí)間和繼續(xù)的時(shí)間；事件間的關(guān)系就是之前或之后這樣的事情?！?.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/614提議：確定的實(shí)體擁有確定的屬性或相互之間具有的特定關(guān)系。屬性和關(guān)系可以識(shí)別一個(gè)個(gè)體來(lái)為自己產(chǎn)生一個(gè)提議，或者他們可以為斷言個(gè)體進(jìn)行服務(wù)。一般軟件項(xiàng)目，要知道的全部東西是描述每個(gè)域中的東西，根據(jù)這些描述，必須解釋全部詞匯以及根據(jù)詞匯框定你的所有描述?！?.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/615有關(guān)如何選擇“什么去調(diào)用一個(gè)個(gè)體”和“什么去調(diào)用一個(gè)斷言”往往依賴(lài)于你感興趣斷言和詢(xún)問(wèn)什么。并不是說(shuō)每一個(gè)物理對(duì)象一定是個(gè)體，而無(wú)形的東西像名稱(chēng)和號(hào)碼等一定是斷言。唯一的規(guī)則是無(wú)論域的哪個(gè)部分都不可立刻成為兩個(gè)個(gè)體，而且你必須已經(jīng)知道所有你想對(duì)個(gè)體下的斷言?！?.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/616例子：為一個(gè)公共汽車(chē)從一地到另一地計(jì)算路程編寫(xiě)需求。我們感興趣的提議是什么？§4.5問(wèn)題確定

4.5.1問(wèn)題框定1.域2023/2/617分解成域是框定問(wèn)題最重要的技巧。我們分解域有兩個(gè)主要原因。第一，如果我們明智地選擇個(gè)體和斷言，可以限制我們所關(guān)注的范圍。第二，我們可以討論貫穿于兩個(gè)域中的因果關(guān)系，或域之間的其他關(guān)系，為了使一個(gè)域能夠?qū)崿F(xiàn)一定的效果或能夠與其他域交流信息，它必須與其他域有重疊部分。4.5.1問(wèn)題框定2.共享現(xiàn)象§4.5問(wèn)題確定

2023/2/618域中的重疊部分為共享現(xiàn)象。共享現(xiàn)象是兩個(gè)域之間所共有的狀態(tài)、事件和對(duì)象。如：規(guī)格說(shuō)明書(shū)中描述的輸入/輸出設(shè)備的行為就是一類(lèi)型的共享現(xiàn)象。如果你把卡車(chē)和司機(jī)作為兩個(gè)不同的域，那么司機(jī)駕駛卡車(chē)就同時(shí)發(fā)生在兩個(gè)域中，也就是這個(gè)事件使他們兩個(gè)都從同一個(gè)地方移動(dòng)到另一個(gè)地方。4.5.1問(wèn)題框定2.共享現(xiàn)象§4.5問(wèn)題確定

2023/2/619共享實(shí)例：用戶(hù)敲擊的鍵也是軟件接收的鍵。每個(gè)軟件在監(jiān)視器上所顯示的像素也是用戶(hù)所看見(jiàn)的像素。計(jì)算機(jī)中的兩個(gè)正在運(yùn)行的進(jìn)程共享一塊內(nèi)存，保持著一個(gè)信號(hào)量，一個(gè)進(jìn)程通過(guò)它來(lái)告訴另一個(gè)進(jìn)程它本身是否安全地運(yùn)行一個(gè)操作。4.5.1問(wèn)題框定2.共享現(xiàn)象§4.5問(wèn)題確定

2023/2/620氧傳感器傳送給轎車(chē)內(nèi)微處理器的信號(hào)。由同一個(gè)微處理器給轎車(chē)燃料噴射器傳送信號(hào)。一個(gè)目錄，程序在其中存放文件供另一個(gè)程序以后恢復(fù)使用，或一個(gè)郵件夾，用來(lái)接收存放新郵件，以后供郵件閱讀者翻閱。職員打出勤卡也是電子出勤卡記錄事件。4.5.1問(wèn)題框定2.共享現(xiàn)象§4.5問(wèn)題確定

2023/2/621圖4-6是一個(gè)氣象分析研究系統(tǒng)，問(wèn)題域：溫度、氣象站和研究員。圖4-6四個(gè)域中的軟件問(wèn)題溫度氣象站計(jì)算機(jī)研究員4.5.1問(wèn)題框定3.連接域§4.5問(wèn)題確定

2023/2/622軟件需求是要在研究員和地區(qū)的溫度之間創(chuàng)建一個(gè)聯(lián)系：研究員必須能夠按照要求查詢(xún)溫度。因此氣象站組成了一個(gè)特殊的域類(lèi)型：連接域。連接域：一個(gè)域同我們希望有直接聯(lián)接的域產(chǎn)生共享現(xiàn)象。4.5.1問(wèn)題框定3.連接域§4.5問(wèn)題確定

2023/2/623先來(lái)看一個(gè)例子：藥房和醫(yī)療保險(xiǎn)公司之間存在計(jì)算機(jī)進(jìn)行交互。當(dāng)病人提供給藥房一個(gè)處方時(shí)，藥房計(jì)算機(jī)要向保險(xiǎn)公司的計(jì)算機(jī)發(fā)送許可申請(qǐng)。如果此事物符合保險(xiǎn)公司所承諾的規(guī)則，保險(xiǎn)公司計(jì)算機(jī)返還回由病人支付的一筆共付款項(xiàng)金額。藥劑師就收取共付款項(xiàng)，并且保險(xiǎn)公司欠藥房藥價(jià)減去共付款項(xiàng)后的一筆金額。4.5.1問(wèn)題框定4.實(shí)現(xiàn)域§4.5問(wèn)題確定

2023/2/624為了設(shè)計(jì)包含兩套計(jì)算機(jī)的系統(tǒng)，我們必須知道這個(gè)債權(quán)在哪里，因?yàn)橐肴タ刂扑鼈兓驁?bào)告它們，我們必須知道系統(tǒng)如何訪(fǎng)問(wèn)它們。

債權(quán)必須存在系統(tǒng)之中，系統(tǒng)可以無(wú)條件地控制它們。系統(tǒng)要為它們內(nèi)部的債權(quán)創(chuàng)建一個(gè)代理。藥房和保險(xiǎn)公司承認(rèn)當(dāng)某一特定的比特位模式在計(jì)算機(jī)中存在時(shí)，保險(xiǎn)公司將欠藥房相應(yīng)的一筆金額，要根據(jù)一定的規(guī)則，這個(gè)比特位模式就被創(chuàng)建。4.5.1問(wèn)題框定4.實(shí)現(xiàn)域§4.5問(wèn)題確定

2023/2/625這個(gè)規(guī)則就是：在系統(tǒng)中設(shè)置一個(gè)授權(quán)能創(chuàng)建一個(gè)債權(quán)。這時(shí)我們就說(shuō)系統(tǒng)在他內(nèi)部實(shí)現(xiàn)了債權(quán)，債權(quán)就是一個(gè)實(shí)現(xiàn)域。為真實(shí)債權(quán)創(chuàng)建一個(gè)實(shí)現(xiàn)域作為代理，系統(tǒng)就可以控制債權(quán)。沒(méi)有保險(xiǎn)公司和藥房的協(xié)定，就沒(méi)有任何點(diǎn)去亂動(dòng)計(jì)算機(jī)內(nèi)部的比特位。沒(méi)有哪一方將付錢(qián)給另一方。4.5.1問(wèn)題框定4.實(shí)現(xiàn)域§4.5問(wèn)題確定

2023/2/626對(duì)于人們之間任何類(lèi)型的承諾，如果一個(gè)計(jì)算機(jī)想要去操作它，在需求文檔中就必須以實(shí)現(xiàn)域來(lái)表示。這包括大多是債權(quán)、賬目、運(yùn)行任務(wù)的責(zé)任、約定的相見(jiàn)時(shí)間、在某一時(shí)間有權(quán)使用會(huì)議室等等。4.5.1問(wèn)題框定4.實(shí)現(xiàn)域§4.5問(wèn)題確定

2023/2/627用圖形符號(hào)來(lái)描述軟件問(wèn)題的所有基本部分，我們把用這種符號(hào)繪制的圖稱(chēng)為框架圖。每個(gè)域用一個(gè)矩形來(lái)表示，兩個(gè)域之間的共享現(xiàn)象用一根連接兩個(gè)矩形的線(xiàn)來(lái)表示。要編程的機(jī)器用雙邊框矩形來(lái)表示。寫(xiě)在雙邊框內(nèi)的詞語(yǔ)表示編程后的計(jì)算機(jī)是什么類(lèi)型的機(jī)器。4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/628溫度氣象站信息系統(tǒng)研究員圖4-7溫度信息系統(tǒng)部分框架圖：僅僅是域4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/629如果一個(gè)域完全包含在另一個(gè)域當(dāng)中，如果一組文檔就完全包含在計(jì)算機(jī)中，框架圖用一個(gè)大實(shí)黑點(diǎn)來(lái)表示它。文檔字處理系統(tǒng)圖4-8大實(shí)黑點(diǎn)顯示一個(gè)域完全包含在另一個(gè)域中4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/630大實(shí)黑點(diǎn)還表示那種共享于三個(gè)或多個(gè)域之間現(xiàn)象的極少情況?？ㄜ?chē)駕駛事件貨物圖4-9大實(shí)黑點(diǎn)表示多個(gè)域卡車(chē)司機(jī)地點(diǎn)4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/631圖4-10溫度信息系統(tǒng)的完整框架圖用橢圓表示需求，用一根或者多根連線(xiàn)來(lái)連接需求所述的域。機(jī)器M在域D內(nèi)產(chǎn)生效果R溫度氣象站信息系統(tǒng)研究員查詢(xún)RDM4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/632圖4-11溫度信息系統(tǒng)的完整框架圖一個(gè)處理數(shù)字圖像的部分軟件框架圖如圖4-11所示。閱讀框架圖的方法所遵循的原則：橢圓屬于哪個(gè)域；機(jī)器域與感興趣的域的聯(lián)系。輸入圖像過(guò)濾器輸出圖像圖像處理算法RDMD4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/633圖4-12溫度信息系統(tǒng)的完整框架圖例如：查詢(xún)是需求，機(jī)器M與我們所感興趣的溫度域間接相連。機(jī)器不能直接訪(fǎng)問(wèn)溫度，需要通過(guò)氣象站間接與溫度通訊。溫度氣象站信息系統(tǒng)研究員查詢(xún)RDM4.5.1問(wèn)題框定5.框架圖§4.5問(wèn)題確定

2023/2/634已經(jīng)框定了溫度信息系統(tǒng)所解決的問(wèn)題，就可以根據(jù)框架圖的每一個(gè)元素文檔化相應(yīng)的細(xì)節(jié)。需求文檔要包含的足夠信息：用戶(hù)能初始化的所有查詢(xún)列表（如有關(guān)溫度的所有問(wèn)題）。溫度的描述。氣象站如何與溫度交互的描述（記錄溫度參數(shù)的過(guò)程方法等）。4.5.1問(wèn)題框定6.從圖到文檔§4.5問(wèn)題確定

2023/2/635氣象站如何與計(jì)算機(jī)交互的描述。研究員和計(jì)算機(jī)之間聯(lián)系的描述。如果研究員可能有一些不同尋常的行為能影響用戶(hù)接口設(shè)計(jì)，要對(duì)研究員進(jìn)行描述。4.5.1問(wèn)題框定6.從圖到文檔§4.5問(wèn)題確定

2023/2/6364.5.2五個(gè)問(wèn)題框架1.概要2.信息問(wèn)題

3.控制問(wèn)題4.變換問(wèn)題5.工件問(wèn)題6.連接問(wèn)題§4.5問(wèn)題確定

2023/2/637需求類(lèi)型描述問(wèn)題框架

查詢(xún)對(duì)有關(guān)部分問(wèn)題域的信息的請(qǐng)求信息行為規(guī)則問(wèn)題域?qū)嵤┬袨樗罁?jù)的規(guī)則控制映射輸入數(shù)據(jù)和輸出數(shù)據(jù)之間的映射變換實(shí)現(xiàn)域上的操作

用戶(hù)對(duì)僅存在于軟件內(nèi)的對(duì)象所執(zhí)行的操作工件域間一致性使沒(méi)有共享現(xiàn)象的域保持相同的狀態(tài)連接五個(gè)不同的問(wèn)題框架與表4-3種所呈現(xiàn)的五種需求類(lèi)型相對(duì)應(yīng)。4.5.2五個(gè)問(wèn)題框架1.概要表4-3五種不同的問(wèn)題框架§4.5問(wèn)題確定

2023/2/638大多數(shù)軟件問(wèn)題同時(shí)包含上述幾種需求類(lèi)型。這里我們總結(jié)如下：

框定問(wèn)題的目的不是強(qiáng)行使它們適應(yīng)已經(jīng)存在的問(wèn)題類(lèi)型；相反，當(dāng)你遇到這些問(wèn)題時(shí)，通過(guò)識(shí)別熟悉的問(wèn)題并通過(guò)熟悉的問(wèn)題，來(lái)著手解決不熟悉的問(wèn)題?！?.5問(wèn)題確定

4.5.2五個(gè)問(wèn)題框架1.概要2023/2/639為信息問(wèn)題書(shū)寫(xiě)需求，必須描述客觀世界的相關(guān)部分、查詢(xún)以及發(fā)起（初始化）查詢(xún)的人或事物。真實(shí)世界信息系統(tǒng)信息請(qǐng)求者查詢(xún)圖4-13信息問(wèn)題4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/640注意：只有需求滿(mǎn)足查詢(xún)，而因果關(guān)系不是信息問(wèn)題的一部分。如，系統(tǒng)報(bào)告狀態(tài)，但不對(duì)影響狀態(tài)的行為負(fù)責(zé)，因?yàn)檫@是兩種類(lèi)型的需求。因果關(guān)系是另一種需求將在控制問(wèn)題中討論。下面是解決信息問(wèn)題的軟件實(shí)例：存貨清單控制系統(tǒng)的一部分：顯示所有項(xiàng)庫(kù)存數(shù)量，打印有關(guān)庫(kù)存數(shù)量少得項(xiàng)目報(bào)表，打印每日、每周、每月和每年結(jié)束時(shí)的銷(xiāo)售報(bào)表。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/641一個(gè)網(wǎng)頁(yè)搜索引擎：在萬(wàn)維網(wǎng)上搜索與用戶(hù)指定主題相關(guān)的網(wǎng)頁(yè)。圖書(shū)館目錄系統(tǒng)：通知用戶(hù)圖書(shū)館內(nèi)有什么書(shū)籍，它們的書(shū)號(hào)和其他一些屬性，以及該書(shū)是否被借出。圖書(shū)館目錄系統(tǒng)的一小部分：登陸圖書(shū)館查詢(xún)細(xì)節(jié)、發(fā)起查詢(xún)來(lái)自于哪個(gè)終端以及有多少匹配項(xiàng)，幫助人們搜索用于提高上述查詢(xún)系統(tǒng)的方法。在這種情況下軟件解決另一個(gè)信息問(wèn)題部分是真實(shí)世界部分。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/6421)連接域幾乎所有的信息域都包含一個(gè)連接域，從真實(shí)世界到將要制作的軟件之間傳遞信息。一般情況下，這個(gè)連接域是人手工輸入數(shù)據(jù)。數(shù)據(jù)采集設(shè)備可能是另外一個(gè)連接域，氣象站是一個(gè)例子。一個(gè)列出計(jì)算機(jī)內(nèi)目錄下的所有文件的程序，就沒(méi)有連接域，但這是個(gè)例外。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/6432)靜態(tài)和動(dòng)態(tài)信息系統(tǒng)報(bào)告一個(gè)持續(xù)變化的真實(shí)世界的狀態(tài)或者歷史，比如賬目余額、目前的股票價(jià)格、目前的倉(cāng)庫(kù)貨物變化情況等。這些我們稱(chēng)其為動(dòng)態(tài)信息系統(tǒng)。信息系統(tǒng)報(bào)告一個(gè)變化很小甚至根本沒(méi)有變化的真實(shí)世界，比如藥片的相互屬性、材料的長(zhǎng)度等。這些我們稱(chēng)其為靜態(tài)信息系統(tǒng)。§3.2.2

信息問(wèn)題

4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

2023/2/644書(shū)寫(xiě)一個(gè)動(dòng)態(tài)信息問(wèn)題，你要說(shuō)明軟件如何訪(fǎng)問(wèn)那些可能改變查詢(xún)結(jié)果的每一個(gè)事件。書(shū)寫(xiě)一個(gè)靜態(tài)信息問(wèn)題，你要說(shuō)明的不是軟件如何訪(fǎng)問(wèn)真實(shí)世界的相關(guān)部分，而是軟件開(kāi)發(fā)人員如何訪(fǎng)問(wèn)。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/6453)被動(dòng)與主動(dòng)用戶(hù)發(fā)出的查詢(xún)：用戶(hù)輸入有關(guān)X的查詢(xún)，系統(tǒng)顯示有關(guān)X的被請(qǐng)求信息。這樣的信息系統(tǒng)對(duì)用戶(hù)的輸入做出被動(dòng)的反應(yīng)。一些信息系統(tǒng)在用戶(hù)沒(méi)有請(qǐng)求信息時(shí)也發(fā)出信息給他們。這樣的信息系統(tǒng)對(duì)用戶(hù)來(lái)說(shuō)系統(tǒng)做出主動(dòng)的反應(yīng)。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/6464)解決信息問(wèn)題通常信息問(wèn)題的解決方案是在計(jì)算機(jī)內(nèi)構(gòu)造一個(gè)真實(shí)世界的模型。模型有計(jì)算機(jī)內(nèi)的比特位組成，它們根據(jù)規(guī)則改變狀態(tài)，而把比特位映射到真實(shí)世界的活動(dòng)需要遵循這些規(guī)則。描述信息問(wèn)題解決方案的規(guī)格說(shuō)明書(shū)區(qū)域描述由軟件所維護(hù)的模型，也能夠改變一些查詢(xún)結(jié)果的真實(shí)世界的每一事件，以及改變模型的相應(yīng)的接口事件。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/647涉及用戶(hù)的事件響應(yīng)有兩部分：用戶(hù)負(fù)責(zé)執(zhí)行的行為和更新模型。用戶(hù)行為是軟件的一個(gè)操作規(guī)程。靜態(tài)信息系統(tǒng)的規(guī)格說(shuō)明書(shū)不包含任何事件的響應(yīng)，因?yàn)闆](méi)有事件發(fā)生在問(wèn)題域。如果問(wèn)題域偶爾改變，或者它的知識(shí)改變（如藥物學(xué)家有關(guān)藥物相互作用的知識(shí)），那么規(guī)格說(shuō)明書(shū)必須描述這些事件如何導(dǎo)致對(duì)模型的修改。4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/6485)檢查清單

表4-4和4-5列舉了書(shū)寫(xiě)一個(gè)信息問(wèn)題的需求和規(guī)格說(shuō)明書(shū)所需要的信息。表4-4信息問(wèn)題：需求文檔主題現(xiàn)實(shí)世界中的對(duì)象和他們的屬性以及關(guān)系存儲(chǔ)有關(guān)對(duì)象的數(shù)據(jù)改變查詢(xún)結(jié)果的所有真實(shí)世界的事件，及這些事件發(fā)生的所有可能順序查詢(xún)系統(tǒng)如何訪(fǎng)問(wèn)對(duì)象和事件？（或在靜態(tài)信息問(wèn)題中，軟件如何訪(fǎng)問(wèn)它們？）

系統(tǒng)需要訪(fǎng)問(wèn)的現(xiàn)存文件的文件格式（或者引用現(xiàn)存文檔）

由連接域引入的失真和延遲§4.5問(wèn)題確定

2023/2/649表4-5信息問(wèn)題：規(guī)格說(shuō)明書(shū)主題事件響應(yīng)有效性規(guī)則用戶(hù)接口，用戶(hù)接口所需要的數(shù)據(jù)模型附加物，如優(yōu)先原則操作規(guī)程4.5.2五個(gè)問(wèn)題框架2.信息問(wèn)題

§4.5問(wèn)題確定

2023/2/650書(shū)寫(xiě)一個(gè)控制問(wèn)題，需要描述三件事情：（1）客觀世界相關(guān)部分的因果屬性和其中的對(duì)象根據(jù)它們自身的本質(zhì)而不是軟件所應(yīng)遵循的規(guī)則；（2）我們想讓它們遵循的規(guī)則；（3）計(jì)算機(jī)和問(wèn)題域所共享的現(xiàn)象，通過(guò)它們軟件控制問(wèn)題域并發(fā)起動(dòng)作，從而產(chǎn)生必須遵守的2）中的規(guī)則。如圖3-10所示。4.5.2五個(gè)問(wèn)題框架3.控制問(wèn)題

§4.5問(wèn)題確定

2023/2/651一個(gè)控制問(wèn)題惟一關(guān)注的是因果關(guān)系?？刂破魇芸赜蛐袨橐?guī)則圖4-14控制問(wèn)題4.5.2五個(gè)問(wèn)題框架3.控制問(wèn)題

§4.5問(wèn)題確定

2023/2/6521）連接域有些控制問(wèn)題需要指導(dǎo)人們執(zhí)行各種活動(dòng)，計(jì)算機(jī)起到指導(dǎo)人們行為的作用，但不能完全控制他們，這就在控制問(wèn)題中出現(xiàn)了連接域。庫(kù)存控制系統(tǒng)業(yè)務(wù)規(guī)則雇員倉(cāng)庫(kù)訂單圖4-15控制問(wèn)題種的連接域4.5.2五個(gè)問(wèn)題框架3.控制問(wèn)題

§4.5問(wèn)題確定

2023/2/653當(dāng)接收或者根據(jù)訂單發(fā)送貨物給客戶(hù)時(shí)，行為規(guī)則僅說(shuō)明在倉(cāng)庫(kù)內(nèi)移動(dòng)貨物。存貨控制系統(tǒng)必須依賴(lài)于職員告訴它什么時(shí)候收到貨物或新的訂單。存貨控制系統(tǒng)能使貨物移動(dòng)的唯一方法是指導(dǎo)人們?nèi)ヒ苿?dòng)它。失真和延遲：有時(shí)發(fā)生了錯(cuò)誤的貨物移動(dòng)，錯(cuò)誤地輸入訂單數(shù)據(jù)等。系統(tǒng)給出一個(gè)指示和職員移動(dòng)貨物之間有一個(gè)時(shí)間延遲在訂貨部門(mén)接受一個(gè)訂單和職員把訂單輸入到系統(tǒng)之間也有一個(gè)延遲，軟件不能告訴什么時(shí)候或是否貨物已經(jīng)真正裝運(yùn)了等。4.5.2五個(gè)問(wèn)題框架3.控制問(wèn)題

§4.5問(wèn)題確定

2023/2/6543）檢查清單表4-6和表4-7例舉了完整書(shū)寫(xiě)一個(gè)控制問(wèn)題需要和規(guī)格說(shuō)明書(shū)所需要的信息。表4-6信息問(wèn)題：需求文檔主題控制域中的對(duì)象：數(shù)據(jù)模型（如果有）控制域的因果法則，包括對(duì)象可能發(fā)生的事件行為規(guī)則計(jì)算機(jī)在問(wèn)題域發(fā)起的行為計(jì)算機(jī)用于監(jiān)視控制域的共享現(xiàn)象

任何連接域§4.5問(wèn)題確定

2023/2/655表4-7信息問(wèn)題：規(guī)格說(shuō)明書(shū)主題觸發(fā)規(guī)格或狀態(tài)表，有計(jì)算機(jī)初始化的用于監(jiān)控問(wèn)題域活動(dòng)的相關(guān)行為如果系統(tǒng)維護(hù)一個(gè)數(shù)據(jù)模型，它的事件響應(yīng)用戶(hù)接口和操作規(guī)程（如果有）4.5.2五個(gè)問(wèn)題框架3.控制問(wèn)題

§4.5問(wèn)題確定

2023/2/656根據(jù)特定的規(guī)格產(chǎn)生影射到輸入數(shù)據(jù)的輸出數(shù)據(jù)。它的問(wèn)題框架如圖4-16所示。

圖4-16變換問(wèn)題輸入數(shù)據(jù)過(guò)濾器輸出數(shù)據(jù)映射4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/657輸入數(shù)據(jù)和輸出數(shù)據(jù)是來(lái)自于兩個(gè)集合的元素。書(shū)寫(xiě)一個(gè)變換問(wèn)題由描述以下內(nèi)容組成：所有可能輸入的集合，所有可能輸出的集合，有關(guān)每一個(gè)可能輸入到它相應(yīng)輸出的規(guī)則。規(guī)則，在框架圖中表示為映射，是惟一的需求。一個(gè)變換問(wèn)題能夠簡(jiǎn)單地叫做計(jì)算或映射問(wèn)題。計(jì)算是根據(jù)一個(gè)規(guī)則簡(jiǎn)單地輸入數(shù)字映射到輸出數(shù)字。4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/658解決變換問(wèn)題的例子：在兩個(gè)不同字處理器之間轉(zhuǎn)換文件格式的程序。把條形碼轉(zhuǎn)換成數(shù)字的子例程。在大學(xué)的一個(gè)學(xué)期中，為學(xué)生、教師、課程分配教室的程序。圖形處理軟件，執(zhí)行一些操作，如從數(shù)字圖像上除去雜質(zhì)。4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/659一個(gè)程序，告訴一個(gè)公共汽車(chē)司機(jī)駕駛哪輛汽車(chē)從一個(gè)地方到另一個(gè)地方，并在指定時(shí)間到達(dá)。一個(gè)根據(jù)氣象資料產(chǎn)生天氣圖的程序。打印機(jī)驅(qū)動(dòng)程序：把來(lái)自操作系統(tǒng)的打印控制命令轉(zhuǎn)換成等價(jià)的控制特定打印機(jī)的命令。根據(jù)衛(wèi)星資料幫助考古學(xué)家發(fā)現(xiàn)沉沒(méi)村莊的軟件，這種軟件運(yùn)用復(fù)雜的規(guī)則把有關(guān)地球表面如何反射可見(jiàn)光的信息轉(zhuǎn)換成為對(duì)地表下面存在什么的猜想。4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/6601）解決變換問(wèn)題解決變換問(wèn)題的最主要工作是編程，而不是接口設(shè)計(jì)。如果軟件要被其它程序訪(fǎng)問(wèn)，規(guī)格說(shuō)明必須向需求中添加的所有東西就是接口設(shè)計(jì)，或者一個(gè)API(ApplicationProgrammingInterface,應(yīng)用程序編程接口)

。2）檢查清單表4-8和表4-9例舉了完整書(shū)寫(xiě)一個(gè)變換問(wèn)題需求和規(guī)格說(shuō)明書(shū)所需要的信息。4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/661表4-8變換問(wèn)題：需求文檔表4-9信息問(wèn)題：規(guī)格說(shuō)明書(shū)主題輸入和輸出集合數(shù)據(jù)源和目的地輸入輸出集合之間的映射主題用戶(hù)接口和操作規(guī)程（如果有）API（如果有）4.5.2五個(gè)問(wèn)題框架4.變換問(wèn)題

§4.5問(wèn)題確定

2023/2/662在工件問(wèn)題中，軟件的任務(wù)是能使用戶(hù)創(chuàng)建對(duì)象，如文檔和需求，就如車(chē)床幫助一個(gè)木匠創(chuàng)造木質(zhì)工件一樣。工件是無(wú)形的、僅存在于實(shí)現(xiàn)域中的軟件對(duì)象，雖然軟件可能產(chǎn)生它們有形的版本，如打印的文檔等。有兩種需求：使用戶(hù)能在工件上執(zhí)行指定的操作，在軟件內(nèi)實(shí)現(xiàn)工件。書(shū)寫(xiě)一個(gè)工件問(wèn)題大部分工作是描述工件。4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/663它的問(wèn)題框架如圖4-17。圖4-17工件問(wèn)題用戶(hù)工具工件操作4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/664解決工件問(wèn)題軟件的例子如下：一個(gè)字處理器：在計(jì)算機(jī)內(nèi)創(chuàng)建文檔。文檔包含章節(jié)、頁(yè)、段落、字符、圖形等等。所有這些都具有軟件設(shè)計(jì)人員所創(chuàng)造的屬性和行為。常見(jiàn)交易圖的程序。一個(gè)設(shè)計(jì)有限電視網(wǎng)絡(luò)的程序。用戶(hù)在鄰居間放置各種電纜和設(shè)備去接受服務(wù)。4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/665一個(gè)用于創(chuàng)建和顯示有機(jī)分子模型的程序。音樂(lè)編輯器。產(chǎn)生警察猜想的犯罪嫌疑人和成草圖的程序。選取下巴、嘴、眼睛、頭發(fā)、顴骨等的證據(jù)，去創(chuàng)建一個(gè)他們所見(jiàn)到人物的準(zhǔn)確畫(huà)像。一個(gè)食譜文件。4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/6661）解決工件問(wèn)題解決工件問(wèn)題的主要工作通常是用戶(hù)接口設(shè)計(jì)，剩下的是編寫(xiě)程序：陳述工件和執(zhí)行操作（我們不涉及這些）。2）檢查清單表3-9和表3-10例舉了書(shū)寫(xiě)一個(gè)完整的工件問(wèn)題需求和規(guī)格說(shuō)明書(shū)所需要的信息。4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/667表4-10工件問(wèn)題：需求文檔表4-11工件問(wèn)題：規(guī)格說(shuō)明書(shū)主題工件操作主題用戶(hù)接口和操作規(guī)程4.5.2五個(gè)問(wèn)題框架5.工件問(wèn)題

§4.5問(wèn)題確定

2023/2/668在連接問(wèn)題中，存在許多不直接共享現(xiàn)象的域，相反在它們之間通過(guò)其他域進(jìn)行連接——連接域。問(wèn)題是使兩個(gè)不直接相連的域在運(yùn)行時(shí)就像它們直接相連一樣，在某種程度上這是可能的。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/669圖4-18顯示了連接域的兩個(gè)基本類(lèi)型。在類(lèi)型a中，系統(tǒng)需要與所關(guān)心的域相互作用，但必須處理連接域所帶來(lái)的從所關(guān)心的域到系統(tǒng)的信息延遲，或者執(zhí)行由系統(tǒng)發(fā)出的命令。系統(tǒng)連接域所關(guān)心的域成功通信圖4-18連接問(wèn)題a）通過(guò)間接連接進(jìn)行4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/670系統(tǒng)A通信系統(tǒng)系統(tǒng)B成功通信圖4-18連接問(wèn)題b）創(chuàng)建間接連接在類(lèi)型b中，所要?jiǎng)?chuàng)建的系統(tǒng)是連接域，當(dāng)系統(tǒng)A變化時(shí)，它根據(jù)系統(tǒng)A目前的狀態(tài)負(fù)責(zé)改變系統(tǒng)B的狀態(tài)（反之亦然）。在這兩種情況下，需要僅是可以獲得狀態(tài)通信，不是一個(gè)完整的通信，因?yàn)橐粋€(gè)完美通信是不可能得到的。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/671一些連接問(wèn)題的例子如下：支持一個(gè)信息系統(tǒng)的數(shù)據(jù)錄入人員。人工數(shù)據(jù)錄入會(huì)引入失真，通常以排版錯(cuò)誤的形式出現(xiàn)，由該錯(cuò)誤引起的延遲經(jīng)常會(huì)在人們真正輸入正確數(shù)據(jù)之前。數(shù)據(jù)倉(cāng)庫(kù)根據(jù)大量的可操作數(shù)據(jù)存儲(chǔ)的數(shù)據(jù)來(lái)答復(fù)查詢(xún)——數(shù)據(jù)庫(kù)中的數(shù)據(jù)，如訂購(gòu)錄入系統(tǒng)、庫(kù)存系統(tǒng)等，每個(gè)都是按照支持日常需求這個(gè)特定任務(wù)來(lái)訂做的。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/672書(shū)寫(xiě)一個(gè)像圖4-18a中的連接問(wèn)題要包括描述共享現(xiàn)象之間的映射，這些共享現(xiàn)象包括鏈接連接域和所關(guān)心的域之間的共享現(xiàn)象，以及系統(tǒng)和連接域之間的共享現(xiàn)象，這個(gè)映射應(yīng)包括失真類(lèi)型和由連接域所引入的延遲。記錄系統(tǒng)用于檢測(cè)連接域是否正常工作所使用的方法是很有價(jià)值的。氣象站例子中：如果有共享現(xiàn)象，系統(tǒng)可以利用它來(lái)檢測(cè)氣象站不工作或需要校正的情況，這些應(yīng)當(dāng)在需求文檔中進(jìn)行描述。在所關(guān)心的域中什么類(lèi)型的行為是可能的和不可能的，這些信息可使系統(tǒng)檢測(cè)錯(cuò)誤。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/673

圖4-19所示。如果有多個(gè)連接域連接相同的所關(guān)心的域，那么每個(gè)連接域的可靠性就認(rèn)為與其它域相關(guān)聯(lián)。例如，如果有三個(gè)不同的數(shù)據(jù)庫(kù)包含人員姓名、地址、電話(huà)號(hào)碼等信息，需求文檔可這樣陳述：對(duì)于名稱(chēng)，數(shù)據(jù)庫(kù)A比數(shù)據(jù)庫(kù)B可靠，B比C可靠，但是對(duì)于地址，B和C的可靠性是相同的，都比A要好。需求文檔應(yīng)該說(shuō)明，這樣規(guī)格說(shuō)明書(shū)就可以利用它。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/674所關(guān)心的域通信系統(tǒng)用戶(hù)查詢(xún)數(shù)據(jù)庫(kù)C數(shù)據(jù)庫(kù)B數(shù)據(jù)庫(kù)A圖4-19相同所關(guān)心的域的多重連接4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/675書(shū)寫(xiě)一個(gè)如圖4-18b所示的連接問(wèn)題要包含：在狀態(tài)或事件之間相同類(lèi)型的映射，除非它已是所期望的映射，并具有所期望的失真和延遲特征。在類(lèi)型b的連接問(wèn)題中，問(wèn)題域經(jīng)常包括其它連接域，如圖4-20所示。一個(gè)錯(cuò)誤校正協(xié)議在由通信媒介分離的兩個(gè)不同系統(tǒng)中同時(shí)運(yùn)行。媒質(zhì)的失真特征要在需求文檔中描述，正如類(lèi)型a中連接問(wèn)題。

通信媒介，如銅芯線(xiàn)，對(duì)于不同的數(shù)據(jù)傳輸、不同的無(wú)線(xiàn)電頻率等有不同的失真特性，在不同的時(shí)間有不同的失真特性。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/676通信系統(tǒng)系統(tǒng)A查詢(xún)通信媒介通信B圖4-20創(chuàng)建跨通信媒介的連接通信系統(tǒng)4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/6771）解決連接問(wèn)題解決連接問(wèn)題主要是利用問(wèn)題域中的冗余，在連接問(wèn)題類(lèi)型b中，為此需要?jiǎng)?chuàng)建冗余。

在類(lèi)型b的連接問(wèn)題中，通常的解決方案是為數(shù)據(jù)添加各種校驗(yàn)。這些依次稱(chēng)為如類(lèi)型a問(wèn)題中相同的可用冗余。求和校驗(yàn)與數(shù)據(jù)一起傳輸，通過(guò)一個(gè)精確的數(shù)學(xué)規(guī)則與數(shù)據(jù)相關(guān)。接收者就可以?huà)仐壞切┙?jīng)過(guò)校驗(yàn)與數(shù)據(jù)不匹配的數(shù)據(jù)塊。4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/6782）檢查清單

表4-12和4-13列舉了書(shū)寫(xiě)一個(gè)連接問(wèn)題的需求和規(guī)格說(shuō)明書(shū)所需要的信息。表4-12連接問(wèn)題：需求文檔主題所關(guān)心域中的狀態(tài)和事件所關(guān)系域中的冗余不同域的狀態(tài)和事件之間的真實(shí)或期望的映射真是或期望的由連接域引入的失真或延遲用于說(shuō)明哪個(gè)連接域中存在最可靠數(shù)據(jù)的規(guī)則4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/679表4-13連接問(wèn)題：規(guī)格說(shuō)明書(shū)主題有效性規(guī)則；當(dāng)違反了有效性規(guī)則時(shí)系統(tǒng)所采取的行動(dòng)增加冗余的操作規(guī)程通信協(xié)議猜測(cè)規(guī)則4.5.2五個(gè)問(wèn)題框架6.連接問(wèn)題

§4.5問(wèn)題確定

2023/2/6804.5.3多框架問(wèn)題1.組合問(wèn)題框架2.庫(kù)存控制系統(tǒng)3.統(tǒng)計(jì)包4.數(shù)字應(yīng)答機(jī)

5.編譯器6.電子郵件7.衛(wèi)星勘測(cè)§4.5問(wèn)題確定

2023/2/681理論上，當(dāng)你遇到一個(gè)復(fù)雜的軟件問(wèn)題，你可以把它分解成不同的問(wèn)題框架，這些問(wèn)題框架只通過(guò)類(lèi)似與一個(gè)狹窄的邏輯通道來(lái)相互作用，而這些通道適合一個(gè)框架的問(wèn)題部分很少涉及另一個(gè)框架的問(wèn)題部分。

把一個(gè)總的問(wèn)題框定成為一組重疊很少的小問(wèn)題—僅共享一個(gè)或幾個(gè)域——是你在需求文檔中對(duì)付復(fù)雜性問(wèn)題的最重要的武器。4.5.3多框架問(wèn)題1.組合問(wèn)題框架

§4.5問(wèn)題確定

2023/2/682庫(kù)存控制系統(tǒng)的主要工作是指導(dǎo)運(yùn)輸貨物進(jìn)出一個(gè)倉(cāng)庫(kù):當(dāng)進(jìn)貨時(shí)，指導(dǎo)雇員存儲(chǔ)貨物，而當(dāng)訂單到達(dá)時(shí)，指導(dǎo)雇員找到貨物并裝運(yùn)給客戶(hù)。然而，填寫(xiě)訂單要遵循一定的規(guī)則：如果客戶(hù)遠(yuǎn)沒(méi)有能力付款，他們的訂單是不能填寫(xiě)的，不同的訂單有不同的優(yōu)先權(quán)等。庫(kù)存控制系統(tǒng)的另一個(gè)任務(wù)是匯報(bào)倉(cāng)庫(kù)的活動(dòng)：它現(xiàn)在的狀態(tài)和過(guò)去的資金和貨物流動(dòng)。所以需要兩個(gè)問(wèn)題框架，控制框架和信息框架。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/683

它們?nèi)缈蚣軋D4-21和4-22所示。雇員庫(kù)存控制系統(tǒng)業(yè)務(wù)規(guī)則訂單倉(cāng)庫(kù)貨物圖4-21庫(kù)存問(wèn)題“從倉(cāng)庫(kù)中搬移貨物”部分4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/684雇員是惟一直接與系統(tǒng)相聯(lián)系的。業(yè)務(wù)規(guī)則：即根據(jù)訂單定義貨物從倉(cāng)庫(kù)中流動(dòng)的業(yè)務(wù)規(guī)則，屬于貨物、倉(cāng)庫(kù)和訂單，但不屬于雇員。雇員是由控制系統(tǒng)調(diào)用來(lái)執(zhí)行業(yè)務(wù)規(guī)則的簡(jiǎn)單手段。因?yàn)檫@是一個(gè)控制框架，它要求書(shū)寫(xiě)雇員的因果動(dòng)因：他們可以做什么和庫(kù)存控制系統(tǒng)如何叫他們?nèi)プ鲞@些。雇員可以影響貨物、倉(cāng)庫(kù)和訂單，所以在它（他）們之間有一根線(xiàn)連接著。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/685圖4-22庫(kù)存問(wèn)題“打印報(bào)表”部分雇員庫(kù)存控制系統(tǒng)報(bào)表訂單倉(cāng)庫(kù)貨物圖4-22顯示了信息問(wèn)題：根據(jù)雇員的需求產(chǎn)生有關(guān)貨物、倉(cāng)庫(kù)和訂單的報(bào)表，雇員再次成為一個(gè)連接域。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/686

把兩種類(lèi)型的需求放在同一個(gè)圖中，如圖4-23所示。雇員庫(kù)存控制系統(tǒng)報(bào)表訂單倉(cāng)庫(kù)貨物圖4-23一副圖中庫(kù)存問(wèn)題的控制和信息方面業(yè)務(wù)規(guī)則4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/687對(duì)于用戶(hù)來(lái)說(shuō)一個(gè)很常見(jiàn)的需求是能夠修改系統(tǒng)運(yùn)行所依賴(lài)的規(guī)則。管理人員修改業(yè)務(wù)規(guī)則，這就意味著我們必須有一個(gè)工件問(wèn)題：管理人員必須能夠定義業(yè)務(wù)規(guī)則。

圖3-19種的框架圖同時(shí)顯示三種類(lèi)型的需求。

把業(yè)務(wù)規(guī)則作為一個(gè)域來(lái)處理，實(shí)際上所有的需求集合都是域?？梢杂猛唤M概念討論的任何事情都是一個(gè)域。甚至報(bào)表也能成為一個(gè)實(shí)現(xiàn)域。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/688圖4-24庫(kù)存控制系統(tǒng)的復(fù)合框架圖雇員庫(kù)存控制系統(tǒng)報(bào)表訂單倉(cāng)庫(kù)貨物管理人員業(yè)務(wù)規(guī)則管理人員定義規(guī)則4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/689所以從“管理人員定義規(guī)則”問(wèn)題（工件問(wèn)題）的觀點(diǎn)來(lái)看，業(yè)務(wù)規(guī)則是在系統(tǒng)內(nèi)實(shí)現(xiàn)的工件。從“倉(cāng)庫(kù)移動(dòng)貨物”問(wèn)題（控制問(wèn)題）的觀點(diǎn)來(lái)看業(yè)務(wù)規(guī)則（可變的）是需求。在這里問(wèn)題框架中是非常典型的重疊。在更復(fù)雜的問(wèn)題中，如果沒(méi)有仔細(xì)分解成小的問(wèn)題框架，這種重疊是非常麻煩的。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/690業(yè)務(wù)規(guī)則可能很復(fù)雜，但你要明白如何書(shū)寫(xiě)它們。用一節(jié)來(lái)說(shuō)明它們是什么以及它們和貨物進(jìn)出倉(cāng)庫(kù)的關(guān)系。另一節(jié)描述管理人員可對(duì)業(yè)務(wù)規(guī)則執(zhí)行的操作。在移動(dòng)貨物中，不同的雇員任務(wù)可能相當(dāng)復(fù)雜，這些不要與業(yè)務(wù)規(guī)則同時(shí)討論。不管問(wèn)題多么復(fù)雜你必須把它分解成為人們可以理解的子問(wèn)題，否則沒(méi)有人能夠把它作為一個(gè)整體來(lái)理解。4.5.3多框架問(wèn)題2.庫(kù)存控制系統(tǒng)

§4.5問(wèn)題確定

2023/2/691一個(gè)用于執(zhí)行用戶(hù)定義的復(fù)雜的統(tǒng)計(jì)計(jì)算的程序合并了變換框架和工件框架。當(dāng)然變換框架包含了計(jì)算。工件框架包含了用戶(hù)定義的，用于計(jì)算中的公式。兩個(gè)子問(wèn)題都同時(shí)呈現(xiàn)在圖4-25中。4.5.3多框架問(wèn)題3.統(tǒng)計(jì)包

§4.5問(wèn)題確定

2023/2/692圖4-25統(tǒng)計(jì)包框架圖，結(jié)合了變換框架和工件框架公式統(tǒng)計(jì)包計(jì)算規(guī)則輸入數(shù)據(jù)輸出數(shù)據(jù)用戶(hù)創(chuàng)建和編輯公式4.5.3多框架問(wèn)題3.統(tǒng)計(jì)包

§4.5問(wèn)題確定

2023/2/693應(yīng)答機(jī)存儲(chǔ)著數(shù)字化信息而不是音頻磁帶上的信息，它內(nèi)部的軟件合并了控制框架和一個(gè)變換框架?？刂瓶蚣苷f(shuō)明記錄和播放信息以對(duì)控制方和電話(huà)線(xiàn)上的活動(dòng)進(jìn)行響應(yīng)。變換框架說(shuō)明聲音和其在內(nèi)存中表示之間的映射。4.5.3多框架問(wèn)題4.數(shù)字應(yīng)答機(jī)

§4.5問(wèn)題確定

2023/2/694圖4-26數(shù)字應(yīng)答機(jī)框架圖，結(jié)合了變換框架和控制框架內(nèi)存軟件語(yǔ)音數(shù)字化規(guī)則語(yǔ)音電話(huà)線(xiàn)揚(yáng)聲器/麥克風(fēng)錄音/回放控件4.5.3多框架問(wèn)題4.數(shù)字應(yīng)答機(jī)

§4.5問(wèn)題確定

2023/2/695源文件編譯器目標(biāo)文件語(yǔ)言語(yǔ)義圖4-27編輯器被錯(cuò)誤地框定為變換問(wèn)題編譯器經(jīng)常被認(rèn)為是一個(gè)變換問(wèn)題，如圖4-27所示。在源代碼和目標(biāo)文件之間有一個(gè)映射，編譯器的任務(wù)就是根據(jù)映射產(chǎn)生目標(biāo)文件。4.5.3多框架問(wèn)題5.編譯器

§4.5問(wèn)題確定

2023/2/696事實(shí)上創(chuàng)建映射是編譯器涉及的真正主要工作。其規(guī)則是映射必須是這樣：當(dāng)被編譯程序運(yùn)行時(shí)，目標(biāo)機(jī)器要按照原文件的語(yǔ)義來(lái)運(yùn)行。所以在這里，對(duì)問(wèn)題框架組合的通用方法做一些修改。部分解決方案是去定義變換問(wèn)題，解決它的同時(shí)也可以解決一個(gè)控制問(wèn)題。變換問(wèn)題是從源語(yǔ)句到機(jī)器指令的映射?？刂茊?wèn)題是使目標(biāo)機(jī)器按照源文件指定的方式運(yùn)行。正確的問(wèn)題框架如圖4-28所示。4.5.3多框架問(wèn)題5.編譯器