Beta 1


Title Translation of a subset of RSL into Java
Author Hjarnaa, Ulrik
Supervisor Haxthausen, Anne Elisabeth (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Bruun, Hans (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2004
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.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords RAISE; RSL; Java; translation; bootstrapping
Fulltext
Original Postscript imm3385.ps (8.06 MB)
Derived PDF imm3385.pdf (1.96 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-21    Source: dtu    ID: 154761    Original MXD