owl-s模型转化为重写逻辑模型的方法

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