The reflexion model technique is applied on a very simple java student application. Note that RM Tool use java 1.4
Prerequisites to reproduce the experiment:
In order to generate the reflexion model a mapping between source entities and high-level entities and a high level model need to be created. Both are described in src/reflexionmodeltest.rmt.
The generated model looks as follows:
This reflexion model shows us that there is a divergence between the services and the authorization entity. In Eclipse it is possible to click on a relation to show the source interactions that cause the divergence:
After removing the suspect method invocation and regenerating the model, the divergence is gone.
