We implemented a prototype tool in Java.
The implementation’s architecture is presented in the following figure: