第10章面向數(shù)據(jù)的設(shè)計(jì)方法

1、課程名稱：軟件工程課程名稱：軟件工程 第第17講講班班 級(jí)：級(jí)： 日日 期：期：教教 室：室：教學(xué)題目：第教學(xué)題目：第10章面向數(shù)據(jù)的設(shè)計(jì)方法章面向數(shù)據(jù)的設(shè)計(jì)方法 10.1面向數(shù)據(jù)設(shè)計(jì)的概念面向數(shù)據(jù)設(shè)計(jì)的概念 10.2Jackson系統(tǒng)開發(fā)方法系統(tǒng)開發(fā)方法教學(xué)目的：了解概念，掌握教學(xué)目的：了解概念，掌握J(rèn)ackson系統(tǒng)開發(fā)方法。系統(tǒng)開發(fā)方法。教學(xué)重點(diǎn)：教學(xué)重點(diǎn)：JSP技術(shù)。技術(shù)。教學(xué)難點(diǎn)：教學(xué)難點(diǎn)： JSP技術(shù)。技術(shù)。教教 具：多媒體教室、電子教案具：多媒體教室、電子教案作作 業(yè)：業(yè)：l面向數(shù)據(jù)的設(shè)計(jì)（面向數(shù)據(jù)的設(shè)計(jì)（data structured-oriented design）方法就是根

2、據(jù)問題的數(shù)據(jù)結(jié)構(gòu)定義一）方法就是根據(jù)問題的數(shù)據(jù)結(jié)構(gòu)定義一組映射，把問題的數(shù)據(jù)結(jié)構(gòu)轉(zhuǎn)換為問題解的程組映射，把問題的數(shù)據(jù)結(jié)構(gòu)轉(zhuǎn)換為問題解的程序結(jié)構(gòu)。序結(jié)構(gòu)。 l面向數(shù)據(jù)流的設(shè)計(jì)來源于程序的模塊化和功能面向數(shù)據(jù)流的設(shè)計(jì)來源于程序的模塊化和功能分解的概念；分解的概念； l而面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)，則側(cè)重于問題的數(shù)據(jù)而面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)，則側(cè)重于問題的數(shù)據(jù)結(jié)構(gòu)，把程序結(jié)構(gòu)設(shè)計(jì)成與問題的數(shù)據(jù)結(jié)構(gòu)一結(jié)構(gòu)，把程序結(jié)構(gòu)設(shè)計(jì)成與問題的數(shù)據(jù)結(jié)構(gòu)一致，不強(qiáng)調(diào)模塊定義。模塊只是設(shè)計(jì)過程的副致，不強(qiáng)調(diào)模塊定義。模塊只是設(shè)計(jì)過程的副產(chǎn)品，對(duì)于模塊獨(dú)立性原則也未過分強(qiáng)調(diào)。這產(chǎn)品，對(duì)于模塊獨(dú)立性原則也未過分強(qiáng)調(diào)。這種程序結(jié)構(gòu)容易理

3、解，也易于修改。種程序結(jié)構(gòu)容易理解，也易于修改。l在許多應(yīng)用領(lǐng)域中，信息有著清晰的層在許多應(yīng)用領(lǐng)域中，信息有著清晰的層次結(jié)構(gòu)，輸入數(shù)據(jù)、存儲(chǔ)信息（即數(shù)據(jù)次結(jié)構(gòu)，輸入數(shù)據(jù)、存儲(chǔ)信息（即數(shù)據(jù)庫）及輸出數(shù)據(jù)都有各自的組織形式。庫）及輸出數(shù)據(jù)都有各自的組織形式。l一般說來，順序出現(xiàn)的數(shù)據(jù)可以用順序一般說來，順序出現(xiàn)的數(shù)據(jù)可以用順序控制結(jié)構(gòu)的程序處理；選擇出現(xiàn)的數(shù)據(jù)控制結(jié)構(gòu)的程序處理；選擇出現(xiàn)的數(shù)據(jù)用分支控制結(jié)構(gòu)的程序處理；重復(fù)出現(xiàn)用分支控制結(jié)構(gòu)的程序處理；重復(fù)出現(xiàn)的數(shù)據(jù)用循環(huán)控制結(jié)構(gòu)的程序處理。的數(shù)據(jù)用循環(huán)控制結(jié)構(gòu)的程序處理。l因此可以根據(jù)數(shù)據(jù)的組織形式確定使用因此可以根據(jù)數(shù)據(jù)的組織形式確定使用和處理

4、這些數(shù)據(jù)的程序的組織形式。和處理這些數(shù)據(jù)的程序的組織形式。l面向數(shù)據(jù)的設(shè)計(jì)就是根據(jù)數(shù)據(jù)結(jié)構(gòu)的表面向數(shù)據(jù)的設(shè)計(jì)就是根據(jù)數(shù)據(jù)結(jié)構(gòu)的表示獲得軟件表示。示獲得軟件表示。l本章重點(diǎn)討論：本章重點(diǎn)討論：l1. Jackson系統(tǒng)開發(fā)方法系統(tǒng)開發(fā)方法l Jackson System Development，簡(jiǎn)稱，簡(jiǎn)稱JSDl2. 基于結(jié)構(gòu)化數(shù)據(jù)的系統(tǒng)開發(fā)方法基于結(jié)構(gòu)化數(shù)據(jù)的系統(tǒng)開發(fā)方法l Data Structured System Development，簡(jiǎn)稱簡(jiǎn)稱DSSDlJSD方法是方法是Jackson 于于1989年對(duì)軟件設(shè)計(jì)中年對(duì)軟件設(shè)計(jì)中廣為使用的廣為使用的Jackson結(jié)構(gòu)程序設(shè)計(jì)（結(jié)構(gòu)程序設(shè)計(jì)

5、（Jackson Structured Programming，簡(jiǎn)稱，簡(jiǎn)稱JSP）方法）方法的擴(kuò)展。的擴(kuò)展。lDSSD方法，也稱為方法，也稱為Warnier Orr方法，是方法，是對(duì)對(duì)Warnier程序邏輯構(gòu)造（程序邏輯構(gòu)造（Logical Construction of Program，簡(jiǎn)稱，簡(jiǎn)稱LCP）方法）方法的擴(kuò)充，除了設(shè)計(jì)能力以外，還加強(qiáng)了分析的擴(kuò)充，除了設(shè)計(jì)能力以外，還加強(qiáng)了分析能力。能力。l面向數(shù)據(jù)設(shè)計(jì)方法一般都包括下列任務(wù)：面向數(shù)據(jù)設(shè)計(jì)方法一般都包括下列任務(wù)： 1確定數(shù)據(jù)結(jié)構(gòu)特征；確定數(shù)據(jù)結(jié)構(gòu)特征； 2用順序、選擇和重復(fù)三種基本形式表示用順序、選擇和重復(fù)三種基本形式表示 數(shù)據(jù)；

