RAISE (“Rigorous Approach to Industrial Software Engineering”) is a product consisting of a formal specification language (The RAISE Specification Language, RSL), an associated method for software development, and supporting tools.
RAISE is a formal method, inspired by VDM, but combining model-oriented specification (as in VDM) with algebraic specification, CSP-like concurrency, and a module concept. The intended use of RAISE is specification of systems, typically software systems, as part of their development.
Project History
RAISE was originally developed during the years 1985-1995 in the CEC-funded projects RAISE (ESPRIT 315) and LaCoS (ESPRIT 5383). The founder of these projects was Dines Bjørner. Many people participated over time. The core people were Dines Bjørner, Tony Evans, Chris George, Patrick Goldsack, Dave Grosvenor, Peter Haff, Klaus Havelund, Anne Haxthausen, Steven Hughes, Hamid Lesan, Erik Meiling, Robert Milne, Claus Bendix Nielsen, Steen Ulrik Palm, Jan Storbank Pedersen, Søren Prehn, and Kim Ritter Wagner.
Later extensions to the language and a new tool set, RSLTC, were developed during the years 1998-2008 at the United Nations University UNU-IIST under the lead of Chris George.
At the Technical University of Denmark further extensions, under the name RSL* to the language and the RSLTC tools have been developed by Signe Geisler conducted under the lead of Anne Haxthausen.
Tools
-
The RSLTC tool
– https://github.com/raisetools/rsltc
– User guide pdf, html, html sources
-
The RSL* tools (prototype extensions of RSLTC)
-
The original RAISE tool set – The original RAISE tool set can be requested from Jan Storbank Pedersen at Terma A/S. However, it is recommended to use one of the newer tools above, since e.g. the original tool set only runs on SUN stations.
Language and Method Documentation
Reports
- Mostly Dines Bjørner’s RAISE-related Documents pdf, by Dines Bjørner, 2021