網路服務描述的整合驗證環境; Integrated Verification Environment for Web Service Description

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/9071

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/9071

题名:	網路服務描述的整合驗證環境;Integrated Verification Environment for Web Service Description
作者:	林志祥;Chih-Hsiang Lin
贡献者:	資訊工程研究所
关键词:	維也納開發方法++;網路知識本體語言-服務;正規驗證;formal verification;OWL-S;VDM++
日期:	2005-06-14
上传时间:	2009-09-22 11:40:34 (UTC+8)
出版者:	國立中央大學圖書館
摘要:	本論文提出一個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的時間和提高開發品質。 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.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	大小	格式	浏览次数

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....