6、數(shù)據(jù)； 3把數(shù)據(jù)結(jié)構(gòu)表示映射為軟件的控制結(jié)構(gòu)；把數(shù)據(jù)結(jié)構(gòu)表示映射為軟件的控制結(jié)構(gòu)； 4用與具體方法配套的設(shè)計(jì)指南進(jìn)一步精用與具體方法配套的設(shè)計(jì)指南進(jìn)一步精 化控制結(jié)構(gòu)；化控制結(jié)構(gòu)； 5開發(fā)軟件的過程性描述。開發(fā)軟件的過程性描述。lJSD和和DSSD方法的軟件總體結(jié)構(gòu)設(shè)計(jì)與方法的軟件總體結(jié)構(gòu)設(shè)計(jì)與軟件過程性設(shè)計(jì)的分界并不明顯，都能軟件過程性設(shè)計(jì)的分界并不明顯，都能很快地過渡到過程性描述。這也是易于很快地過渡到過程性描述。這也是易于理解和易于維護(hù)的重要表現(xiàn)之一。理解和易于維護(hù)的重要表現(xiàn)之一。 lJSD和和DSSD也是分析與設(shè)計(jì)一體化的也是分析與設(shè)計(jì)一體化的 ，本章側(cè)重于討論與設(shè)計(jì)有關(guān)的技術(shù)。面本章

7、側(cè)重于討論與設(shè)計(jì)有關(guān)的技術(shù)。面向數(shù)據(jù)的設(shè)計(jì)方法，要求信息結(jié)構(gòu)用層向數(shù)據(jù)的設(shè)計(jì)方法，要求信息結(jié)構(gòu)用層次圖表示，在軟件需求規(guī)格說明中與信次圖表示，在軟件需求規(guī)格說明中與信息域的描述相對(duì)應(yīng)。息域的描述相對(duì)應(yīng)。l面向數(shù)據(jù)的設(shè)計(jì)方法的適用場(chǎng)合面向數(shù)據(jù)的設(shè)計(jì)方法的適用場(chǎng)合l 具有明顯的層次信息結(jié)構(gòu)的應(yīng)用：具有明顯的層次信息結(jié)構(gòu)的應(yīng)用：l 企事業(yè)的信息管理系統(tǒng)；企事業(yè)的信息管理系統(tǒng)；l 系統(tǒng)軟件（如操作系統(tǒng)）；系統(tǒng)軟件（如操作系統(tǒng)）；l 科學(xué)與工程計(jì)算；科學(xué)與工程計(jì)算；l 計(jì)算機(jī)輔助教學(xué)；計(jì)算機(jī)輔助教學(xué)；l 組合問題求解等領(lǐng)域。組合問題求解等領(lǐng)域。l例如：例如：CAD/CAE/CIM類應(yīng)用軟件。類應(yīng)用軟件。

8、l用用JSD方法開發(fā)一個(gè)軟件的步驟：方法開發(fā)一個(gè)軟件的步驟： 1）標(biāo)識(shí)實(shí)體與動(dòng)作：用與面向?qū)ο蠓椒愃频模?biāo)識(shí)實(shí)體與動(dòng)作：用與面向?qū)ο蠓椒愃频姆治黾夹g(shù)識(shí)別出系統(tǒng)中的實(shí)體（包括人、對(duì)象、分析技術(shù)識(shí)別出系統(tǒng)中的實(shí)體（包括人、對(duì)象、產(chǎn)生或使用信息的組織）和動(dòng)作（客觀世界中產(chǎn)生或使用信息的組織）和動(dòng)作（客觀世界中影響系統(tǒng)實(shí)體的那些事件）；影響系統(tǒng)實(shí)體的那些事件）； 2）生成實(shí)體結(jié)構(gòu)圖：針對(duì)每一實(shí)體，將影響它）生成實(shí)體結(jié)構(gòu)圖：針對(duì)每一實(shí)體，將影響它的所有動(dòng)作按發(fā)生的時(shí)間順序用的所有動(dòng)作按發(fā)生的時(shí)間順序用Jackson結(jié)構(gòu)結(jié)構(gòu)圖（圖（Jackson diagrams）表示出來。為了描述）表示出來。為了描

9、述時(shí)間約束，同一動(dòng)作必須出現(xiàn)在多張結(jié)構(gòu)圖中；時(shí)間約束，同一動(dòng)作必須出現(xiàn)在多張結(jié)構(gòu)圖中；3）初建系統(tǒng)模型：將實(shí)體和動(dòng)作統(tǒng)一用一個(gè)過程模）初建系統(tǒng)模型：將實(shí)體和動(dòng)作統(tǒng)一用一個(gè)過程模型表示，并定義該模型中的過程與客觀世界中的過型表示，并定義該模型中的過程與客觀世界中的過程之間的聯(lián)系。所用描述工具為系統(tǒng)規(guī)格說明圖程之間的聯(lián)系。所用描述工具為系統(tǒng)規(guī)格說明圖（System Specification Diagram，簡(jiǎn)稱，簡(jiǎn)稱SSD）；）；4）擴(kuò)充功能性過程：在過程模型中擴(kuò)充交互型功能）擴(kuò)充功能性過程：在過程模型中擴(kuò)充交互型功能和信息型功能，分別產(chǎn)生內(nèi)部輸入信息和系統(tǒng)輸出和信息型功能，分別產(chǎn)生內(nèi)部輸入信息

10、和系統(tǒng)輸出信息；信息；5）系統(tǒng)定時(shí)：確定實(shí)現(xiàn)必須滿足的時(shí)間約束；）系統(tǒng)定時(shí)：確定實(shí)現(xiàn)必須滿足的時(shí)間約束；6）實(shí)現(xiàn)：確定系統(tǒng)中所有軟硬件成分，形成一個(gè)完）實(shí)現(xiàn)：確定系統(tǒng)中所有軟硬件成分，形成一個(gè)完整設(shè)計(jì)方案。整設(shè)計(jì)方案。 前三個(gè)步驟主要在需求分析階段完成，后三步是前三個(gè)步驟主要在需求分析階段完成，后三步是軟件設(shè)計(jì)的任務(wù)。軟件設(shè)計(jì)的任務(wù)。l我們?cè)源髮W(xué)校園內(nèi)直達(dá)交通車系統(tǒng)我們?cè)源髮W(xué)校園內(nèi)直達(dá)交通車系統(tǒng)USS為例為例進(jìn)行需求分析，結(jié)果得出進(jìn)行需求分析，結(jié)果得出“交通車交通車”和和“按鈕按鈕”兩實(shí)體及其動(dòng)作對(duì)應(yīng)的實(shí)體結(jié)構(gòu)圖如下圖所示。兩實(shí)體及其動(dòng)作對(duì)應(yīng)的實(shí)體結(jié)構(gòu)圖如下圖所示。ShuttleShutt

