Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » ATL » BPMN to UPPAAL: problem with the target generated model
BPMN to UPPAAL: problem with the target generated model [message #1759874] Wed, 19 April 2017 12:10
Sarah K. is currently offline Sarah K.Friend
Messages: 43
Registered: February 2017
Member
Hi everybody.
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>
</location>
<transition>
<source ref="id1"/>
<target ref="id2"/>
<label kind="assignment">t=0</label>
</transition>


Instead I got:
<location id="id2" x="0" y="1">>
<name x="0" y="1" value="task 2"/>
</location>
<transition>
<source ref="id1"/>
<target ref="id2"/>
<label kind="assignment" value="t=0"/>
</transition>


*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.
Previous Topic:customized output file
Next Topic:Transformation from TA to UPPAAL
Goto Forum:
  


Current Time: Sat Jan 20 07:24:56 GMT 2018

Powered by FUDForum. Page generated in 0.02331 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software