BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM++
碩士 === 國立中央大學 === 資訊工程研究所 === 94 === This thesis proposes a web service development environment to assist service developers in verifying BEEL4WS specification. This environment transforms a BPEL4WS specification to a VDM++ specification through an intermediate language called enhanced OWL-S, and th...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2006
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/ft3jp8 |