11、le* bodyStation(i)Arrive(i)Leave(i)Arrive(1)ButtonPush*Leave(1)l初建系統(tǒng)模型后，得到初建系統(tǒng)模型后，得到USS的系統(tǒng)規(guī)格說明圖的系統(tǒng)規(guī)格說明圖（圖（圖7 2 4）。其中后綴為）。其中后綴為“_0”的過程表示的過程表示客觀世界中的過程（或外部過程），后綴為客觀世界中的過程（或外部過程），后綴為“_1”的過程表示系統(tǒng)模型內(nèi)的過程（或模型的過程表示系統(tǒng)模型內(nèi)的過程（或模型過程）。過程）。 l圖圖7-2-4 USS的系統(tǒng)規(guī)格說明圖的系統(tǒng)規(guī)格說明圖Button 1DSShuttle 0Shuttle 1SV數(shù)據(jù)流聯(lián)系數(shù)據(jù)流聯(lián)系Button

12、0狀態(tài)向量聯(lián)系狀態(tài)向量聯(lián)系l將實(shí)體結(jié)構(gòu)圖與初建系統(tǒng)模型（系統(tǒng)規(guī)將實(shí)體結(jié)構(gòu)圖與初建系統(tǒng)模型（系統(tǒng)規(guī)格說明圖）綜合起來，可導(dǎo)出目標(biāo)軟件格說明圖）綜合起來，可導(dǎo)出目標(biāo)軟件系統(tǒng)中每個(gè)過程內(nèi)部細(xì)節(jié)的結(jié)構(gòu)正文表系統(tǒng)中每個(gè)過程內(nèi)部細(xì)節(jié)的結(jié)構(gòu)正文表示，如示，如6.2.3節(jié)過程節(jié)過程BUTTON_1和和SHUTTLE_1所描述。所描述。l上述結(jié)構(gòu)正文也可對(duì)應(yīng)地用上述結(jié)構(gòu)正文也可對(duì)應(yīng)地用Jackson結(jié)構(gòu)結(jié)構(gòu)圖表示。圖圖表示。圖6 2 5是與模型過程是與模型過程SHUTTLE_1的結(jié)構(gòu)正文對(duì)應(yīng)的的結(jié)構(gòu)正文對(duì)應(yīng)的Jackson結(jié)構(gòu)圖。結(jié)構(gòu)圖。圖圖6 2 5 對(duì)應(yīng)于結(jié)構(gòu)正文的結(jié)構(gòu)圖對(duì)應(yīng)于結(jié)構(gòu)正文的結(jié)構(gòu)圖Shuttle

13、 1Station(i)*Arrive(1)Leave(1)Shuttle body1TRANSit body1wait body1Transit(i)*Transit(1)*Arrive(i)Leave(i)Wait(1)*TRANSit bodywait bodyWait(i)*l這一步驟以初建系統(tǒng)模型為基礎(chǔ)，通過數(shù)據(jù)流這一步驟以初建系統(tǒng)模型為基礎(chǔ)，通過數(shù)據(jù)流和狀態(tài)向量兩種方式將新定義的功能性過程與和狀態(tài)向量兩種方式將新定義的功能性過程與原有的模型過程聯(lián)系起來。具體考慮兩類功能：原有的模型過程聯(lián)系起來。具體考慮兩類功能： 1信息型功能（信息型功能（information function）

14、：從模）：從模型過程產(chǎn)生的數(shù)據(jù)流和狀態(tài)向量中提取信息并型過程產(chǎn)生的數(shù)據(jù)流和狀態(tài)向量中提取信息并生成輸出信息。嵌入型功能只需在原有模型過生成輸出信息。嵌入型功能只需在原有模型過程的結(jié)構(gòu)正文中插入一些操作；程的結(jié)構(gòu)正文中插入一些操作； 2交互型功能（交互型功能（interactive function）：監(jiān)視模）：監(jiān)視模型過程的狀態(tài)向量，在輸出結(jié)果的同時(shí)產(chǎn)生內(nèi)型過程的狀態(tài)向量，在輸出結(jié)果的同時(shí)產(chǎn)生內(nèi)部輸入信息，反過來影響模型化過程的動(dòng)作。部輸入信息，反過來影響模型化過程的動(dòng)作。圖圖10 2 1 兩類功能性過程與系統(tǒng)模型的關(guān)系兩類功能性過程與系統(tǒng)模型的關(guān)系外部過程外部過程系統(tǒng)模型系統(tǒng)模型信息型信息型

15、功能過程功能過程交互型交互型功能過程功能過程客觀世界客觀世界系統(tǒng)系統(tǒng)l假設(shè)在交通車上有一塊發(fā)光板，專門顯示車到假設(shè)在交通車上有一塊發(fā)光板，專門顯示車到站的信息，發(fā)光板站的信息，發(fā)光板“亮亮”說明車到站，說明車到站，“暗暗”說明車離開。此板或亮或暗受說明車離開。此板或亮或暗受LON（i）、）、LOFF（i）兩命令的控制。在過程）兩命令的控制。在過程SHUTTLE_1中可嵌入一個(gè)新功能：當(dāng)交通車中可嵌入一個(gè)新功能：當(dāng)交通車到達(dá)站（到達(dá)站（i）時(shí)，發(fā)出命令）時(shí)，發(fā)出命令LON（i）；離開站）；離開站（i）時(shí)，發(fā)出命令）時(shí)，發(fā)出命令LOFF（i）。交通車在兩站）。交通車在兩站之間往返運(yùn)行過程中，輸出之

16、間往返運(yùn)行過程中，輸出“開關(guān)發(fā)光板開關(guān)發(fā)光板”的的命令數(shù)據(jù)流，圖命令數(shù)據(jù)流，圖10 2 2為增加這一功能后的為增加這一功能后的SSD，結(jié)構(gòu)正文修改為：，結(jié)構(gòu)正文修改為：圖圖10 2 2 修改后的修改后的SSDLAMPCMDSLamp commandsButton 0BDSVButton 1Shuttle 0Shuttle 1LAMPCMDSSHUTTLE_1 seq LON(1) /* 控制發(fā)光板控制發(fā)光板“亮亮”，說，說 明交通車正停在站明交通車正停在站1上上 */ read 狀態(tài)向量狀態(tài)向量 WAIT_BODY1 itr while Wait(1) read 狀態(tài)向量狀態(tài)向量 WAIT_B

