created for TCC 2017
Switch branches/tags
Nothing to show
Clone or download
Latest commit 8748d42 May 30, 2017
Permalink
Failed to load latest commit information.
EvaluationFramework Add files via upload May 30, 2017
ExperimentalData biggest model May 30, 2017
ProbJFLAP/src Add files via upload Apr 28, 2017
Tra2Emf transformation code to EMF May 19, 2017
.gitignore Initial commit Apr 25, 2017
README.md Update README.md May 2, 2017

README.md

State Elimination as Model Transformation Problem

created for TCC 2017

Implementation for the state elimination algorithm descriped in the paper can be downloaded from JFLAP website: http://www.jflap.org/

the compact and simplified implementation can be found here: https://www.informatik.hu-berlin.de/de/forschung/gebiete/se/research/ongoingprojects/ensure/ttc

We extended the implementation for probabilistic version of state elimination in the folder 3) ProbJFLAP/

Required resources are included in other two projects:

1)ExperimentalData is an EMF project and includes

  • metamodel of Transition graphs
  • EMF instance models under ..testdata/emf for each specific tasks

2)EvaluationFramework is a Java project and includes

  • Evaluation framework for the possible solutions
  • Tests for the Regex correctness with positive and negative data under ../testdata