研究生: |
蔡順慈 Shun-Ci Cai |
---|---|
論文名稱: |
一個以整合性軟體工程模式與知識為基礎的快速雛型發展環境 A Knowledge-Based Rapid Prototyping Development Environment Based On An Integrated Software Engineering Paradigm |
指導教授: |
楊鍵樵
Chen-Chau Yang |
口試委員: | none |
學位類別: |
博士 Doctor |
系所名稱: |
電資學院 - 電子工程系 Department of Electronic and Computer Engineering |
論文出版年: | 2021 |
畢業學年度: | 79 |
語文別: | 中文 |
論文頁數: | 190 |
中文關鍵詞: | 整合性軟體工程模 、快速雛型 、操作方式 、轉換製作 、知識庫 、軟體需求規格語言 、文字需求規格語言 、概念模式 |
外文關鍵詞: | AN-INTEGRATED-SOFTWARE-ENGINEE, RAPID-PROTOTYPING, OPERATIONAL-SPECIFICATION, TRANSFORMATIONAL-IMPLEMENTATI, KONWLEDGE-BASED, SRSL, FSRSL, CONCEPTUAL-MODEL |
相關次數: | 點閱:196 下載:0 |
分享至: |
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
我們結合快速雛型、操作方式、和轉換製作三種軟體發展模式,形成一個整合性軟體工程模式。根據上整合性模式的特性,設計了一套連貫性的軟體工具,組成一個知試庫快速雛型發展環境(knowledge-based rapid prototyping development environment, KRPDE )。KRPDE包括一個使用者介面,一個知識庫儲存軟體發展的知識,和一個簡單的知識資料庫管理系統。SRSL包括一套圖形化的概念模式表示方法,和一個以框架為基礎的文字式需求規格語言(FSRSL )。概念模式易於表達和理解複雜的系統,概念模式的資訊可完合轉成FSRSL規格,而FSRSL語言可更精確的描述系統的行為與特性。FSRSL 語言改進了自然性建構軟體、性質繼承、可再使用性、和資料庫應用等特性。目前知識庫中存有規格分析和規格轉換的規則。規各分析可檢查FSRSL規格的一致性,FSRSL 規格也可執行做為軟體雛型的驗証,最後被接受的FSRSL規格可直接轉換成程式碼,以做為軟體產品。儲存在資料庫中的規格,可由查尋敘述產生正規化和特殊問題的文件,以供雛型修改和軟體維護參考用。由擷取資料庫內容產生的軟體文件,可確保得到有效且一致的文件。我們用一個醫院資訊系統來闡述 KRPDE系統的應用。
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.
none