17、ODY1 end LOFF(1) /* 交通車即將離站；控交通車即將離站；控 制發(fā)光板制發(fā)光板“暗暗” */ LEAVE(1) TRANSIT_BODY1 itr while Transit(1) read 狀態(tài)向量狀態(tài)向量 TRANSIT_BODY1 endSHUTTLE_BODY1 itr STATION seq ARRIVE(i) LON(i) /* 交通車已?？空荆ń煌ㄜ囈淹？空荆╥） */ WAIT_BODY itr while Wait(i) read 狀態(tài)向量狀態(tài)向量 WAIT_BODY end LOFF(i) /* 交通車將離開站（交通車將離開站（i） */ LEAVE(i)

18、TRANSIT_BODY itr while Transit(i) read 狀態(tài)向量狀態(tài)向量 TRANSIT_BODY end STATION end SHUTTL_BODY1 end ARRIVE(1)SHUTTL_1 endl第二個(gè)功能是產(chǎn)生關(guān)于啟動(dòng)（第二個(gè)功能是產(chǎn)生關(guān)于啟動(dòng)（START）和關(guān)閉）和關(guān)閉（STOP）發(fā)動(dòng)機(jī)的命令，以此控制交通車的）發(fā)動(dòng)機(jī)的命令，以此控制交通車的運(yùn)行。下達(dá)運(yùn)行。下達(dá)STOP命令的條件是，傳感器顯示命令的條件是，傳感器顯示車已到站，而下達(dá)車已到站，而下達(dá)START 命令的條件是乘客命令的條件是乘客壓下按鈕招呼交通車并恰好交通車在某個(gè)站上壓下按鈕招呼交通車并恰好

19、交通車在某個(gè)站上等待。為此引入一個(gè)功能性過程等待。為此引入一個(gè)功能性過程mcontrol，它，它從從SHUTTLE_1和和BUTTON_2兩過程接收數(shù)據(jù)，兩過程接收數(shù)據(jù)，適時(shí)地發(fā)出適時(shí)地發(fā)出START和和STOP兩種命令。兩種命令。l過程過程SHUTTLE_1與過程與過程mcontrol之間用數(shù)據(jù)之間用數(shù)據(jù)流流“S1D”連接。因此連接。因此SHUTTLE_1的結(jié)構(gòu)正文的結(jié)構(gòu)正文進(jìn)一步修改為：進(jìn)一步修改為：SHUTTLE_1 seq LON(1) read 狀態(tài)向量狀態(tài)向量 WAIT_BODY1 itr while Wait(1) read 狀態(tài)向量狀態(tài)向量 WAIT_BODY1 end LOF

20、F(1) LEAVE(1) TRANSIT_BODY1 itr while Transit(1) read 狀態(tài)向量狀態(tài)向量 TRANSIT_BODY1 end SHUTTLE_BODY1 itr STATION seq ARRIVE(i) write arrive to S1D /* 向向mcontrol發(fā)送數(shù)據(jù)流，發(fā)送數(shù)據(jù)流， 說明車已到站（說明車已到站（i）*/ LON(i) WAIT_BODY itr while Wait(i) read 狀態(tài)向量狀態(tài)向量 WAIT_BODY end LOFF(i) LEAVE(i) TRANSIT_BODY itr while Transit(i)

21、read 狀態(tài)向量狀態(tài)向量 TRANSIT_BODY end STATION end SHUTTLE_BODY1 end ARRIVE(1) write arrive to S1D /* 發(fā)送數(shù)據(jù)流，說明車已到站發(fā)送數(shù)據(jù)流，說明車已到站1 */ SHUTTLE_1 endl過程過程SHUTTLE_1執(zhí)行執(zhí)行“read狀態(tài)向量狀態(tài)向量”操作操作和過程和過程mcontrol對(duì)對(duì)“S1D”的訪問都必須有足夠的訪問都必須有足夠快的頻率，否則交通車將不能及時(shí)停下來?？斓念l率，否則交通車將不能及時(shí)停下來。 l為完成為完成USS實(shí)例，還需進(jìn)一步考慮實(shí)體實(shí)例，還需進(jìn)一步考慮實(shí)體BUTTON模型。過程模型。過程

22、BUTTON_1是對(duì)按鈕動(dòng)是對(duì)按鈕動(dòng)作的精確描述（即每次壓下都對(duì)應(yīng)過程作的精確描述（即每次壓下都對(duì)應(yīng)過程push的的一次調(diào)用），實(shí)際上系統(tǒng)應(yīng)把第一次壓下按鈕一次調(diào)用），實(shí)際上系統(tǒng)應(yīng)把第一次壓下按鈕招呼交通車的動(dòng)作與一次運(yùn)行未開始之前乘客招呼交通車的動(dòng)作與一次運(yùn)行未開始之前乘客壓下按鈕招呼交通車的請(qǐng)求區(qū)分開來。用已有壓下按鈕招呼交通車的請(qǐng)求區(qū)分開來。用已有實(shí)體無法描述和區(qū)分動(dòng)作之間的時(shí)間約束，常實(shí)體無法描述和區(qū)分動(dòng)作之間的時(shí)間約束，常常引入額外的實(shí)體常引入額外的實(shí)體為此設(shè)計(jì)過程為此設(shè)計(jì)過程BUTTON_2，結(jié)構(gòu)圖如圖，結(jié)構(gòu)圖如圖10 2 3所示所示圖圖10 2 3 button 2的結(jié)構(gòu)圖的結(jié)構(gòu)

23、圖Button 2Push group*ExtraArrival bodyExtrapush bodyRequestpushArrival Extra Arrival*Extra push*l功能性過程功能性過程mcontrol既負(fù)責(zé)檢查既負(fù)責(zé)檢查BUTTON_2的狀態(tài)向量的狀態(tài)向量“B2V”，確定是，確定是否有未滿足的請(qǐng)求，又負(fù)責(zé)把從否有未滿足的請(qǐng)求，又負(fù)責(zé)把從SHUTTLE_1處（處（S1D）獲取的信息（即）獲取的信息（即交通車已到達(dá)發(fā)出請(qǐng)求的車站）傳遞給交通車已到達(dá)發(fā)出請(qǐng)求的車站）傳遞給BUTTON_2（MBD流）。在此定義了一流）。在此定義了一個(gè)交互型功能。個(gè)交互型功能。 lBUTTO

