| OWL-S模型转化为重写逻辑模型的方法 |
| |
| 引用本文： | 沈雅芬,黄宁,彭永义.OWL-S模型转化为重写逻辑模型的方法[J].计算机应用,2011,31(6):1491-1494. |
| |
| 作者姓名： | 沈雅芬 黄宁 彭永义 |
| |
| 作者单位： | 1. 北京航空航天大学 计算机学院，北京 1001912. 北京航空航天大学 可靠性与系统工程学院，北京 100191 |
| |
| 基金项目： | 国防"十一五"预研项目 |
| |
| 摘 要： | OWL-S模型在基于服务的软件设计中具有重要作用，但由于其非完全形式化的模型，不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架，通过对数据类型、表达式、控制结构与Process的转换，设计并实现了OWL-S模型到重写逻辑模型的自动转化工具，为能够在软件实现前为设计模型的形式化分析与验证，以及可靠性分析提供基础。
|
| 关 键 词： | 软件可靠性 Web服务本体 重写逻辑 模型转化 形式化验证 |
| 收稿时间： | 2010-12-24 |
| 修稿时间： | 2011-01-18 |
Transformation of OWL-S model to rewrite-logic model |
| |
| SHEN Ya-fen,HUANG Ning,PENG Yong-yi.Transformation of OWL-S model to rewrite-logic model[J].journal of Computer Applications,2011,31(6):1491-1494. |
| |
| Authors: | SHEN Ya-fen HUANG Ning PENG Yong-yi |
| |
| Affiliation: | 1. School of Computer Science and Engineering, Beihang University, Beijing 100191, China2. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China |
| |
| Abstract: | Web Ontology Language for Services (OWL-S) model, based on service, plays an important role in software design but it cannot be formally analyzed and verified directly because of its non-fully formalized model. The automatic conversion tool from OWL-S model to rewrite-logic model, which was based on semantic framework of rewrite logic and converted by data types, expressions, control structures and process, was designed and completed. It can formally analyze and verify the design model before software implementation and provide the basis for reliability analysis. |
| |
| Keywords: | software reliability Web Ontology Language for Services （OWL-S） rewrite logic model conversion formal verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
