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.
- scenarios1.dtd: XML DTD for scenarios generated by UCMNav 2.x, version 1 (August 23, 2002)
Several papers describe this format and explain its usage: VirLibSDL03
This format is different from the XML load/save format used by UCMNav to store UCM models (see UCMNavXML
- 20 Feb 2006