24、N_2的結(jié)構(gòu)正文描述如下：的結(jié)構(gòu)正文描述如下：BUTTON_2 seq request:=no /* 置初值置初值 */ read MBD and B1D /* 檢查是否有未滿足請(qǐng)求和交檢查是否有未滿足請(qǐng)求和交 通車是否停在站上通車是否停在站上 */ BUTTON_BODY itr PUSH_GROUP seq EXTRA_AR_BODY itr while (ARRIVAL) /* 交通車已靠站但尚無請(qǐng)求，交通車已靠站但尚無請(qǐng)求， 或既無請(qǐng)求交通車也未靠站或既無請(qǐng)求交通車也未靠站 */ read MBD and B1D EXTRA_AR_BODY end RQ_PUSH seq /* 首次請(qǐng)

25、求到達(dá)，置請(qǐng)求標(biāo)志首次請(qǐng)求到達(dá)，置請(qǐng)求標(biāo)志 */ request:=yes read MBD and B1D RQ_PUSH endEXTRA_RQ_PUSH itr while (REQUEST) /* 因交通車尚未靠站，請(qǐng)求因交通車尚未靠站，請(qǐng)求 暫不滿足，循環(huán)等待暫不滿足，循環(huán)等待 */ read MBD and B1D EXTRA_RQ_PUSH end ARRIVAL seq/* 請(qǐng)求滿足，清請(qǐng)求標(biāo)志請(qǐng)求滿足，清請(qǐng)求標(biāo)志 */ request:=no read MBD and B1D ARRIVAL end PUSH GROUP end BUTTON_BODY end BUTTON_

26、2 endl圖圖10 2 4給出的系統(tǒng)規(guī)格說明圖反映給出的系統(tǒng)規(guī)格說明圖反映了在此步驟完成的所有工作。我們?cè)诹嗽诖瞬襟E完成的所有工作。我們?cè)赟HUTTLE_1中嵌入了一個(gè)功能，產(chǎn)生開、中嵌入了一個(gè)功能，產(chǎn)生開、關(guān)發(fā)光板的命令，增加了一個(gè)功能性過關(guān)發(fā)光板的命令，增加了一個(gè)功能性過程程mcontrol，它除了負(fù)責(zé)完成，它除了負(fù)責(zé)完成BUTTON_2上的交互型功能外，還產(chǎn)生上的交互型功能外，還產(chǎn)生啟動(dòng)、關(guān)閉發(fā)動(dòng)機(jī)的命令。至于啟動(dòng)、關(guān)閉發(fā)動(dòng)機(jī)的命令。至于mcontrol過程的內(nèi)部結(jié)構(gòu)可采用傳統(tǒng)的過程的內(nèi)部結(jié)構(gòu)可采用傳統(tǒng)的JSP技術(shù)導(dǎo)出，關(guān)于技術(shù)導(dǎo)出，關(guān)于JSP技術(shù)我們將在技術(shù)我們將在10.2.4和和1

27、0.2.5節(jié)討論。節(jié)討論。圖圖10 2 4擴(kuò)充功能擴(kuò)充功能1和和2后的系統(tǒng)規(guī)格說明圖后的系統(tǒng)規(guī)格說明圖Button 0BDSVButton 1Shuttle 0Shuttle 1LAMPCMDSB1DButton 2S1DMBDMcontrolB2VMOTORCMDSl經(jīng)過前幾個(gè)步驟，獲得一個(gè)由若干順序過程組成的經(jīng)過前幾個(gè)步驟，獲得一個(gè)由若干順序過程組成的系統(tǒng)，它們通過數(shù)據(jù)流或狀態(tài)向量進(jìn)行通信，但對(duì)系統(tǒng)，它們通過數(shù)據(jù)流或狀態(tài)向量進(jìn)行通信，但對(duì)這些處理過程的執(zhí)行速度尚未考慮。所以，對(duì)于輸這些處理過程的執(zhí)行速度尚未考慮。所以，對(duì)于輸出流，定義輸出速度和更新頻率；對(duì)于輸入流，要出流，定義輸出速度和更

28、新頻率；對(duì)于輸入流，要求子系統(tǒng)保證及時(shí)收集所有輸入信息并保持它們的求子系統(tǒng)保證及時(shí)收集所有輸入信息并保持它們的到達(dá)順序不變。到達(dá)順序不變。 l在在USS實(shí)例中，關(guān)于時(shí)間方面的約束包括：實(shí)例中，關(guān)于時(shí)間方面的約束包括： 1停車命令允許的最大延遲時(shí)間；停車命令允許的最大延遲時(shí)間； 2開、關(guān)發(fā)光板命令的響應(yīng)時(shí)間。開、關(guān)發(fā)光板命令的響應(yīng)時(shí)間。l目前在目前在JSD方法中，時(shí)間約束的描述仍采用非形式方法中，時(shí)間約束的描述仍采用非形式化的方式。一種解決辦法是引入時(shí)間標(biāo)志流（化的方式。一種解決辦法是引入時(shí)間標(biāo)志流（time marker stream）作為模型過程的輸入，時(shí)間標(biāo)志）作為模型過程的輸入，時(shí)間標(biāo)志

29、流由特定的時(shí)鐘過程產(chǎn)生。流由特定的時(shí)鐘過程產(chǎn)生。l實(shí)現(xiàn)是實(shí)現(xiàn)是JSD方法的最后一個(gè)步驟，它將方法的最后一個(gè)步驟，它將系統(tǒng)功能說明配置到給定的軟硬件環(huán)境系統(tǒng)功能說明配置到給定的軟硬件環(huán)境上，并滿足性能方面的約束。上，并滿足性能方面的約束。l這一步驟主要考慮：過程在多處理機(jī)上這一步驟主要考慮：過程在多處理機(jī)上的調(diào)度（的調(diào)度（scheduling）、根據(jù)）、根據(jù)SSD和和Jackson結(jié)構(gòu)圖進(jìn)行過程變換結(jié)構(gòu)圖進(jìn)行過程變換（transformation）、過程狀態(tài)向量的存）、過程狀態(tài)向量的存儲(chǔ)和訪問（儲(chǔ)和訪問（storage and access of state vectors）以及借助）以及借助J

30、SP技術(shù)描述功能性過技術(shù)描述功能性過程。因篇幅所限，本節(jié)及下節(jié)僅討論最程。因篇幅所限，本節(jié)及下節(jié)僅討論最后一個(gè)問題。后一個(gè)問題。lJSP技術(shù)是一種詳細(xì)設(shè)計(jì)技術(shù)，它由問題所固技術(shù)是一種詳細(xì)設(shè)計(jì)技術(shù)，它由問題所固有的數(shù)據(jù)結(jié)構(gòu)導(dǎo)出過程的內(nèi)部結(jié)構(gòu)。所用的基有的數(shù)據(jù)結(jié)構(gòu)導(dǎo)出過程的內(nèi)部結(jié)構(gòu)。所用的基本工具稱為數(shù)據(jù)結(jié)構(gòu)圖，是本工具稱為數(shù)據(jù)結(jié)構(gòu)圖，是Jackson結(jié)構(gòu)圖的結(jié)構(gòu)圖的變種，專門用于描述數(shù)據(jù)元素之間的邏輯關(guān)系。變種，專門用于描述數(shù)據(jù)元素之間的邏輯關(guān)系。例如在圖例如在圖10 2 5中，數(shù)據(jù)集合中，數(shù)據(jù)集合A由若干個(gè)由若干個(gè)B結(jié)構(gòu)（結(jié)構(gòu)（“*”表示重復(fù)）組成，而每個(gè)表示重復(fù)）組成，而每個(gè)B由若干由若干個(gè)

