A Verification Tool to Service-Oriented Pattern based Applications

• Main Authors: Ying Ta Chen, 陳盈達
• Other Authors: 朱正忠
• Format: Others
• Language: zh-TW
• Published: 2008
• Online Access: http://ndltd.ncl.edu.tw/handle/98827883291469236892

碩士 === 東海大學 === 資訊工程與科學系 === 95 === In recent years, the importance of Web Service is much more emphasized than before by software developers. Many businesses use Web Services to integrate separate platforms and the applications and the systems that are written in different languages. And there are many Patterns that are used to develop Web Services, just like Design Patterns. Though people accept the concept of Patterns, actually we do not have highly development in the real application. For discover the errors that the compiler cannot find out while the software developers are using Patterns to develop Web Services. The errors may be like the structure of the system that do not conform to the original Pattern. In this thesis, we propose a verification method and develop a tool to help developers to find out this kind of problems. And the tool can provide the suggestions to the developers to help them correct the problems earlier.