| Summary: | 博士 === 國立臺灣科技大學 === 電子研究所 === 79 === We combine three kinds of new software development paradigms: rapid
prototyping, operational specification, and transformational
implementation as an integrated software engineering paradigm. According
to the characteristics of the integrated paradigm, we have designed a set
of successive of the integrated paradigm. we have designed a set of
successive tools for building a knowledge-based repid prototyping
development environment (KRPDE). KRPDE contains a user interface, a
conceptual model, a frame-based software requirements specification
language(FSRSL), a database for storing specification files, a knowledge
base for storing rules of software development, and a data and knowledge
base management system. The conceptual model is a graphic requirements
representation for describing system behaviors. The FSRSL specifications
are the internal forms of the conceptual model and further specify
datailed activities and constraints. Specifications represented in the
conceptual model are more easily comprehended than textual representation,
however specifications written in FSRSL are more easily processed. The
knowledge base has provided rules for checking the correctness of the
FSRSL specifications. The FSRSL specifications can also be executed as a
software prototype. If the prototype specifications meet the user''s
requirements, they can be automatically transformed into programs of a
target language. Specifications stored in the database can the retrieved
by a query stystem to generate formal documents and answer particular
questions for software development and maintenance. KRPDE has improved
software tecniques on naturalness of slftware construction, inheritance
properties, reusable specifications, database application, automated
program generation, and consistent document generation. An application of
KRPDE is provided.
我們結合快速雛型、操作方式、和轉換製作三種軟體發展模式，形成一個整合性軟體
工程模式．根據上整合性模式的特性，設計了一套連貫性的軟體工具，組成一個知試
庫快速雛型發展環境（knowledge-based rapid prototyping development
environment, KRPDE ）．KRPDE包括一個使用者介面，一個知識庫儲存軟體發展的知
識，和一個簡單的知識資料庫管理系統．SRSL包括一套圖形化的概念模式表示方法，
和一個以框架為基礎的文字式需求規格語言（FSRSL ）．概念模式易於表達和理解複
雜的系統，概念模式的資訊可完合轉成FSRSL規格，而FSRSL語言可更精確的描述系統
的行為與特性．FSRSL 語言改進了自然性建構軟體、性質繼承、可再使用性、和資料
庫應用等特性．目前知識庫中存有規格分析和規格轉換的規則．規各分析可檢查FSRS
L規格的一致性，FSRSL 規格也可執行做為軟體雛型的驗証，最後被接受的FSRSL規格
可直接轉換成程式碼，以做為軟體產品．儲存在資料庫中的規格，可由查尋敘述產生
正規化和特殊問題的文件，以供雛型修改和軟體維護參考用．由擷取資料庫內容產生
的軟體文件，可確保得到有效且一致的文件．我們用一個醫院資訊系統來闡述 KRPDE
系統的應用．
|
|---|
