Skip to main content

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
im hello world is currently offline im hello worldFriend
Messages: 44
Registered: February 2017
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>
<source ref="id1"/>
<target ref="id2"/>
<label kind="assignment">t=0</label>

Instead I got:
<location id="id2" x="0" y="1">>
<name x="0" y="1" value="task 2"/>
<source ref="id1"/>
<target ref="id2"/>
<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' ''>

where "" 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: Tue Sep 25 01:00:42 GMT 2018

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

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

Back to the top