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

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/9179

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/9179

题名:	使用改良型OWL-S及VDM++的BPEL4WS驗證環境;BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM++
作者:	林士弘;Shih-Hung Lin
贡献者:	資訊工程研究所
关键词:	enhanced OWL-S;composite web service;BPEL4WS;VDM++
日期:	2006-06-13
上传时间:	2009-09-22 11:42:37 (UTC+8)
出版者:	國立中央大學圖書館
摘要:	本文提出利用兩次轉換建立一個驗證環境來輔助開發者驗證 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.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	大小	格式	浏览次数

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....