簡易檢索 / 詳目顯示
| 研究生： |
林志祥 Chih-Hsiang Lin |
|---|---|
| 論文名稱： |
網路服務描述的整合驗證環境 Integrated Verification Environment for Web Service Description |
| 指導教授： |
陳振炎
Jen-Yen Chen |
| 口試委員: | |
| 學位類別： |
碩士 Master |
| 系所名稱： |
資訊電機學院 - 資訊工程學系 Department of Computer Science & Information Engineering |
| 畢業學年度： | 93 |
| 語文別： | 英文 |
| 論文頁數： | 77 |
| 中文關鍵詞： | 維也納開發方法++ 、網路知識本體語言-服務 、正規驗證 |
| 外文關鍵詞： | formal verification, OWL-S, VDM++ |
| 相關次數： | 點閱：6 下載：0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
本論文提出一個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.
[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/
