|Re: Larger Epsilon examples [message #1237484 is a reply to message #1237414]
||Wed, 29 January 2014 20:54
| Maarten Bezemer
Registered: February 2012
Filip Krikava wrote on Wed, 29 January 2014 18:04|
I just got the sources and looking at the project. I have not studied your ETL transformation very carefully, but they all contain only one rule.
True, the single rule basically contains plain EOL (EGL?) to convert the source model into the target model.
I do not have the details, as I did not made the transformations, but I thought that
- XXSim transformation to CSPm does not match one-to-one, so the EOL was required to convert one element into a bunch.
- SCXML transformation to CSPm does match, but the student who wrote the transformation did either not understand the rules or did not have enough time before his graduation (or both)
I was planning to take a look at the ETL in the project until my commit permissions were solved. But that jsut happened, so I first have other priorities to implement.
But maybe I still have some time to take a look at them.
Do you have some existing models (ideally of different sizes) that I could test the model transformations / consistency checking with? Something that I could simply test for example directly through Epsilon UI.
It is easy to obtain SCXML models: you can just draw some state charts using scxmlgui.
XXSim models are a bit more difficult as you need the (commercial) tool 20-sim to convert the 20-sim models into intermediate models which are used by our transformation.
The model validation rules (written in EVL) can be applied on CPS models, which you can draw using TERRA itself. WHen you have a CSP model open in an editor it is automatically checked using live validation. To manually check them, using batch validation, you can Click "Diagram -> Validate" or press F5.
We have been working on alternative approach to model manipulation and now we would like to make some end-to-end comparison with state-of-the-art approaches like Epsilon. The TERRA project seems to be very good candidate for a comparison with Epsilon. However, it is a big project so being able to quickly play only with the Epsilon stuff would help a lot.
If you just want to test TERRA you can install it in Eclipse (without the need to download the sources, compile them ,etc.), just follow the installation instructions on out website .
This version is quite old(er), compared to the source code, as we are in the middle on the transition to use some other techniques, but for testing purposes it does not really matter, I suppose.
But, as you already found out: Our ETL implementation is not as it is supposed to be (using rules to transform on model type into another). So I you want to compare ETL against you own method, TERRA is not the best candidate until its ETL implementation is sanitized.
Powered by FUDForum
. Page generated in 0.09180 seconds