RAISE(Rigorous Approach to Industrial Engineering，工业软件工程中的形式化方法)是量个从1985-1990年的ESPRIT项目，花费了大约120人年的工作量。目前Dansk Datamatik Center是该项目的主要负责机构。
RAISE是一个在广谱形式化语言的基础上，提供一系统工个和转换技术，形成一种开发软件的严格方法。它既可以描述抽象的定义，也可以描述一些具体的定义，并自动转换成程序语言。
目的动力来自于VDM。VDM存在两个明显不足，一是缺乏模块性；二是VDM不能处理并发的情况。
代数法在VDM和Z语言的基于模型的方法下存在不同之处，即如何描述事物以及如何给形式化语言赋予语义。基于模型的方法中没有明确怎么样将这两方面结合起来。RAISE语言的成功之处在于，RAISE形式化语言RSL(RAISE Specification Language)做到了这一点。
RAISE作为一个研究项目，到目前为此，提供了一些工具免费下载。
阅读(2900) | 评论(0) | 转发(0) |
