姓名 |
林志祥(Chih-Hsiang Lin)
查詢紙本館藏 |
畢業系所 |
資訊工程學系 |
論文名稱 |
網路服務描述的整合驗證環境 (Integrated Verification Environment for Web Service Description)
|
相關論文 | |
檔案 |
[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 |
推文 |
facebook plurk twitter funp google live udn HD myshare reddit netvibes friend youpush delicious baidu
|
網路書籤 |
Google bookmarks del.icio.us hemidemi myshare
|