博碩士論文 93522009 完整後設資料紀錄

DC 欄位	值	語言
DC.contributor	資訊工程學系	zh_TW
DC.creator	林士弘	zh_TW
DC.creator	Shih-Hung Lin	en_US
dc.date.accessioned	2006-6-15T07:39:07Z
dc.date.available	2006-6-15T07:39:07Z
dc.date.issued	2006
dc.identifier.uri	http://ir.lib.ncu.edu.tw:88/thesis/view_etd.asp?URN=93522009
dc.contributor.department	資訊工程學系	zh_TW
DC.description	國立中央大學	zh_TW
DC.description	National Central University	en_US
dc.description.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 正確性。	zh_TW
dc.description.abstract	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.	en_US
DC.subject	enhanced OWL-S	en_US
DC.subject	composite web service	en_US
DC.subject	BPEL4WS	en_US
DC.subject	VDM++	en_US
DC.title	使用改良型OWL-S及VDM++的BPEL4WS驗證環境	zh_TW
dc.language.iso	zh-TW	zh-TW
DC.title	BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM++	en_US
DC.type	博碩士論文	zh_TW
DC.type	thesis	en_US
DC.publisher	National Central University	en_US