Introducing Contract to Web Services to Improve Exception Handling Mechanism.
碩士 === 國立臺灣師範大學 === 資訊教育學系 === 95 === Nowadays, software technology is making progress rapidly. Internet has become essential from everyday life and services provided via internet, such as web services, have become more and more common. However, services provided by third-party may not be trustworth...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Online Access: | http://ndltd.ncl.edu.tw/handle/21589765252941298665 |
| Summary: | 碩士 === 國立臺灣師範大學 === 資訊教育學系 === 95 === Nowadays, software technology is making progress rapidly. Internet has become essential from everyday life and services provided via internet, such as web services, have become more and more common. However, services provided by third-party may not be trustworthy and reliable. Software that uses third-party service may encounter unexpected failures or errors. Unless the services are replaceable, software developers seem not have choices in trusting these third-party services.
To assist programmers that develop applications over web services, a service contract concept is proposed in this thesis. We believe that the exception handling mechanism in current programming language is inadequate and can be improved by contract. The contact is implemented by program instrumentation. It is transparent to the software developers.
|
|---|