Transformation of Applicative Specifications into Imperative ...

Chapter 13
Conclusion
In this chapter the results of the project will be summarized and compared
to the requirements, which were set up in the beginning of the project and
have been pursued throughout the project. Furthermore, a discussion of the
actual result will be given and some related work will be discussed. Finally,
some concluding remarks are given.
13.1 Achieved Results
The aims of the project are fulfilled. Transformation rules which applied to
an applicative RSL specification return an imperative RSL specification are
constructed. It has been a goal to make the resulting imperative specification
as readable and recognizable as possible. It is shown through many examples
and test cases that this is achieved.
A notion of correctness of the transformation from applicative into imperative
specification is given together with an outline of a how the correctness
of the transformation rules could be verified. Nothing has indicated that the
transformation rules are wrong and I am convinced that they actually can
be verified.
A tool, the transformer, has been developed to support the transformation
rules such that the actual transformation from applicative into imperative
specification can be done automatically. The transformer has been
thoroughly tested and the tests revealed no errors. All transformations followed
the transformation rules and the resulting imperative specifications
could all be type checked using the RSL type checker.
The transformer is built such that it can be easily extended. The transformation
rules are constructed such that an extension does not require changing
the transformation rules. The only thing to do is to put up transformation
rules that covers the extension and add the transformation rules to the
transformer. This requires extension of the ANTLR grammar file, extension
of the visitor modules and of course extensions of the specification of the
129