適用OWL-S服務模型之新的正規技術

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：22

、訪客IP：18.118.254.94

姓名

賴又新(Yu-Hsin Lai) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

適用OWL-S服務模型之新的正規技術
(New Formal Model for OWL-S Service Model)

相關論文

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

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

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

摘要(中)

本文提出一個利用Vienna Development Method ++ (VDM++) 為正規模型以描述改善的OWL-S service model. 改善的OWL-S service model中包含改良的控制結構與敘述式。本文並包含一“BankService”的例子。本研究的好處如下：1) 使用VDM++的文法與運算子支援描述網路服務的一致性。2) 使用VDM++的staement建立服務描述的控制結構，並提供限制控制結構的方法。3) 改善的OWL-S service model可以自動的由OWL格式轉換為VDM++格式，並由VDM++的驗證工具加以驗證，故可以偵測服務描述內部的前後矛盾。

摘要(英)

This work presents a new formal model that uses VDM++ to describe the enhanced OWL-S service model, in which additional control constructs and expressions are devised, such as selective construct and synchronization pattern. A “BankService” example is included. The benefits of this approach are: 1) VDM++ grammar and operators are used to support uniform expression of the enhanced OWL-S service model. 2) By using VDM++ statements to establish control construct of service model, control constructs with constraints are provided. 3) The enhanced OWL-S description can be automatically transformed into VDM++ specification, and verified by VDM++ verification tool. Thus, internal inconsistency in OWL description can be detected.

關鍵字(中)

★ 正規模型
★ 網路知識本體語言服務
★ 維也納開發方法

關鍵字(英)

★ OWL-S
★ formal model
★ VDM++

論文目次

Chapter 1 Introduction 1
Chapter 2 Related Work 3
Chapter 3 OWL-S enhancement using VDM++ formal model 4
3.1 Service Model 4
3.2 Expression 7
Chapter 4 A Bank Service Example 9
Chapter 5 Conclusions 12
References 13
Appendix A: Thesis (Chinese version) 15
Appendix B: A Petri Net-based Model for Web Service Composition 26
Appendix C: TCOZ Approach to Semantic Web Services Design 29
Appendix D: Formally Designing Web Services for Mobile Team Collaboration 32
Appendix E: OWL-S Service Model 34
Appendix F: VDM++ Service Class 54
Appendix G: BankService Service Model Example (OWL Description and VDM++ Specification) 56

參考文獻

[1] World Wide Web Consortium. (2004, February). [online]. Web Services Architecture. Available: http://www.w3.org/TR/ws-arch/
[2] World Wide Web Consortium. (2004, February). [online]. Web Services Glossary. Available: http://www.w3.org/TR/ws-gloss/
[3] IBM Web Service Architecture Team, Web Service Architecture Overview, IBM (2000, September). [online]. Available: http://www-106.ibm.com/developerworks/webservices/library/w-ovr/
[4] World Wide Web Consortium. (2004, February). [online]. Web Services Description Requirements. Available: http://www.w3.org/TR/ws-desc-reqs/
[5] The VDM Tool Group. The IFAD VDM++ Language. Technical Report, IFAD, October 2000.
[6] The Ontology Web Language for Services (OWL-S). (2003, November). 1.0. Available: http://www.daml.org/services/owl-s/1.0/
[7] David Martin, Massimo Paolucci, Sheila McIlraith, Mark Burstein, Drew McDermott, Deborah McGuinness, Bijan Parsia, Terry Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia Sycara, "Bringing Semantics to Web Services: The OWL-S Approach", Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004), July 6-9, 2004, San Diego, California, USA.
[8] World Wide Web Consortium. (2004, March). [online]. Web Service Description Language (WSDL) 2.0. Available: http://www.w3.org/TR/wsdl20/
[9] I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. Swrl: A semantic web rule language combining owl and ruleml, 2003. Available at http://www.daml.org/2003/11/swrl/
[10] Rachid Hamadi and Boualem Benatallah. A petri net-based model for web service composition. In Proceedings of the 14th Australasian Database Conference (ADC 2003), volume 17 of CRPIT. Australian Computer Society, November 2003.
[11] J. D. Dong, Y. F. Li, and H. Wang. A formal approach to semantic web services design. Technical Report TRB2/04, National University of Sinagpore, Feb. 2004.
[12] Dustdar, S., Fenkam, P. (2004). “Formally Designing Web services for Mobile Team Collaboration”. 30th IEEE Euromicro Conference 2004, 1 - 3 September, Rennes, France, IEEE Computer Society Press
[13] Jing Sun, Jin Song Dong, Jing Liu and Hai Wang, A Formal Object Approach to the Design of ZML, Annals of Software Engineering, Volume 13, Issue 1-4, pages 329-356, Kluwer Academic Publishers, June 2002.
[14] M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. Daml service. http://www.daml.org/services/daml-s/2001/05/.
[15] KIF. Knowledge Interchange Format: Draft proposed American National Standard (dpans). Technical Report 2/98-004, ANS, 1998. Also at http://logic.stanford.edu/kif/dpans.html.
[16] Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, Sanjiva Weerawarana. Business Process Execution Language for Web Services (BPEL4WS) (2003, May). 1.1. [online]. Available: http://www-106.ibm.com/developerworks/library/ws-bpel/
[17] CSK Corporation. The VDM++ language reference manual CSK Corporation, 2005.
[18] World Wide Web Consortium. (2004, February). [online]. OWL Web Ontology Language Reference. Available: http://www.w3.org/TR/owl-ref/

指導教授

陳振炎(Jason Jen-Yen Chen)

審核日期

2005-6-29

推文