The definition of the transformation rules are quite clear. However, the implementation of the transformation for this approach is not accessible. The SHARE demo and SCM link were missed and therefore it was not convenient to provide comprehensive review and evaluation (suitability,....).
In addition, evaluation result is not provided for the solution and therefore I could not verify the correctness of the regular expressions that are generated as final results. However, it is assumed that the correctness is provided for all the models.
Finally I would suggest discussion section for the implementation of transformation in the paper. These enable to have better insight about the solution.
The definition of the transformation rules are quite clear. However, the implementation of the transformation for this approach is not accessible. The SHARE demo and SCM link were missed and therefore it was not convenient to provide comprehensive review and evaluation (suitability,....).
In addition, evaluation result is not provided for the solution and therefore I could not verify the correctness of the regular expressions that are generated as final results. However, it is assumed that the correctness is provided for all the models.
Finally I would suggest discussion section for the implementation of transformation in the paper. These enable to have better insight about the solution.
The evaluation sheet provides more details for the evaluation of this solution. SDMLib-ttc-evaluation-sheet-state-elimination.xlsx