UCMNav Scenario File Format in XML

The UCM Navigator tool supports the concept of scenario definitions, which enables model testing, scenario highlight, and generations of individual scenarios (in XML). The latter capture sequences and concurrent paths, but alternatives are resolved and stubs/plug-ins flattened. The resulting files can be further transformed into Message Sequence Charts, UML sequence diagrams, test goals, etc.

Latest Version

• scenarios1.dtd: XML DTD for scenarios generated by UCMNav 2.x, version 1 (August 23, 2002)

Documentation

Several papers describe this format and explain its usage: Vir Lib SDL03 and Vir Lib Notere 04.

Related Topics

This format is different from the XML load/save format used by UCMNav to store UCM models (see UCMNav XML).

-- Daniel Amyot - 20 Feb 2006