31、個(gè)C結(jié)構(gòu)后跟一個(gè)結(jié)構(gòu)后跟一個(gè)D結(jié)構(gòu)組成（同級(jí)分叉表示結(jié)構(gòu)組成（同級(jí)分叉表示順序），順序），D結(jié)構(gòu)或?yàn)閿?shù)據(jù)項(xiàng)結(jié)構(gòu)或?yàn)閿?shù)據(jù)項(xiàng)E或?yàn)榛驗(yàn)镕（“”表表示選擇），這種層次信息結(jié)構(gòu)的表示方法同樣示選擇），這種層次信息結(jié)構(gòu)的表示方法同樣適用于輸入、輸出和數(shù)據(jù)庫中的數(shù)據(jù)。適用于輸入、輸出和數(shù)據(jù)庫中的數(shù)據(jù)。圖圖10 2 5 數(shù)據(jù)結(jié)構(gòu)圖數(shù)據(jù)結(jié)構(gòu)圖AB*C*DEF圖圖10 2 6 信用卡記帳系統(tǒng)信用卡記帳系統(tǒng)Outstanding balCNO主文件主文件YYYY 1749.30CNODATEAMTXXXX 10.17 25.30XXXX 10.27 108.20XXXX 10.30 65.40YYYY 10.13

32、 158.00YYYY 10.28 307.90 支付文件支付文件支付記錄支付記錄*CNO分組分組*CNOCNO主文件主文件顧客記錄顧客記錄*余款額余款額支付文件支付文件XXXX 2373.50 l如圖如圖10 2 6所示。系統(tǒng)的輸入是支付所示。系統(tǒng)的輸入是支付文件和顧客主文件。文件和顧客主文件。l支付文件的每個(gè)記錄由顧客號(hào)（支付文件的每個(gè)記錄由顧客號(hào)（CNO）、）、支付日期（支付日期（DATE）和支付金額（）和支付金額（AMT）三個(gè)數(shù)據(jù)項(xiàng)組成，并假定已按顧客號(hào)預(yù)三個(gè)數(shù)據(jù)項(xiàng)組成，并假定已按顧客號(hào)預(yù)先分組。先分組。l顧客主文件由顧客號(hào)（顧客主文件由顧客號(hào)（CNO）和余款額）和余款額（Outsta

33、nding bal）兩項(xiàng)組成。兩個(gè)文）兩項(xiàng)組成。兩個(gè)文件分別對(duì)應(yīng)圖件分別對(duì)應(yīng)圖10-2-6中所示數(shù)據(jù)結(jié)構(gòu)圖。中所示數(shù)據(jù)結(jié)構(gòu)圖。Accounting Report CNO Date Amt Old bal New bal XXXX YYYY Grand tot圖圖10 2 7 系統(tǒng)輸出報(bào)表所對(duì)應(yīng)的數(shù)據(jù)結(jié)構(gòu)圖系統(tǒng)輸出報(bào)表所對(duì)應(yīng)的數(shù)據(jù)結(jié)構(gòu)圖記帳報(bào)表記帳報(bào)表情況匯總情況匯總顧客數(shù)據(jù)顧客數(shù)據(jù)總付款額總付款額總余額總余額CNO組組*CNO支付記錄支付記錄*付款總數(shù)付款總數(shù)平帳數(shù)據(jù)平帳數(shù)據(jù)原余額原余額現(xiàn)余額現(xiàn)余額lJSP方法通過綜合、對(duì)照過程的輸入方法通過綜合、對(duì)照過程的輸入/輸出數(shù)據(jù)結(jié)構(gòu)的層輸出數(shù)據(jù)結(jié)構(gòu)的

34、層次關(guān)系導(dǎo)出對(duì)應(yīng)的過程性表示次關(guān)系導(dǎo)出對(duì)應(yīng)的過程性表示程序。具體步驟如下：程序。具體步驟如下：1找出輸入與輸出數(shù)據(jù)結(jié)構(gòu)中有對(duì)應(yīng)關(guān)系的數(shù)據(jù)元素，找出輸入與輸出數(shù)據(jù)結(jié)構(gòu)中有對(duì)應(yīng)關(guān)系的數(shù)據(jù)元素，即有直接因果關(guān)系者，它們?cè)诔绦蛑锌梢徊⑻幚?。即有直接因果關(guān)系者，它們?cè)诔绦蛑锌梢徊⑻幚怼?依據(jù)下述三條規(guī)則從數(shù)據(jù)結(jié)構(gòu)圖導(dǎo)出依據(jù)下述三條規(guī)則從數(shù)據(jù)結(jié)構(gòu)圖導(dǎo)出Jackson結(jié)構(gòu)圖。結(jié)構(gòu)圖。 1）在）在Jackson結(jié)構(gòu)圖中，為有對(duì)應(yīng)關(guān)系的每對(duì)數(shù)據(jù)元素結(jié)構(gòu)圖中，為有對(duì)應(yīng)關(guān)系的每對(duì)數(shù)據(jù)元素 畫一個(gè)處理框，該框所處層次取這兩個(gè)數(shù)據(jù)元素在畫一個(gè)處理框，該框所處層次取這兩個(gè)數(shù)據(jù)元素在 各自數(shù)據(jù)結(jié)構(gòu)圖中層次較低者。各自數(shù)據(jù)結(jié)

35、構(gòu)圖中層次較低者。 2）參照輸入數(shù)據(jù)結(jié)構(gòu)圖中剩余的每個(gè)數(shù)據(jù)元素所處層）參照輸入數(shù)據(jù)結(jié)構(gòu)圖中剩余的每個(gè)數(shù)據(jù)元素所處層 次，在次，在Jackson結(jié)構(gòu)圖的相應(yīng)層次上畫一個(gè)處理框。結(jié)構(gòu)圖的相應(yīng)層次上畫一個(gè)處理框。 3）參照輸出數(shù)據(jù)結(jié)構(gòu)圖中剩余的每個(gè)數(shù)據(jù)元素所處層）參照輸出數(shù)據(jù)結(jié)構(gòu)圖中剩余的每個(gè)數(shù)據(jù)元素所處層 次，在次，在Jackson結(jié)構(gòu)圖的相應(yīng)層次上畫一個(gè)處理框。結(jié)構(gòu)圖的相應(yīng)層次上畫一個(gè)處理框。3列出所有操作和條件（包括分支和循環(huán)條列出所有操作和條件（包括分支和循環(huán)條件），并把它們分配到件），并把它們分配到Jackson結(jié)構(gòu)圖中。結(jié)構(gòu)圖中。4根據(jù)根據(jù)Jackson結(jié)構(gòu)圖，產(chǎn)生結(jié)構(gòu)正文描述。結(jié)構(gòu)圖，

