| DC 欄位 |
值 |
語言 |
| DC.contributor | 資訊工程學系 | zh_TW |
| DC.creator | 林志祥 | zh_TW |
| DC.creator | Chih-Hsiang Lin | en_US |
| dc.date.accessioned | 2005-6-18T07:39:07Z | |
| dc.date.available | 2005-6-18T07:39:07Z | |
| dc.date.issued | 2005 | |
| dc.identifier.uri | http://ir.lib.ncu.edu.tw:88/thesis/view_etd.asp?URN=92522053 | |
| dc.contributor.department | 資訊工程學系 | zh_TW |
| DC.description | 國立中央大學 | zh_TW |
| DC.description | National Central University | en_US |
| dc.description.abstract | 本論文提出一個verification environment for web service description (VEWSD)來開發及驗證enhanced OWL-S description，該description是利用VDM++來強化OWL-S。本環境包括五個部份：1) Enhanced OWL-S description、2) Template Generator、3) Formal Transformer、4) IFAD VDM++ Toolbox、5) JENA，並舉例說明，包括使用Template Generator開發description和針對此description做debugging、structure checking、type checking的驗證，本環境預期的優點有：1) 使用VDM++ formal model來保證精確的語義，2) 創新地整合Markup Language Tool JENA與VDM++ 驗證工具來開發及驗證description，並開發Template Generator和Formal Transformer來節省developer的時間和提高開發品質。 | zh_TW |
| dc.description.abstract | This work presents a verification environment for web service description (VEWSD) to develop and verify enhanced OWL-S description, which uses VDM++ to enhance OWL-S. The environment consists of: 1) Enhanced OWL-S description, 2) Template Generator, 3) Formal Transformer, 4) IFAD VDM++ Toolbox, 5) JENA. Examples are included that show development using templates, and verifications of debugging, structure checking and type checking. The benefits of this environment are: 1) Using VDM++ formal model assures precise semantics. 2) Innovatively integrating Markup Language Tool JENA and VDM++ Verification Tool for development and verification. Further, Template Generator and Formal Transformer are included to save developers’ time and to enhance quality. | en_US |
| DC.subject | 維也納開發方法++ | zh_TW |
| DC.subject | 網路知識本體語言-服務 | zh_TW |
| DC.subject | 正規驗證 | zh_TW |
| DC.subject | formal verification | en_US |
| DC.subject | OWL-S | en_US |
| DC.subject | VDM++ | en_US |
| DC.title | 網路服務描述的整合驗證環境 | zh_TW |
| dc.language.iso | zh-TW | zh-TW |
| DC.title | Integrated Verification Environment for Web Service Description | en_US |
| DC.type | 博碩士論文 | zh_TW |
| DC.type | thesis | en_US |
| DC.publisher | National Central University | en_US |