【正文】 ＋＋ 與與 x = a＋＋ b[...,...] 或或 [...|...] 或或 x = [a , b]， x = [a | b]{ ... }或或 m{...}n 重復(fù)重復(fù) x = {a}， x = 3{a}8(...) 可選可選 x = (a)“...” 基本數(shù)據(jù)元素基本數(shù)據(jù)元素 x = “a” .. 連結(jié)符連結(jié)符 x = 1..9存折格式存折格式存折＝戶(hù)名＋所號(hào)＋帳號(hào)＋開(kāi)戶(hù)日＋性質(zhì)存折＝戶(hù)名＋所號(hào)＋帳號(hào)＋開(kāi)戶(hù)日＋性質(zhì)＋＋ (印密印密 )＋＋ 1{存取行存取行 }50戶(hù)名＝戶(hù)名＝ 2{字母字母 }24所號(hào)＝所號(hào)＝ “001”..“999” 帳號(hào)＝帳號(hào)＝ “00000001”..“99999999”開(kāi)戶(hù)日＝年＋月＋日開(kāi)戶(hù)日＝年＋月＋日性質(zhì)＝性質(zhì)＝ “1”..“6” 注：注： “1”表示普通戶(hù)，表示普通戶(hù)，“5”表示工資戶(hù)等表示工資戶(hù)等印密＝印密＝ “0” 注：印密在存折上不顯示注：印密在存折上不顯示存取行＝日期＋（摘要）＋支出＋存入＋存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復(fù)核余額＋操作＋復(fù)核 n 對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必須有一個(gè)基本加工邏輯說(shuō)明須有一個(gè)基本加工邏輯說(shuō)明n 基本加工邏輯說(shuō)明必須描述基本加基本加工邏輯說(shuō)明必須描述基本加工工 如何把輸入數(shù)據(jù)流變換為輸出數(shù)如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則據(jù)流的加工規(guī)則n 加工邏輯說(shuō)明必須描述實(shí)現(xiàn)加工的加工邏輯說(shuō)明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)n 加工邏輯說(shuō)明中包含的信息應(yīng)是充加工邏輯說(shuō)明中包含的信息應(yīng)是充足的，完備的，有用的，無(wú)冗余的足的，完備的，有用的，無(wú)冗余的基本加工邏輯說(shuō)明基本加工邏輯說(shuō)明用于寫(xiě)加工邏輯說(shuō)明的工具用于寫(xiě)加工邏輯說(shuō)明的工具u 結(jié)構(gòu)化英語(yǔ)結(jié)構(gòu)化英語(yǔ)u 判定表判定表u 判定樹(shù)判定樹(shù)（（ 1）結(jié)構(gòu)化英語(yǔ)）結(jié)構(gòu)化英語(yǔ)n 結(jié)構(gòu)化英語(yǔ)的詞匯表由結(jié)構(gòu)化英語(yǔ)的詞匯表由u 英語(yǔ)命令動(dòng)詞英語(yǔ)命令動(dòng)詞u 數(shù)據(jù)詞典中定義的名字?jǐn)?shù)據(jù)詞典中定義的名字u 有限的自定義詞有限的自定義詞u 邏輯關(guān)系詞邏輯關(guān)系詞 IF_THEN_ELSE、 CASE_OF 、 WHILE_DO 、 REPEAT_UNTIL等組成。n 是一種介于自然語(yǔ)言和形式化語(yǔ)言是一種介于自然語(yǔ)言和形式化語(yǔ)言之間的語(yǔ)言之間的語(yǔ)言n 語(yǔ)言的語(yǔ)言的 正文用基本控制結(jié)構(gòu)進(jìn)行分正文用基本控制結(jié)構(gòu)進(jìn)行分割割 ，加工中的，加工中的 操作用自然語(yǔ)言短語(yǔ)操作用自然語(yǔ)言短語(yǔ)來(lái)表示來(lái)表示n 其基本控制結(jié)構(gòu)有三種：其基本控制結(jié)構(gòu)有三種：u簡(jiǎn)單陳述句結(jié)構(gòu)簡(jiǎn)單陳述句結(jié)構(gòu) ：避免復(fù)合語(yǔ)句：避免復(fù)合語(yǔ)句；；u重復(fù)結(jié)構(gòu)重復(fù)結(jié)構(gòu) ：： while_do 或或 repeat_until 結(jié)構(gòu)。u判定結(jié)構(gòu)判定結(jié)構(gòu) ：： if_then_else 或或 case_of 結(jié)構(gòu)；結(jié)構(gòu)；商店業(yè)務(wù)處理系統(tǒng)中商店業(yè)務(wù)處理系統(tǒng)中 “檢查發(fā)貨單檢查發(fā)貨單 ”if 發(fā)貨單金額超過(guò)發(fā)貨單金額超過(guò) $500 then if 欠款超過(guò)了欠款超過(guò)了 60天天 then 在償還欠款前不予批準(zhǔn)在償還欠款前不予批準(zhǔn) else （（ 欠款未超期）欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單發(fā)批準(zhǔn)書(shū)，發(fā)貨單 else （（ 發(fā)貨單金額未超過(guò)發(fā)貨單金額未超過(guò) $500）） if 欠款超過(guò)欠款超過(guò) 60天天 then 發(fā)批準(zhǔn)書(shū)，發(fā)貨單及賒欠報(bào)告發(fā)批準(zhǔn)書(shū)，發(fā)貨單及賒欠報(bào)告 else （（ 欠款未超期）欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單發(fā)批準(zhǔn)書(shū)，發(fā)貨單 （（ 2）判定表）判定表n 如果數(shù)據(jù)流圖的加工需要依賴(lài)于如果數(shù)據(jù)流圖的加工需要依賴(lài)于 多多個(gè)邏輯條件的取值個(gè)邏輯條件的取值 ，使用判定表來(lái)，使用判定表來(lái)描述比較合適描述比較合適以以 “檢查發(fā)貨單檢查發(fā)貨單 ”為例為例（（ 3）判定樹(shù)）判定樹(shù)n 判定樹(shù)也是用來(lái)表達(dá)加工邏輯的一判定樹(shù)也是用來(lái)表達(dá)加工邏輯的一種工具。有時(shí)侯它比判定表更直觀。確的規(guī)格說(shuō)明不是一件容易的事。特別是對(duì)一些大型的軟件項(xiàng)目。全面要求。變需求來(lái)解脫困境。會(huì)成為軟件開(kāi)發(fā)順利推進(jìn)的障礙。系統(tǒng)的快速原型的概念。統(tǒng)的部分重要特性。并探討多種方案的可行性。合適，規(guī)格說(shuō)明是否可靠。統(tǒng)。確化。u 使用原型化方法，可以容易地確使用原型化方法，可以容易地確定系統(tǒng)的性能，確認(rèn)各項(xiàng)主要系定系統(tǒng)的性能，確認(rèn)各項(xiàng)主要系統(tǒng)服務(wù)的可應(yīng)用性，確認(rèn)系統(tǒng)設(shè)統(tǒng)服務(wù)的可應(yīng)用性，確認(rèn)系統(tǒng)設(shè)計(jì)的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品計(jì)的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品的結(jié)果。u 軟件原型的最終版本，有的可以軟件原型的最終版本，有的可以原封不動(dòng)地成為產(chǎn)品，有的略加原封不動(dòng)地成為產(chǎn)品，有的略加修改就可以成為最終系統(tǒng)的一個(gè)修改就可以成為最終系統(tǒng)的一個(gè)組成部分，這樣有利于建成最終組成部分，這樣有利于建成最終系統(tǒng)。 原型開(kāi)發(fā)技術(shù)原型開(kāi)發(fā)技術(shù)n 可執(zhí)行規(guī)格說(shuō)明可執(zhí)行規(guī)格說(shuō)明n 基于腳本基于腳本 (scenario)的設(shè)計(jì)的設(shè)計(jì)n 自動(dòng)程序設(shè)計(jì)自動(dòng)程序設(shè)計(jì)n 專(zhuān)用語(yǔ)言專(zhuān)用語(yǔ)言n 可復(fù)用可復(fù)用 (reusable)的軟件的軟件n 簡(jiǎn)化假設(shè)簡(jiǎn)化假設(shè)可執(zhí)行規(guī)格說(shuō)明可執(zhí)行規(guī)格說(shuō)明n 可執(zhí)行規(guī)格說(shuō)明是用于需求規(guī)格說(shuō)可執(zhí)行規(guī)格說(shuō)明是用于需求規(guī)格說(shuō)明的一種自動(dòng)化技術(shù)。使用這種方法，人們可以直接觀察他們用語(yǔ)言法，人們可以直接觀察他們用語(yǔ)言規(guī)定的任何系統(tǒng)性行為。包括F 代數(shù)規(guī)格說(shuō)明代數(shù)規(guī)格說(shuō)明F 有限狀態(tài)模型有限狀態(tài)模型F 可執(zhí)行的數(shù)據(jù)流圖可執(zhí)行的數(shù)據(jù)流圖?（（ 1）） 代數(shù)規(guī)格說(shuō)明代數(shù)規(guī)格說(shuō)明n 代數(shù)規(guī)格說(shuō)明使用集合、定義于這代數(shù)規(guī)格說(shuō)明使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)些集合上的函數(shù)和定義于這些函數(shù)上的方程來(lái)描述對(duì)象。規(guī)格說(shuō)明的操作語(yǔ)義用這些方程表示。 NEW_STACK ：： → StackPUSH：： Stack， Element → StackPOP：： Stack → (Element | Undefined)POP (NEW_STACK ( ) ) ＝＝ UndefinedPOP (PUSH ( stk， elem ) ) ＝＝ elem其中，前三行定義了操作的語(yǔ)法，后其中，前三行定義了操作的語(yǔ)法，后兩行把它們的語(yǔ)義定義為一些方程兩行把它們的語(yǔ)義定義為一些方程。從一個(gè)初可執(zhí)行規(guī)格說(shuō)明形式。施加在狀。的推移。統(tǒng)。一個(gè)腳腳本是指用戶(hù)界面的原型。它提供了輸入歷的事件。因此，軟件開(kāi)發(fā)者能夠給用戶(hù)顯。判斷是否符合他的意圖。n 可使用一種原型語(yǔ)言來(lái)描述原型系可使用一種原型語(yǔ)言來(lái)描述原型系統(tǒng)。原型開(kāi)發(fā)過(guò)程中用這種語(yǔ)言來(lái)定義屏幕、數(shù)據(jù)項(xiàng)、及其相關(guān)的操定義屏幕、數(shù)據(jù)項(xiàng)、及其相關(guān)的操作。從系統(tǒng)的外部描述開(kāi)始，開(kāi)發(fā)與數(shù)據(jù)庫(kù)的接口、錯(cuò)誤處理和恢復(fù)與數(shù)據(jù)庫(kù)的接口、錯(cuò)誤處理和恢復(fù)過(guò)程等系統(tǒng)的與外部視圖一致的細(xì)過(guò)程等系統(tǒng)的與外部視圖一致的細(xì)節(jié)。?自動(dòng)程序設(shè)計(jì)自動(dòng)程序設(shè)計(jì)n 自動(dòng)程序設(shè)計(jì)是指在程序自動(dòng)生成自動(dòng)程序設(shè)計(jì)是指在程序自動(dòng)生成環(huán)境的支持下，利用計(jì)算機(jī)實(shí)現(xiàn)軟環(huán)境的支持下，利用計(jì)算機(jī)實(shí)現(xiàn)軟件的開(kāi)發(fā)。它可以自動(dòng)地或半自動(dòng)地把用戶(hù)的非過(guò)程式問(wèn)題規(guī)格說(shuō)明地把用戶(hù)的非過(guò)程式問(wèn)題規(guī)格說(shuō)明轉(zhuǎn)換為某種高級(jí)語(yǔ)言程序：轉(zhuǎn)換為某種高級(jí)語(yǔ)言程序：u 演繹綜合手段：演繹綜合手段：216?；跀?shù)學(xué)推理的構(gòu)造式證明。將一程序轉(zhuǎn)換成另一功能等價(jià)將一程序轉(zhuǎn)換成另一功能等價(jià)的程序，并保持其正確性不變的程序，并保持其正確性不變。從實(shí)例特征出發(fā)，將它推廣為從實(shí)例特征出發(fā)，將它推廣為待編程序的特征，最后得到程待編程序的特征，最后得到程序。u 過(guò)程化手段：過(guò)程化手段：216。的過(guò)程化。在原型開(kāi)發(fā)中使用專(zhuān)用語(yǔ)言言。劃中的系統(tǒng)特性方面的交流。n 為了快速地構(gòu)造原型，這些模塊首為了快速地構(gòu)造原型，這些模塊首先必須有簡(jiǎn)單而清晰的界面；其次先必須有簡(jiǎn)單而清晰的界面；其次它們應(yīng)當(dāng)盡量不依賴(lài)其它的模塊或它們應(yīng)當(dāng)盡量不依賴(lài)其它的模塊或數(shù)據(jù)結(jié)構(gòu)；第三，它們應(yīng)具有一些數(shù)據(jù)結(jié)構(gòu)；第三，它們應(yīng)具有一些通用的功能。?簡(jiǎn)化假設(shè)簡(jiǎn)化假設(shè)n 簡(jiǎn)化假設(shè)是在開(kāi)發(fā)過(guò)程中使設(shè)計(jì)者簡(jiǎn)化假設(shè)是在開(kāi)發(fā)過(guò)程中使設(shè)計(jì)者迅速得到一個(gè)簡(jiǎn)化的系統(tǒng)所做的假迅速得到一個(gè)簡(jiǎn)化的系統(tǒng)所做的假設(shè)。盡管這些假設(shè)可能實(shí)際上并不能成立，但它們?cè)谠烷_(kāi)發(fā)過(guò)程中能成立，但它們?cè)谠烷_(kāi)發(fā)過(guò)程中可以使開(kāi)發(fā)者的注意力集中在一些可以使開(kāi)發(fā)者的注意力集中在一些主要的方面。?n 在修改一個(gè)文件時(shí)，可以假設(shè)這個(gè)在修改一個(gè)文件時(shí)，可以假設(shè)這個(gè)文件確實(shí)存在文件確實(shí)存在n 在存取文件時(shí)，待存取的記錄總是在存取文件時(shí)，待存取的記錄總是存在存在n 一旦計(jì)劃中的系統(tǒng)滿(mǎn)足用戶(hù)所有的一旦計(jì)劃中的系統(tǒng)滿(mǎn)足用戶(hù)所有的要求，就可以撤消這些假設(shè)，并追要求，就可以撤消這些假設(shè)，并追加一些細(xì)節(jié)。系統(tǒng)動(dòng)態(tài)分析系統(tǒng)動(dòng)態(tài)分析n 系統(tǒng)的需求規(guī)格說(shuō)明通常是用自然系統(tǒng)的需求規(guī)格說(shuō)明通常是用自然語(yǔ)言來(lái)敘述的，但是用自然語(yǔ)言描語(yǔ)言來(lái)敘述的，但是用自然語(yǔ)言描述往往會(huì)出現(xiàn)歧義性。n 為了直觀地分析系統(tǒng)的動(dòng)作，從特為了直觀地分析系統(tǒng)的動(dòng)作，從特定的