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.

-- Sepideh Ghanavati - 03 Jul 2007

Topic attachments
I Attachment Action Size Date Who Comment
bmpbmp doorsinteraction.bmp manage 903.3 K 03 Jul 2007 - 21:03 Sepideh Ghanavati  
pngpng doorsinteraction.png manage 8.0 K 13 Jul 2007 - 13:47 Daniel Amyot  
pngPNG doorsloadupdate.PNG manage 23.6 K 15 Jul 2007 - 13:22 Sepideh Ghanavati  
pngPNG doorsupdate.PNG manage 28.0 K 15 Jul 2007 - 13:28 Sepideh Ghanavati  
bmpbmp export-dxl.bmp manage 996.2 K 03 Jul 2007 - 20:14 Sepideh Ghanavati  
pngpng export-dxl.png manage 16.5 K 13 Jul 2007 - 13:47 Daniel Amyot  
bmpbmp export-wizard.bmp manage 1000.2 K 03 Jul 2007 - 20:09 Sepideh Ghanavati  
pngpng export-wizard.png manage 22.5 K 13 Jul 2007 - 13:47 Daniel Amyot  
bmpbmp export1-D.bmp manage 1449.6 K 03 Jul 2007 - 20:04 Sepideh Ghanavati  
pngpng export1-D.png manage 74.2 K 13 Jul 2007 - 13:47 Daniel Amyot  
bmpbmp export1.bmp manage 1449.6 K 03 Jul 2007 - 20:02 Sepideh Ghanavati  
bmpbmp import-doors.bmp manage 1101.1 K 03 Jul 2007 - 20:55 Sepideh Ghanavati  
pngpng import-doors.png manage 33.8 K 13 Jul 2007 - 13:48 Daniel Amyot  
bmpbmp importedurn.bmp manage 1107.3 K 03 Jul 2007 - 21:35 Sepideh Ghanavati  
pngpng importedurn.png manage 43.1 K 13 Jul 2007 - 13:48 Daniel Amyot  
bmpbmp load.bmp manage 892.3 K 03 Jul 2007 - 21:09 Sepideh Ghanavati  
bmpbmp load2.bmp manage 892.3 K 03 Jul 2007 - 21:09 Sepideh Ghanavati  
pngpng load2.png manage 21.2 K 13 Jul 2007 - 13:48 Daniel Amyot  
Topic revision: r4 - 15 Jul 2007 - 13:50:33 - Sepideh Ghanavati
 
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