使用改良型OWL-S及VDM++的BPEL4WS驗證環境; BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM++

NCUIR > College of Electrical Engineering & Computer Science > Graduate Institute of Computer Science and Information Engineering > Electronic Thesis & Dissertation > Item 987654321/9179

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:	[Graduate Institute of Computer Science and Information Engineering] Electronic Thesis & Dissertation

Files in This Item:

File	Size	Format

社群 sharing

Loading...