Translation of a subset of RSL into Java |
Ulrik Hjarnaa
|
| Abstract | There exist a number of specification languages which are used for specifying the design and behaviour of software systems. Furthermore, a number of programming languages exist, which are used for implementation of software systems. This thesis focuses on a possible translation from the speci cation language RSL into the programming language Java.
This work identifies a translatable subset of the applicative part of RSL and gives suggestions for a translation of a subset of this into Java. The work focuses on the parts of RSL which have a direct translation in Java. Based on these translations a prototype of a tool for carrying out the translation has been developed.
The tool has been developed using a combination of techniques. The front end has been developed using a tool for generating a lexer and a parser. The back end has been developed using the object-oriented visitor design pattern. The main part of the tool has been developed using a bootstrapping process. The main part of the tool was speci ed in RSL and translated using the tool itself. |
| Keywords | RAISE, RSL, Java, translation, bootstrapping |
| Type | Master's thesis [Academic thesis] |
| Year | 2004 |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Series | IMM-Thesis-2004-77 |
| Note | Supervised by Associate Professor, Ph.D. Anne E. Haxthausen and Associate Professor Hans Bruun |
| Electronic version(s) | [pdf] [ps] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |