Title page for etd-0602111-165751


[Back to Results | New Search]

URN etd-0602111-165751
Author Wen-Fan Hsieh
Author's Email Address No Public.
Statistics This thesis had been viewed 5337 times. Download 1092 times.
Department Information Management
Year 2010
Semester 2
Degree Master
Type of Document
Language English
Title Verification of Web Services in Support of Choreography
Date of Defense 2010-06-29
Page Count 85
Keyword
  • Web service compatibility
  • Web service composition
  • Web service conformance
  • Choreography
  • Web service selection
  • Abstract In recent years, Web services had been widely used on the Internet. Thanks to the convenient communication technologies and their inexpensive cost, communications between organizations is much easier, and Web services have become a de-facto standard for organizations to provide information and services. There are two different perspectives to describe Web service composition: orchestration and choreography. Works that verify a choreography model so as to alleviating some correctness problem such as deadlock have also been proposed. However the verification of implementations based on a choreography model has not be addressed. In this thesis, we propose an approach to verify the conformance of a set of Web services to a given choreography model and prune some candidate Web services which do not comply with the choreography model to avoid discordance with the choreography model and run-time errors. The proposed approach is evaluated by simulating 10,000 execution sequences of composite Web services. The experimental results show that our proposed method improves the performance of success rate and space usage by pruning the unsuitable candidate Web services.
    Advisory Committee
  • Fu-ren Lin - chair
  • Wan-Shiou Yang - co-chair
  • Hsin-Hui Lin - advisor
  • San-Yih Hwang - advisor
  • Files
  • etd-0602111-165751.pdf
  • indicate accessible in a year
    Date of Submission 2011-06-02

    [Back to Results | New Search]


    Browse | Search All Available ETDs

    If you have more questions or technical problems, please contact eThesys