Specification Case Studies in RAISE

News: The original book is now out of print, so we are able to offer it free on the ftp site. You can find it here in both zipped pdf and tarred postscript formats.

This is the web site for the book Specification Case Studies in RAISE, edited by Hung Dang Van, Chris George, Tomasz Janowski, and Richard Moore, and published by Springer in the FACIT (Formal Approaches to Computing and Information Technology) series, ISBN 1-85233-359-6.

The book describes twelve case studies based on work done at UNU/IIST by the editors together with UNU/IIST fellows from developing countries. The primary purpose of this site is to make available the complete specifications. It also provides links to the RAISE tools.

The following are available via links to UNU/IIST's ftp site:

case_studies

Each case study has its own directory in here, named as the case study is in the thematic introduction, Chapter 1 of the book. Each of the case study directories has a gzipped tar file and a zip file containing a README file with comments on the structure of the RSL modules and the modules themselves: each module is in a file of the same name as the module with extension .rsl.

rsltc

This is the main directory for the RAISE tool, called rsltc. There are two emacs-lisp files that may be used with emacs to provide a convenient user interface for rsltc, and a number of sub-directories:

user_guide

The rsltc user and installation guide in gzipped postscript, pdf and html formats. There is also a syntax document in postscript and pdf formats containing a BNF grammar for RSL, a list of ASCII equivalents for symbols, and a list of keywords.

windows

rsltc for Windows. There is also a minimal version of emacs copied from the DJGPP port of the GNU tools.

linux

rsltc binary for linux.

solaris

rsltc binary for Sun Solaris.

dos

rsltc binary for DOS.

cpp

C++ libraries for the translator to C++.

sml

SML libraries for the translator to SML. The code produced by the translator is intended for use with SML/NJ (SML of New Jersey), which is based on SML'97. The run-time system for SML/NJ is freely available for a variety of platforms from here.

vcg

The Visualisation of Computer Graphs tool for Windows and Unix (used with rsltc to draw module dependency graphs). Also obtainable from here.

source

The source files for rsltc.

method_book

The RAISE method book in gzipped postscript and zipped pdf formats, together with possible solutions to the exercises in it.

chinese

A tutorial on RSL translated into Chinese by Ms He Hua and Prof Zhang Naixiao of Peking University, Beijing. It is included as gzipped postscript and zipped pdf.

New versions of the RAISE tool are announced to the news group comp.specification.misc.