Home » Modeling » Epsilon » Larger Epsilon examples
| | | |
Re: Larger Epsilon examples [message #1237293 is a reply to message #1236620] |
Wed, 29 January 2014 10:14 |
Maarten Bezemer Messages: 117 Registered: February 2012 |
Senior Member |
|
|
<warning: shameless self-advertisement>
In our (Robotics and Mechatronics chair of the University of Twente) modeling tool, called TERRA [1], we have used
- EGL for code generation to C++ and machine-readable CSP
- ETL to convert (intermediate) models to our own (TERRA) models
- EGL to transform models from one type to another (should be converted to ETL as well, I know...)
- EVL for model validation
- plain EOL for providing operations (as a sort template providing shared code/support of the things described above)
All these Epsilon related code is called directly from the code (similar to the Java/standalone examples) and not from the Eclipse editor.
Although the project consists of lots of plugins, so the Epsilon related stuff is (mostly) in its own plugins/projects, the project also contains lots of other things (clutter with respect to your question I suppose), so I do not know whether it is useful for you.
</warning: shameless self-advertisement>
[1]: https://trac.ram.ewi.utwente.nl/TERRA/
[Updated on: Sat, 17 October 2015 19:24] Report message to a moderator
|
|
| |
Re: Larger Epsilon examples [message #1237484 is a reply to message #1237414] |
Wed, 29 January 2014 20:54 |
Maarten Bezemer Messages: 117 Registered: February 2012 |
Senior Member |
|
|
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.
Quote:
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.
Quote:
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 [1].
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.
[1]: http://www.ce.utwente.nl/ECSSoftware/terra.php
|
|
| | | |
Goto Forum:
Current Time: Wed Sep 25 17:12:10 GMT 2024
Powered by FUDForum. Page generated in 0.06369 seconds
|