Exporting a URN Model from jUCMNav

To export URN files to DOORS, right-click on the URNspec in the Outline view and click Export.

Choose Export Whole URN file -> Next.

Choose File type Telelogic DOORS DXL (*.dxl)

Click Finish. jUCMNav will then generate a DXL script (with bitmap images) corresponding to your URN model.

Running a DXL Script in DOORS (Importing a URN Model in DOORS)

URN models are imported from jUCMNav in a project in DOORS and for each of the URN model, a new folder with the name of the URN model is created.

Run the DXL script generated by jUCMNav in Telelogic DOORS to import the URN model in DOORS.

In DOORS Database click on Tools -> Edit DXL...

The DXL Interaction window will then show up.

Click on Load... -> Select the DXL script generated by jUCMNav.

Click on Run. DOORS will create a folder or a project, whose name is same as the selected DXL script, with ten formal modules and eight link modules.

Updating a DXL script in DOORS (Re-Importing a URN Model in DOORS)

After modifying a URN model in jUCMNav, simply export it to a DXL script as seen in the top instruction.

In DOORS, click on Tools -> Edit DXL...

The DXL Interaction window will then show up. Click on Load and then choose the dxl file which was exported.

Click on Run. A message will be prompted saying "Found MATCHING URN folder" and ask for update.

Click on Update. This will update the exising formal modules.

Now, you can check the formal modules by double-clicking them.

-- SepidehGhanavati - 03 Jul 2007
Topic attachments
I Attachment Action Size Date Who Comment
doorsinteraction.bmpbmp doorsinteraction.bmp manage 903 K 03 Jul 2007 - 21:03 SepidehGhanavati  
doorsinteraction.pngpng doorsinteraction.png manage 7 K 13 Jul 2007 - 13:47 DanielAmyot  
doorsloadupdate.PNGPNG doorsloadupdate.PNG manage 23 K 15 Jul 2007 - 13:22 SepidehGhanavati  
doorsupdate.PNGPNG doorsupdate.PNG manage 28 K 15 Jul 2007 - 13:28 SepidehGhanavati  
export1.bmpbmp export1.bmp manage 1 MB 03 Jul 2007 - 20:02 SepidehGhanavati  
export1-D.bmpbmp export1-D.bmp manage 1 MB 03 Jul 2007 - 20:04 SepidehGhanavati  
export1-D.pngpng export1-D.png manage 74 K 13 Jul 2007 - 13:47 DanielAmyot  
export-dxl.bmpbmp export-dxl.bmp manage 996 K 03 Jul 2007 - 20:14 SepidehGhanavati  
export-dxl.pngpng export-dxl.png manage 16 K 13 Jul 2007 - 13:47 DanielAmyot  
export-wizard.bmpbmp export-wizard.bmp manage 1000 K 03 Jul 2007 - 20:09 SepidehGhanavati  
export-wizard.pngpng export-wizard.png manage 22 K 13 Jul 2007 - 13:47 DanielAmyot  
import-doors.bmpbmp import-doors.bmp manage 1 MB 03 Jul 2007 - 20:55 SepidehGhanavati  
import-doors.pngpng import-doors.png manage 33 K 13 Jul 2007 - 13:48 DanielAmyot  
importedurn.bmpbmp importedurn.bmp manage 1 MB 03 Jul 2007 - 21:35 SepidehGhanavati  
importedurn.pngpng importedurn.png manage 43 K 13 Jul 2007 - 13:48 DanielAmyot  
load2.bmpbmp load2.bmp manage 892 K 03 Jul 2007 - 21:09 SepidehGhanavati  
load2.pngpng load2.png manage 21 K 13 Jul 2007 - 13:48 DanielAmyot  
load.bmpbmp load.bmp manage 892 K 03 Jul 2007 - 21:09 SepidehGhanavati  
Topic revision: r4 - 15 Jul 2007, SepidehGhanavati
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback