網路服務描述的整合驗證環境

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：45

、訪客IP：3.14.83.223

姓名

林志祥(Chih-Hsiang Lin) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

網路服務描述的整合驗證環境
(Integrated Verification Environment for Web Service Description)

相關論文

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

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

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

摘要(中)

本論文提出一個verification environment for web service description (VEWSD)來開發及驗證enhanced OWL-S description，該description是利用VDM++來強化OWL-S。本環境包括五個部份：1) Enhanced OWL-S description、2) Template Generator、3) Formal Transformer、4) IFAD VDM++ Toolbox、5) JENA，並舉例說明，包括使用Template Generator開發description和針對此description做debugging、structure checking、type checking的驗證，本環境預期的優點有：1) 使用VDM++ formal model來保證精確的語義，2) 創新地整合Markup Language Tool JENA與VDM++ 驗證工具來開發及驗證description，並開發Template Generator和Formal Transformer來節省developer的時間和提高開發品質。

摘要(英)

This work presents a verification environment for web service description (VEWSD) to develop and verify enhanced OWL-S description, which uses VDM++ to enhance OWL-S. The environment consists of: 1) Enhanced OWL-S description, 2) Template Generator, 3) Formal Transformer, 4) IFAD VDM++ Toolbox, 5) JENA. Examples are included that show development using templates, and verifications of debugging, structure checking and type checking. The benefits of this environment are: 1) Using VDM++ formal model assures precise semantics. 2) Innovatively integrating Markup Language Tool JENA and VDM++ Verification Tool for development and verification. Further, Template Generator and Formal Transformer are included to save developers’ time and to enhance quality.

關鍵字(中)

★ 維也納開發方法++
★ 網路知識本體語言-服務
★ 正規驗證

關鍵字(英)

★ formal verification
★ OWL-S
★ VDM++

論文目次

Chapter 1 Introduction ................................................................................ 1
Chapter 2 Related Work .............................................................................. 2
Chapter 3 Verification Environment for Web Service Description. ……… 4
Chapter 4 Examples ..................................................................................... 8
Chapter 5 Conclusions ................................................................................. 12
References ........................................................................................................... 13
Appendixes .......................................................................................................... 14
A: Integrated Verification Environment for Web Service Description (Chinese version)......14
B: Simulation, Verification and Automated Composition of Web Services ..... 26
C: Verification of Business Process for Web Services......................................... 31
D: Requirements-Driven Verification of Web Services . .................................... 35
E: Currency Change Description ......................................................................... 38
F: VDM++ file of Currency Change Description ................................................ 43
G: Enhanced OWL-S decription .......................................................................... 45

參考文獻

[1]Semantic Web. (2001, May) [Online]. Available: http://www.w3.org/2001/sw/
[2]World Wide Web Consortium. (2004, February). [online]. Web Services Architecture. Available: http://www.w3.org/TR/ws-arch/
[3]Services and Semantics: Web Architecture. (2001, April). [Online]. Available: http://www.w3.org/2001/04/30-tbl
[4] World Wide Web Consortium. (2004, March). [online]. Web Service Description Language (WSDL) 2.0. Available: http://www.w3.org/TR/wsdl20/
[5] OWL Services (OWL-S). (2004, November). 1.1. [Online]. Available: http://www.daml.org/services/owl-s/1.1/
[6] Business Process Execution Language for Web Services (BPEL4WS). (2003, May). 1.1. [Online]. Available:
ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
[7] The DARPA Agent Markup Language. (2004, July). [online]. DAML-S and Related Technologies. Available: http://www.daml.org/services/owl-s/1.1B/survey.pdf
[8] HP Labs Semantic Web Research (2004, February). [Online]. Available:
http://www.hpl.hp.com/semweb/
[9] The VDM Tool Group. The IFAD VDM++ Language. Technical Report, IFAD, October 2000.
[10] S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In Proceedings of 11th World Wide Web Conference, pages 77–88, 2002.
[11] The DARPA Agent Markup Language Services (DAML-S). (2003, May). 0.9. [Online]. Available: http://www.daml.org/services/daml-s/0.9/
[12] J. L. Peterson, Petri Net theory and modeling of systems, Prentice-Hall, 1981.
[13]M. Koshkina and F. van Breugel. Verification of Business Processes for Web
Services. Technical Report CS-2003-11, York University, October 2003.
[14]M.Pistore, M.Roveri, and P.Busetta. Requirements-Driven verification of web services. Proc. WS-FM. Elsevier, 2004.
[15]Y.H. Lai and J.Y. Chen. A new formal technique for OWL-S Service Model. Dept. of Computer Science and Information Engineering National Central University Chung-Li, Taiwan, 2005.
[16] World Wide Web Consortium. (2004, February). [online]. OWL Web Ontology Language (OWL). Available: http://www.w3.org/2001/sw/WebOnt/

指導教授

陳振炎(Jen-Yen Chen)

審核日期

2005-6-18

推文