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.
- 03 Jul 2007