| OWL-S到Z规格说明的转换 |
| |
| 引用本文： | 王毅俊,缪淮扣,许庆国,曹晓夏.OWL-S到Z规格说明的转换[J].应用科学学报,2010,28(3):326-330. |
| |
| 作者姓名： | 王毅俊 缪淮扣 许庆国 曹晓夏 |
| |
| 作者单位： | 1．上海大学计算机工程与科学学院，上海200072
2．上海市计算机软件评测重点实验室，上海201112 |
| |
| 基金项目： | 国家"973"重大基础研究发展计划基金，国家高技术研究发展计划(863计划)，国家自然科学基金，上海市自然科学基金，上海市重点学科建设项目 |
| |
| 摘 要： | OWL-S是重要的Semantic Web Service描述框架，但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言，比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法，提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则，用Z定义OWL-S中概念的形式化语义，并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
|
| 关 键 词： | 语义网络服务 OWL-S Z规格说明 形式方法 转换规则 |
| 收稿时间： | 2009-08-03 |
| 修稿时间： | 2009-12-30 |
Transformation from OWL-S Model to Z |
| |
| WANG Yi-jun,MIAO Huai-kou,XU Qing-guo,CAO Xiao-xia.Transformation from OWL-S Model to Z[J].Journal of Applied Sciences,2010,28(3):326-330. |
| |
| Authors: | WANG Yi-jun MIAO Huai-kou XU Qing-guo CAO Xiao-xia |
| |
| Institution: | 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China;
2. Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai 201112, China |
| |
| Abstract: | OWL-S is one of the most significant Semantic Web Service frameworks, but is short of effective formal verification tools. Z is a formal specification language based upon set theory and mathematical logic that is more expressive than OWL-S. This paper studies the formal method for OWL-S based on Z. A set of model transforming rules is proposed. The semantics of OWL-S concepts are defined using Z based on these rules. A tool prototype (OWLS2Z) transforming OWL-S model to Z is presented. |
| |
| Keywords: | OWL-S |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
