English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 64745/64745 (100%)
造訪人次 : 20421845      線上人數 : 297
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋


    請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/9071


    題名: 網路服務描述的整合驗證環境;Integrated Verification Environment for Web Service Description
    作者: 林志祥;Chih-Hsiang Lin
    貢獻者: 資訊工程研究所
    關鍵詞: 維也納開發方法++;網路知識本體語言-服務;正規驗證;formal verification;OWL-S;VDM++
    日期: 2005-06-14
    上傳時間: 2009-09-22 11:40:34 (UTC+8)
    出版者: 國立中央大學圖書館
    摘要: 本論文提出一個verification environment for web service description (VEWSD)來開發及驗證enhanced OWL-S description,該description是利用VDM++來強化OWL-S。本環境包括五個部份:1) Enhanced OWL-S description、2) Template Generator、3) Formal Transformer、4) IFAD VDM++ Toolbox、5) JENA,並舉例說明,包括使用Template Generator開發description和針對此description做debugging、structure checking、type checking的驗證,本環境預期的優點有:1) 使用VDM++ formal model來保證精確的語義,2) 創新地整合Markup Language Tool JENA與VDM++ 驗證工具來開發及驗證description,並開發Template Generator和Formal Transformer來節省developer的時間和提高開發品質。 This work presents a verification environment for web service description (VEWSD) to develop and verify enhanced OWL-S description, which uses VDM++ to enhance OWL-S. The environment consists of: 1) Enhanced OWL-S description, 2) Template Generator, 3) Formal Transformer, 4) IFAD VDM++ Toolbox, 5) JENA. Examples are included that show development using templates, and verifications of debugging, structure checking and type checking. The benefits of this environment are: 1) Using VDM++ formal model assures precise semantics. 2) Innovatively integrating Markup Language Tool JENA and VDM++ Verification Tool for development and verification. Further, Template Generator and Formal Transformer are included to save developers’ time and to enhance quality.
    顯示於類別:[資訊工程研究所] 博碩士論文

    文件中的檔案:

    檔案 大小格式瀏覽次數
    0KbUnknown474檢視/開啟


    在NCUIR中所有的資料項目都受到原著作權保護.

    社群 sharing

    ::: Copyright National Central University. | 國立中央大學圖書館版權所有 | 收藏本站 | 設為首頁 | 最佳瀏覽畫面: 1024*768 | 建站日期:8-24-2009 :::
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋  - 隱私權政策聲明