%0 Journal Article
%T owl-s模型转化为重写逻辑模型的方法
%A 沈雅芬
%A 黄宁
%A 彭永义
%J 计算机应用
%D 2011
%X ？owl-s模型在基于服务的软件设计中具有重要作用，但由于其非完全形式化的模型，不能直接对其进行形式化分析与验证。基于owl-s模型的重写逻辑语义框架，通过对数据类型、表达式、控制结构与process的转换，设计并实现了owl-s模型到重写逻辑模型的自动转化工具，为能够在软件实现前为设计模型的形式化分析与验证，以及可靠性分析提供基础。
%K 软件可靠性
%K web服务本体
%K 重写逻辑
%K 模型转化
%K 形式化验证
%U http://www.joca.cn/CN/abstract/abstract14668.shtml