Transformation of Applicative Specifications into Imperative ...

1.6. STRUCTURE OF THE REPORT
Furthermore, a basic knowledge of Java, language processors and the tool
translating a subset of RSL into Java, named the RSL2Java tool, developed
in the project described in [Hja04] would be an advantage.
1.6 Structure of the Report
The report is structured as follows:
Chapter 2 gives a general idea of what it means to transform an applicative
RSL specification into an imperative RSL specification. This is illustrated
by an example. Furthermore, the concepts of the transformer
are presented.
Chapter 3 presents the main syntax and terms used throughout the report.
This chapter can be used to get an overview of the syntax and terms
and for easy reference during the reading of the report.
Chapter 4 presents the subset of RSL the transformer can handle.
Chapter 5 offers a definition of the conditions an applicative specification
within the subset of RSL has to fulfill such that it can be transformed
into a corresponding imperative specification.
Chapter 6 informally defines the transformation rules for the subset of RSL
considered.
Chapter 7 defines a notion of correctness of the transformation from applicative
into imperative specification and gives an outline of a verification
of the transformation rules.
Chapter 8 describes the RSL specifications of the transformer.
Chapter 9 provides a description of the structure and implementation of
the transformer program. Furthermore, an overview of the implemented
functionality is given.
Chapter 10 demonstrates the use of the transformer on some simple examples.
Chapter 11 describes the tests performed on the transformer.
Chapter 12 provides transformation rules of some RSL constructs, which
are not part of the RSL subset considered. Furthermore, ideas for
extensions of the transformer are given.
Chapter 13 contains the conclusion on the project as a whole.
5