|
Re: Transformation from TA to UPPAAL [message #1505071 is a reply to message #1502683] |
Tue, 09 December 2014 20:30 |
|
Can you post your ATL launch configuration XML? You can obtain the launch config XML as follows:
- Open your launch configuration using "Run -> Run Configurations..."
- Go to the Common tab, and under "Save as" select "Shared file:"
- Fill out a folder name, and click "Apply", then "Close".
A .launch file should now be saved in the folder you specified earlier.
Cheers,
Dennis
|
|
|
|
Re: Transformation from TA to UPPAAL [message #1580596 is a reply to message #1578516] |
Fri, 23 January 2015 15:48 |
|
<mapEntry key="UPPAAL" value="/org.eclipse.atlTransformation22/UPPAAL.ecore"/>
EMF models generated from XSD should be referred to by their namespace URI, not the physical location of the .ecore file. You also need to have the generated UPPAAL EMF plugin installed in your Eclipse. This is because only the generated EMF code knows it should use the XSD to load/save models, instead of the generic XMI that is used normally.
Cheers,
Dennis
|
|
|
Re: Transformation from TA to UPPAAL [message #1759683 is a reply to message #1580596] |
Sat, 15 April 2017 04:09 |
im hello world Messages: 44 Registered: February 2017 |
Member |
|
|
Hi Dennis,
I have the same problem that Walma had.
please can you explain me more : "You need to have the generated UPPAAL EMF plugin installed in your Eclipse.", because i don't find this plugin on the internet.
and, as i understand I have to put also the emf generator model (uppaal.emf) in my project, but can you please explain how to use it to obtain the output file that i want.
Tahnks a lot
[Updated on: Sat, 15 April 2017 04:10] Report message to a moderator
|
|
|
Re: Transformation from TA to UPPAAL [message #1759700 is a reply to message #1759683] |
Sun, 16 April 2017 17:13 |
|
You can likely find the entire Eclipse plug-in where you found the UPPAAL metamodel, because they go together. The UPPAAL metamodel was generated from an XSD file in this case. You're likely using this metamodel, right?
If this is the case, the top-level project page has some more information on installing. I don't see any generated code for the UPPAAL metamodel, however. Please ask the author how to use the UPPAAL metamodel first.
Cheers,
Dennis
|
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.05151 seconds