一個以知識為基底的快速產生軟體雛型系統

Abstract

快速產生軟體雛型（rapid prototyping） 的方式是個新興觀念，它用以確認需求規 格的正確性。因為需求分析以及雛型的產生均為知識密集之工作，所以可用知識庫的 方法來達成快速產生軟體雛型的目標。此種以知識為基底的系統不僅在建立雛型的成 本比其他方法低，而且在發展類似應用系統時知識庫中的知識還可重覆使用。所以針 對一特定應用領域- 資料密集應用領域，我們製作了一套以知識庫為基底之快速產生 軟體雛型系統。此系統乃基於一需求模式-RM 之需求塑造方式來擷取應用系統的需求 規格。RM包含了六種模式概念，使用者可利用它來描述應用系統的靜態性質與動態行 為。在這系統中，知識庫存有雛丑產生過程中必要的知識，包括需求模式知識、應用 領域知識、對話知識和程式撰寫知識。除此之外，此系統提供四個控制模組以執行不 同的雛型產生工作。它們包括對話轉換器、規格驗證器、需求規格文件產生器和雛型 產生器，其中需求規格文件產生器尚未製作出來。對話轉換器利用需求模式知識和對 話知識，以對話方式來擷取需求規格，並將它們轉換為應用領域知識。接著規格驗證 器依據需求模式知識中的一致性與完整性之定義來驗證這些應用領域知識。最後雛型 產生器依據兩個雛型產生準則，利用程式撰寫知識將驗證過的需求規格轉換或雛型的 程式碼。