跳到主要內容

簡易檢索 / 詳目顯示

回結果列表
研究生： 賴又新
Yu-Hsin Lai
論文名稱： 適用OWL-S服務模型之新的正規技術
New Formal Model for OWL-S Service Model
指導教授： 陳振炎
Jason Jen-Yen Chen
口試委員:
學位類別： 碩士
Master
系所名稱： 資訊電機學院 - 資訊工程學系
Department of Computer Science & Information Engineering
畢業學年度： 93
語文別： 英文
論文頁數： 101
中文關鍵詞： 正規模型 、網路知識本體語言服務 、維也納開發方法
外文關鍵詞： OWL-S, formal model, VDM++
相關次數： 點閱：15  下載：0 
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報

    • 本文提出一個利用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/

    QR CODE
    :::