| DC 欄位 |
值 |
語言 |
| DC.contributor | 資訊工程學系 | zh_TW |
| DC.creator | 賴又新 | zh_TW |
| DC.creator | Yu-Hsin Lai | en_US |
| dc.date.accessioned | 2005-6-29T07:39:07Z | |
| dc.date.available | 2005-6-29T07:39:07Z | |
| dc.date.issued | 2005 | |
| dc.identifier.uri | http://ir.lib.ncu.edu.tw:444/thesis/view_etd.asp?URN=92522001 | |
| dc.contributor.department | 資訊工程學系 | zh_TW |
| DC.description | 國立中央大學 | zh_TW |
| DC.description | National Central University | en_US |
| dc.description.abstract | 本文提出一個利用Vienna Development Method ++ (VDM++) 為正規模型以描述改善的OWL-S service model. 改善的OWL-S service model中包含改良的控制結構與敘述式。本文並包含一“BankService”的例子。本研究的好處如下：1) 使用VDM++的文法與運算子支援描述網路服務的一致性。2) 使用VDM++的staement建立服務描述的控制結構，並提供限制控制結構的方法。3) 改善的OWL-S service model可以自動的由OWL格式轉換為VDM++格式，並由VDM++的驗證工具加以驗證，故可以偵測服務描述內部的前後矛盾。 | zh_TW |
| dc.description.abstract | This work presents a new formal model that uses VDM++ to describe the enhanced OWL-S service model, in which additional control constructs and expressions are devised, such as selective construct and synchronization pattern. A “BankService” example is included. The benefits of this approach are: 1) VDM++ grammar and operators are used to support uniform expression of the enhanced OWL-S service model. 2) By using VDM++ statements to establish control construct of service model, control constructs with constraints are provided. 3) The enhanced OWL-S description can be automatically transformed into VDM++ specification, and verified by VDM++ verification tool. Thus, internal inconsistency in OWL description can be detected. | en_US |
| DC.subject | 正規模型 | zh_TW |
| DC.subject | 網路知識本體語言服務 | zh_TW |
| DC.subject | 維也納開發方法 | zh_TW |
| DC.subject | OWL-S | en_US |
| DC.subject | formal model | en_US |
| DC.subject | VDM++ | en_US |
| DC.title | 適用OWL-S服務模型之新的正規技術 | zh_TW |
| dc.language.iso | zh-TW | zh-TW |
| DC.title | New Formal Model for OWL-S Service Model | en_US |
| DC.type | 博碩士論文 | zh_TW |
| DC.type | thesis | en_US |
| DC.publisher | National Central University | en_US |