36、產(chǎn)生結(jié)構(gòu)正文描述。 將上述第將上述第1步驟用于信用卡付帳系統(tǒng)發(fā)現(xiàn)，步驟用于信用卡付帳系統(tǒng)發(fā)現(xiàn)，輸入數(shù)據(jù)結(jié)構(gòu)輸入數(shù)據(jù)結(jié)構(gòu)“支付文件支付文件”中的中的“CNO組組”、“支付記錄支付記錄”分別與輸出數(shù)據(jù)結(jié)構(gòu)中的分別與輸出數(shù)據(jù)結(jié)構(gòu)中的“CNO組組”、“支付記錄支付記錄”對(duì)應(yīng)，輸入數(shù)據(jù)對(duì)應(yīng)，輸入數(shù)據(jù)結(jié)構(gòu)結(jié)構(gòu)“顧客主文件顧客主文件”中的中的“顧客記錄顧客記錄”與輸與輸出數(shù)據(jù)結(jié)構(gòu)中的出數(shù)據(jù)結(jié)構(gòu)中的“CNO組組”對(duì)應(yīng)。參照上述對(duì)應(yīng)。參照上述第第2步驟得到該系統(tǒng)的結(jié)構(gòu)圖（圖步驟得到該系統(tǒng)的結(jié)構(gòu)圖（圖10 2 8）。）。圖圖10 2 8 導(dǎo)出導(dǎo)出Jackson結(jié)構(gòu)圖（程序結(jié)構(gòu)）結(jié)構(gòu)圖（程序結(jié)構(gòu)）信用卡信用卡付帳系

37、統(tǒng)付帳系統(tǒng)情況匯總情況匯總處理處理顧客數(shù)據(jù)顧客數(shù)據(jù)總付款額總付款額總余額總余額處理處理CNO組組*處理處理CNO處理處理支付記錄支付記錄*計(jì)算顧客計(jì)算顧客支付總額支付總額平帳數(shù)據(jù)平帳數(shù)據(jù)原余額原余額現(xiàn)余額現(xiàn)余額PROCESS_CUST_DATA seq open PAY_FILE; open CNO_MASTER_FILE; PROCESS CNO_GROUP itr until eof:PAY_FILE; read PAY_FILE; PROCESS_CNO; /* 讀顧客總文件，找出原余額讀顧客總文件，找出原余額 */PROCESS_PAY_REC itr until end:CNO_GR

38、OUP; write report line; computer total payments; read PAY_FILE; end PROCESS_PAY_REC COMPUTE_CUST_TOTAL; COMPUTE_BALANCE seq PROCESS_OLD_BAL; COMPUTE_NEW_BAL; write report line; end COMPUTE_BALANCE end PROCESS_CNO_GROUPend PROCESS_CUST_DATA課程名稱：軟件工程課程名稱：軟件工程 第第18講講班班 級(jí)：級(jí)： 日日 期：期：教教 室：室：教學(xué)題目：教學(xué)題目：10.3

39、 DSSD方法方法教學(xué)目的：掌握教學(xué)目的：掌握DSSD方法，了解復(fù)雜過程邏輯方法，了解復(fù)雜過程邏輯 的描述。的描述。教學(xué)重點(diǎn)：教學(xué)重點(diǎn)： DSSD方法。方法。教學(xué)難點(diǎn)：教學(xué)難點(diǎn)： DSSD方法。方法。教教 具：多媒體教室、電子教案具：多媒體教室、電子教案作作 業(yè)：習(xí)題業(yè)：習(xí)題4lDSSD需求分析階段產(chǎn)生的需求規(guī)格說明，將作為需求分析階段產(chǎn)生的需求規(guī)格說明，將作為設(shè)計(jì)過程的輸入信息。設(shè)計(jì)過程的輸出為設(shè)計(jì)規(guī)格設(shè)計(jì)過程的輸入信息。設(shè)計(jì)過程的輸出為設(shè)計(jì)規(guī)格說明，具體包括輸出數(shù)據(jù)結(jié)構(gòu)、過程描述和設(shè)計(jì)約說明，具體包括輸出數(shù)據(jù)結(jié)構(gòu)、過程描述和設(shè)計(jì)約束三方面內(nèi)容。束三方面內(nèi)容。lDSSD設(shè)計(jì)分為邏輯設(shè)計(jì)和物理

40、設(shè)計(jì)兩個(gè)步驟，邏設(shè)計(jì)分為邏輯設(shè)計(jì)和物理設(shè)計(jì)兩個(gè)步驟，邏輯設(shè)計(jì)著重考慮軟件的輸出、界面及過程性表示，輯設(shè)計(jì)著重考慮軟件的輸出、界面及過程性表示，物理設(shè)計(jì)則在邏輯設(shè)計(jì)的基礎(chǔ)上考慮如何滿足性能、物理設(shè)計(jì)則在邏輯設(shè)計(jì)的基礎(chǔ)上考慮如何滿足性能、可維護(hù)性和其他一些設(shè)計(jì)約束?？删S護(hù)性和其他一些設(shè)計(jì)約束。l基本工具：基本工具：Warnier Orr圖，既可描述程序結(jié)構(gòu)，圖，既可描述程序結(jié)構(gòu)，又可描述數(shù)據(jù)結(jié)構(gòu)。這里介紹一種簡(jiǎn)化的又可描述數(shù)據(jù)結(jié)構(gòu)。這里介紹一種簡(jiǎn)化的DSSD方方法。法。lDSSD的邏輯設(shè)計(jì)步驟主要有兩個(gè)：的邏輯設(shè)計(jì)步驟主要有兩個(gè)： 1推導(dǎo)輸出數(shù)據(jù)的邏輯結(jié)構(gòu)（推導(dǎo)輸出數(shù)據(jù)的邏輯結(jié)構(gòu)（Logical

