使用改良型OWL-S及VDM++的BPEL4WS驗證環境

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：175

、訪客IP：3.145.163.58

姓名

林士弘(Shih-Hung Lin) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

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

相關論文

★ 以極致編程為基礎的嵌入式系統雙層測試工具	★ 極致編程的兩個延伸：繪製草圖及英詞中句虛擬碼
★ 應用DAML建立代理人社群以整合網路服務	★ 以DAML為基礎的目標導向個人代理人
★ 攜帶可延伸的ontology以增進agent間的溝通	★ 使用代理人支援eXtreme Programming(XP)環境的建構系統
★ 使用代理人輔助XP環境之驗收測試	★ 使用代理人輔助eXtreme Programming環境之單元測試
★ 使用代理人輔助eXtreme Programming環境之版本控制	★ 行動代理人使用DAML Ontology於進階用路人資訊系統
★ 網路服務描述的整合驗證環境	★ 適用OWL-S服務模型之新的正規技術
★ 用於代理人互動的知識本體增強的多代理人閘道系統	★ 文件製作活動：極致編程在嵌入式系統上之延伸
★ 測試驅動開發用於高職生程式教學	★ 使用極致編程在嵌入式系統中移植開放原始碼

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

本文提出利用兩次轉換建立一個驗證環境來輔助開發者驗證 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.

關鍵字(中)

關鍵字(英)

★ enhanced OWL-S
★ composite web service
★ BPEL4WS
★ VDM++

論文目次

Chapter 1 Introduction 1
Chapter 2 Related Work 2
Chapter 3 A Verification Environment for Web Service Description 3
Chapter 4 Examples 5
Chapter 5 Conclusions 10
References 10
Appendixes 11
A: Analysis of Interacting BPEL Web Services 11
B: Model-based Verification of Web Service Compositions 14
C: BPEL4WS轉Enhanced OWL-S詳細轉換方式 17
D: Web Service簡介 20
E: Web Service Description Language簡介 22
F: Complete Example 23

參考文獻

[1] World Wide Web Consortium, Web Services Description Language (WSDL) 1.1, (2001, March) [Online] Available: http://www.w3.org/TR/wsdl
[2] IBM, BEA Systems, Microsoft, SAP AG and Siebel Systems, Business Process Execution Language for Web Services (BPEL4WS) 1.1, (2003, May). [Online]. Available: ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
[3] Y.H. Lai and J.Y. Chen, Using VDM++ to Formalize an Enhanced OWL-S Service Model, Master thesis, Dept. of Computer Science and Information Engineering, National Central University, Chung-Li, Taiwan, 2005.
[4] CSK System Corporation, The VDM++ Language, Technical Report, CSK, October 2006.
[5] Howard Foster, Sebastian Uchitel, Jeff Magee and Jeff Kramer, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, October 2003.
[6] Xiang Fu, Tevfik Bultan and Jianwen Su, Analysis of Interacting BPEL Web Services, Proceedings of the 13th international conference on World Wide Web, 2004.
[7] Sun, Java Architecture for XML Binding (JAXB), (2006) [Online] Avaiable: http://java.sun.com/webservices/jaxb/

指導教授

陳振炎(Jason Jen-Yen Chen)

審核日期

2006-6-15

推文