OWL-S模型转化为重写逻辑模型的方法

doi:10.3724/SP.J.1087.2011.01491

计算机应用 ›› 2011, Vol. 31 ›› Issue (06): 1491-1494.DOI: 10.3724/SP.J.1087.2011.01491

OWL-S模型转化为重写逻辑模型的方法

沈雅芬¹,²,黄宁¹,²,彭永义¹,²

1. 北京航空航天大学计算机学院，北京 100191
2. 北京航空航天大学可靠性与系统工程学院，北京 100191

收稿日期:2010-12-24 修回日期:2011-01-18 发布日期:2011-06-20 出版日期:2011-06-01
通讯作者: 沈雅芬
作者简介:沈雅芬（1986-），女，江苏苏州人，硕士研究生，主要研究方向：网络可靠性、软件可靠性；黄宁（1968-），女，云南思茅人，教授，博士，主要研究方向：网络可靠性、软件测试、软件可靠性；彭永义（1981-），男，湖南娄底人，硕士，主要研究方向：软件测试、软件可靠性。

Transformation of OWL-S model to rewrite-logic model

SHEN Ya-fen¹,²,HUANG Ning¹,²,PENG Yong-yi¹,²

1. School of Computer Science and Engineering, Beihang University, Beijing 100191, China
2. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China

Received:2010-12-24 Revised:2011-01-18 Online:2011-06-20 Published:2011-06-01
Contact: SHEN Ya-fen

摘要/Abstract

摘要： OWL-S模型在基于服务的软件设计中具有重要作用，但由于其非完全形式化的模型，不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架，通过对数据类型、表达式、控制结构与Process的转换，设计并实现了OWL-S模型到重写逻辑模型的自动转化工具，为能够在软件实现前为设计模型的形式化分析与验证，以及可靠性分析提供基础。

关键词: 软件可靠性, Web服务本体, 重写逻辑, 模型转化, 形式化验证

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.

Key words: software reliability, Web Ontology Language for Services （OWL-S）, rewrite logic, model conversion, formal verification

中图分类号:

TP301

沈雅芬黄宁彭永义. OWL-S模型转化为重写逻辑模型的方法[J]. 计算机应用, 2011, 31(06): 1491-1494.

SHEN Ya-fen HUANG Ning PENG Yong-yi. Transformation of OWL-S model to rewrite-logic model [J]. Journal of Computer Applications, 2011, 31(06): 1491-1494.

[1]	吴恺凡, 殷新春. 基于随机运算符的轻量级匿名射频识别系统双向认证协议[J]. 计算机应用, 2021, 41(6): 1621-1630.
[2]	包玉龙, 朱雪阳, 张文辉, 孙鹏飞, 赵颖琪. 物联网应用中访问控制智能合约的形式化验证[J]. 计算机应用, 2021, 41(4): 930-938.
[3]	张凌浩, 王胜, 周辉, 陈一凡, 桂盛霖. 基于MAVLink协议的无人机系统安全通信方案[J]. 计算机应用, 2020, 40(8): 2286-2292.
[4]	曹卫东, 朱远知, 翟盼盼, 王静. 基于灰色Elman神经网络软件可靠性预测模型[J]. 计算机应用, 2016, 36(12): 3481-3485.
[5]	郭荣佐黄君. 嵌入式实时控制系统软件可靠性建模与应用[J]. 计算机应用, 2013, 33(02): 575-578.
[6]	李明刘士仪年福忠. 基于时序描述逻辑的Web服务本体语言过程模型语义[J]. 计算机应用, 2013, 33(01): 266-269.
[7]	乔辉周雁舟邵南. 基于学习向量量化神经网络的软件可靠性预测[J]. 计算机应用, 2012, 32(05): 1436-1438.
[8]	郑长友刘晓明黄松. 基于蚁群算法的软件可靠性模型参数估计方法[J]. 计算机应用, 2012, 32(04): 1147-1151.
[9]	吕堂祺黄宁贾晓光王东. 面向服务架构软件实现前的可靠性评价方法[J]. 计算机应用, 2011, 31(09): 2436-2439.
[10]	韩炫雷航. 考虑环境因素的软件可靠性增长模型[J]. 计算机应用, 2011, 31(07): 1759-1761.
[11]	张晓南刘安心刘斌张宏梅青星. 基于优化PSO-SVM模型的软件可靠性预测方法[J]. 计算机应用, 2011, 31(07): 1762-1764.
[12]	孟海宁刘建军. 基于粗糙小波网络应用服务器老化预测模型[J]. 计算机应用, 2010, 30(8): 2024-2028.
[13]	楼俊钢江建慧. 软件失效时间数据相关性研究[J]. 计算机应用, 2010, 30(3): 600-602.
[14]	崔隽黄皓. 基于不干扰理论的信道控制策略及其自动化验证方法[J]. 计算机应用, 2010, 30(3): 708-714.
[15]	晁冰徐仁佐. 基于LSSVRM和SA算法的软件失效模型[J]. 计算机应用, 2010, 30(06): 1648-1650.

OWL-S模型转化为重写逻辑模型的方法

Transformation of OWL-S model to rewrite-logic model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics