以知識庫為基礎快速製作資料密集軟體原型之研究

Abstract

快速製作原型（ｒａｐｉｄ ｐｒｏｔｏｔｙｐｉｎｇ）是為了碓認需求規格的正確 性，而最近所出來的一種方法，事實上，一原型乃是目的應用系統的一個可執行模式 ，透過原型執行時的表徵，來達成確認的效果，而利用知識庫的觀念於快速製作原型 上，是一種嶄新的方法。依據下列三個理由這種方法是適切的。第一，基本上，需求 分析是一知識密集的工作。第二，相較於傳統生命週期上的方法，利用知識庫的觀念 來產生原型，其所需的發展費用為零或是較少。第三，利用知識庫中相同的知識庫中 相同的知識可快速產生相似應用系統的原型。 我們的研究目標乃是針對資料密集的應用範圍，建構一以知識為基礎的快速原型製作 系統，本篇論文提出在這系統之中一些重要的組成份子，並加以研討，在這系統中， 知識庫輔助整個原型製作的過程，它包含了以初階邏輯（Ｆｉｒｓｔ Ｏｒｄｅｒ Ｌｏｇｉｃ）表示的四種不同知識。它們為：需求模式知識，應用領域知識，對話知 識，和程式撰寫知識。除了知識庫外，四個控制模組在這原型產生系統中合力執行不 同的原型製作動作。這些模組為：以需求模式為基礎的對話轉換器，一致性與完整性 驗證器，需求規格文件產生器，和原型產生器。 一個需求模式叫－ＲＭ，它指引在這快速製作原型系統中所執行的大部份動成，並且 它被用來塑造資料密集應用系統的模型。這需求模式合并了六種模式觀念，它們除了 被用來描述使用者需求中必要的靜態性質和動態行為外，並且使得原型的製作較方便 。 相對於ＲＭ的需求規格語言被應用於對話轉換器中，以提供系統分析師／使用者與快 速原型產生系統間的一友善介面。而對話轉換器利用這介面及需求模式知識和對話知 識，來擷取使用者之需。而此需求被轉換為應用領域知識。這知識被驗證器依儲存於 需求模式知識中的一致性與完整性之標準來驗。而後，驗證過的使用者需求（應用領 域知識）被文件產生器依需求模式知識轉換成相對應的文字和圖形文件。最後，原型 產生器利用應用領域知識和程式撰寫知識及轉換原型，執行相對應的步驟，以產生合 乎使用者需求的原型。