博碩士論文 92522053 詳細資訊




以作者查詢圖書館館藏 以作者查詢臺灣博碩士 以作者查詢全國書目 勘誤回報 、線上人數:7 、訪客IP:3.88.220.93
姓名 林志祥(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 格式]    [相關文章]   [文章引用]   [完整記錄]   [館藏目錄]   [檢視]  [下載]
  1. 本電子論文使用權限為同意立即開放。
  2. 已達開放權限電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。
  3. 請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。

摘要(中) 本論文提出一個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   

若有論文相關問題,請聯絡國立中央大學圖書館推廣服務組 TEL:(03)422-7151轉57407,或E-mail聯絡  - 隱私權政策聲明