41、Output Structure，簡(jiǎn)稱，簡(jiǎn)稱LOS）；）； 2由由LOS導(dǎo)出處理過程的邏輯結(jié)構(gòu)導(dǎo)出處理過程的邏輯結(jié)構(gòu) （Logical Process Structure，簡(jiǎn)稱，簡(jiǎn)稱LPS）。）。l按下述簡(jiǎn)化方法，按下述簡(jiǎn)化方法，LOS可分四步導(dǎo)出：可分四步導(dǎo)出： 1）從問題描述本身或其他相關(guān)需求信息）從問題描述本身或其他相關(guān)需求信息 中找出所有不同的原子數(shù)據(jù)項(xiàng)（即不中找出所有不同的原子數(shù)據(jù)項(xiàng)（即不 可再分的數(shù)據(jù)項(xiàng)）；可再分的數(shù)據(jù)項(xiàng)）； 2）說明每個(gè)原子數(shù)據(jù)項(xiàng)的出現(xiàn)頻率；）說明每個(gè)原子數(shù)據(jù)項(xiàng)的出現(xiàn)頻率； 3）找出那些可再分的一般數(shù)據(jù)項(xiàng)；）找出那些可再分的一般數(shù)據(jù)項(xiàng)； 4）用）用Warnier-

42、Orr圖表示圖表示LOS。Daily_Machine_Tool_Usage_Report Date：DATE Tool category Tool ID status NO.parts produced Tool_CAT TID S NO_PARTS CATEGORY TOTAL PARTS: CAT_TOT_PARTS CATEGORY TOTAL PARTS: TOTAL PARTS PRODUCED THIS DATE: MANUF_TOTALl輸出數(shù)據(jù)結(jié)構(gòu)表現(xiàn)為數(shù)據(jù)項(xiàng)的一種層次輸出數(shù)據(jù)結(jié)構(gòu)表現(xiàn)為數(shù)據(jù)項(xiàng)的一種層次結(jié)構(gòu)。結(jié)構(gòu)。l按照按照LOS推導(dǎo)步驟：推導(dǎo)步驟：l1）首先從問題描述（例）首

43、先從問題描述（例10.1所給報(bào)表原所給報(bào)表原型）中找出原子數(shù)據(jù)項(xiàng)；型）中找出原子數(shù)據(jù)項(xiàng)；l2）確定每個(gè)原子數(shù)據(jù)項(xiàng)出現(xiàn)的頻率（圖）確定每個(gè)原子數(shù)據(jù)項(xiàng)出現(xiàn)的頻率（圖10 3 2）。）。圖圖10 3 2 原子數(shù)據(jù)項(xiàng)及出現(xiàn)頻率原子數(shù)據(jù)項(xiàng)及出現(xiàn)頻率原子數(shù)據(jù)項(xiàng)原子數(shù)據(jù)項(xiàng)頻率頻率細(xì)節(jié)細(xì)節(jié)HEADING（標(biāo)題）（標(biāo)題）DATE（日期）（日期）COLUME_HEAD（列標(biāo)題）（列標(biāo)題）TOOL_CAT（工具類名稱）（工具類名稱）TID（工具標(biāo)志）（工具標(biāo)志）S（狀態(tài)）（狀態(tài)）NO_PARTS（產(chǎn)品件數(shù)）（產(chǎn)品件數(shù)）SUB_TOTAL_HEAD（按類匯總小標(biāo)題）（按類匯總小標(biāo)題）CAT_TOT_PARTS（按類匯

44、總）（按類匯總）TOTAL_HEAD（按目匯總標(biāo)題）（按目匯總標(biāo)題）MANUF_TOTAL（每日產(chǎn)品總計(jì)）（每日產(chǎn)品總計(jì)）1/報(bào)表報(bào)表 1/報(bào)表報(bào)表 1/報(bào)表報(bào)表 1/工具類工具類 1/工具工具1/工具工具1/工具工具1/工具類工具類 1/工具類工具類 1/報(bào)表報(bào)表 1/報(bào)表報(bào)表每日機(jī)器使用情況報(bào)表每日機(jī)器使用情況報(bào)表 若干類，每類有若干項(xiàng)若干類，每類有若干項(xiàng) 按類匯總按類匯總 按日匯總按日匯總3）找出一般數(shù)據(jù)項(xiàng)，有：）找出一般數(shù)據(jù)項(xiàng)，有： 報(bào)表（出現(xiàn)一次）、報(bào)表（出現(xiàn)一次）、 工具類（每報(bào)表出現(xiàn)工具類（每報(bào)表出現(xiàn)t次）、次）、 工具（每類出現(xiàn)工具（每類出現(xiàn)s次）。次）。4）用）用Warnie

45、r-Orr圖表示圖表示LOS圖圖10 3 3 LOS的的Warnier Orr圖示圖示標(biāo)題標(biāo)題日期標(biāo)題日期標(biāo)題日期日期 工具類名稱工具類名稱 工具標(biāo)識(shí)工具標(biāo)識(shí)列標(biāo)題列標(biāo)題 工具工具 狀態(tài)狀態(tài)工具類工具類 (1，s) 產(chǎn)品件數(shù)產(chǎn)品件數(shù) (1，t) 按類匯總小標(biāo)題按類匯總小標(biāo)題每日匯總標(biāo)題每日匯總標(biāo)題 按類匯總按類匯總每日產(chǎn)品總計(jì)每日產(chǎn)品總計(jì)生產(chǎn)生產(chǎn)日?qǐng)?bào)表日?qǐng)?bào)表lLPS是軟件的過程性表示，推導(dǎo)步驟如下：是軟件的過程性表示，推導(dǎo)步驟如下：1）從）從LOS的的Warnier Orr圖示中去掉所有原子數(shù)據(jù)項(xiàng)；圖示中去掉所有原子數(shù)據(jù)項(xiàng)；生產(chǎn)生產(chǎn)日?qǐng)?bào)表日?qǐng)?bào)表圖圖10 3 4 去掉所有原子數(shù)據(jù)去掉所有原子數(shù)據(jù)項(xiàng)項(xiàng) 工具工具 工具類工具類 (1，s) (1，t) .BEGIN .BEGIN 工具工具 工具類工具類 (1，s) (1，t) .END.END生產(chǎn)生產(chǎn)日?qǐng)?bào)表日?qǐng)?bào)表.BEGIN 置置MANUF_TOTAL為為0 .BEGIN 置置CAT_TOTALPARTS為為0 工具類工具類 工具工具 (1，t) (1，s) 把把NO_PARTS加到加到 CAT_TOTAL_PARTS上上 .END.END生產(chǎn)生產(chǎn)日?qǐng)?bào)表日?qǐng)?bào)表把把CAT_TOTAL_PARTS加到加到MANUF_TOTAL上上圖圖10 3 6 完整的完整的LPS生生產(chǎn)產(chǎn)日日?qǐng)?bào)報(bào)表表.BEGIN工