Transformation of Applicative Specifications into Imperative ...

CHAPTER 9. IMPLEMENTATION OF THE TRANSFORMER
9.2 Exploiting the RSL2Java Tool
The idea behind basing the implementation of the transformer on the RSL2Java
tool is to be able to reuse some of the more or less tedious work done in
[Hja04] in order to focus on the more interesting parts of the transformer.
The way to exploit the RSL2Java tool is described in the following using
tombstone diagrams as described in [WB00].
First an RSL specification of the transformation from an RSL AST of
an applicative specification, named RSLA AST, into an RSL AST of an
imperative RSL specification, named RSLI AST, is written within RSL1.
Then this specification is translated into Java using the RSL2Java tool, see
Figure 9.1. The resulting Java program is combined with an extended version
of the RSL2Java tool front end and a revised version of the RSL AST to RSL
unparser provided by the RSL2Java tool, Figure 9.2. The result is a Java
program, which can do the desired transformation from applicative RSL
specifications into imperative RSL specifications, see Figure 9.3 on the next
page.
RSL A
transformer specification
RSL A AST RSL I AST
RSL 1
RSL 1
Java
RSL2Java
tool
RSL AST transformer
RSL A AST RSL I AST
Java
Java
Figure 9.1: Translating the specification of the transformer
extended front end RSL AST transformer new back end
RSL AST RSL AST RSL AST RSL AST
A A I I
Java Java Java
Figure 9.2: Combining the 3 parts
98
RSL I