English  |  正體中文  |  简体中文  |  Items with full text/Total items : 66984/66984 (100%)
Visitors : 23023161      Online Users : 31
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version


    Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/9179


    Title: 使用改良型OWL-S及VDM++的BPEL4WS驗證環境;BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM++
    Authors: 林士弘;Shih-Hung Lin
    Contributors: 資訊工程研究所
    Keywords: enhanced OWL-S;composite web service;BPEL4WS;VDM++
    Date: 2006-06-13
    Issue Date: 2009-09-22 11:42:37 (UTC+8)
    Publisher: 國立中央大學圖書館
    Abstract: 本文提出利用兩次轉換建立一個驗證環境來輔助開發者驗證 BPEL4WS specification,本環境是經由一個中間語言(enhanced OWL-S)將BPEL4WS specification轉換成 VDM++ specification,然後再以 VDM++ Toolbox 做驗證。本文預期優點如下:1) 視覺化圖形介面使開發者快速瞭解 BPEL4WS specification 描述的 composite web service 的運作流程及所有資料的資訊,以輔助開發者驗證 specification; 2) 偵測 composite web service 是否產生 deadlock、使用的 web service 的介面是否有定義及參數傳遞時 data type 是否一致,可確保 specification 正確性。 This thesis proposes a web service development environment to assist service developers in verifying BEEL4WS specification. This environment transforms a BPEL4WS specification to a VDM++ specification through an intermediate language called enhanced OWL-S, and then verifies the VDM++ specification by the VDM++ Toolbox. The expected benefit as follows: the environment 1) provides a visual user interface of enhanced OWL-S specification for service developers to understand the data and the workflow of composite web services described by BPEL4WS, and 2) detects the data types and operations consistence in the web service and deadlock in the workflow of the BPEL4WS specification among the transformation.
    Appears in Collections:[資訊工程研究所] 博碩士論文

    Files in This Item:

    File SizeFormat
    0KbUnknown646View/Open


    All items in NCUIR are protected by copyright, with all rights reserved.

    社群 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 ©   - Feedback  - 隱私權政策聲明