(3.235.245.219) 您好!臺灣時間:2021/05/07 22:36
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

: 
twitterline
研究生:賴又新
研究生(外文):Yu-Hsin Lai
論文名稱:適用OWL-S服務模型之新的正規技術
論文名稱(外文):New Formal Model for OWL-S Service Model
指導教授:陳振炎
指導教授(外文):Jason Jen-Yen Chen
學位類別:碩士
校院名稱:國立中央大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2005
畢業學年度:93
語文別:英文
論文頁數:101
中文關鍵詞:網路知識本體語言服務正規模型維也納開發方法
外文關鍵詞:VDM++formal modelOWL-S
相關次數:
  • 被引用被引用:1
  • 點閱點閱:104
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:9
  • 收藏至我的研究室書目清單書目收藏:4
本文提出一個利用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.
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/
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