i need to transform BPMN to UPPAAL (bpmn.xmi to uppaal.xml file) and i use ATL for this.
the problem is,
i want to get this in my generated uppaal.xml file (because UPPAAL does accept this format to open with my transformed model):
<location id="id2" x="0" y="1">
<name x="0" y="1">task 2</name>
Instead I got:
<location id="id2" x="0" y="1">>
<name x="0" y="1" value="task 2"/>
<label kind="assignment" value="t=0"/>
*I note that i work on a simplified uppaal.ecore that i created.
*i tried to work on EMF models generated from XSD for uppaal, where i had the generated UPPAAL EMF plugin installed in my Eclipse, unfortunately, i always get the wrong format.
* well i noticed that in the first line of an uppaal xml file we find this line:
<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'>
where "http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd" is a dtd file for uppaal that its xml file must be conform to.
So the question is: how can i obtain my generated xml file conform to this DTD, in order to,maybe, i can obtain the uppaal.xml format that i need.
Thank you for your help.