UCMNav Features

Editing UCM Models

• Use Case Maps models are always syntactically correct
• Path transformations and path connections based on an internal hypergraph-based representation
• Nested levels of stubs and plugins (sub-maps), with explicit binding of plugins to stubs
• Multiple selections (elements and/or components): group move, deletion, alignment, and distribution operations
• Binding of path elements to components:
  • Component attributes (type, formal, anchored, fixed, replicated, color, etc.)
  • Components can be nested inside other components (warnings for invalid nestings)
  • Moving a component moves all its sub-components, elements, and path segments
  • Resizing a component can automatically reshape the paths bound to it
• Supports annotations for agent systems and performance modelling
• Reads .ucm files from UCMNav version 1.10 and above
• Definition of UCM sets for restricted navigation, printing, and exporting
• XForms-based GUI with scalable maps, large drawing area, zoom, and scroll bars
• Online help file
• Keyboard shortcuts
• Autosave function with Revert
• Binaries available for multiple platforms: Solaris, Linux/Intel, Windows, and Mac OS X. Can be compiled on other platforms as well (HP/UX, BSD, Linux/Sparc, Linux/Opteron...)
• Open source!

Analysing UCM Models

• Support for scenario definitions:
  • Simple path data model (global Boolean variables)
  • Formal pre/post conditions, guards, and selection policies
  • Definitions may use multiple start points
  • Scenarios can be grouped and duplicated
• Non-determinism and deadlock analysis based on scenarios
• Analysed scenarios can be highlighted on the maps
• Navigation mode can be restricted to a scenario

Transforming and Exporting UCM Models

• Generation of XML files valid according to the UCM Document Type Definition
• Generation of LQN performance models (Layered Queuing Networks)
• Generation of DXL descriptions, for integration with Telelogic DOORS
• Generation of MSC scenarios (Message Sequence Charts) in Z.120 textual format
• Generation of XML scenarios, valid against a simple scenario DTD (can be converted to MSC and UML sequence diagrams)
• Exports graphical maps in
  • Scalable Vector Graphics (SVG), suitable for Web documents
  • Computer Graphics Metafile (CGM), suitable for MS Office documents
  • Encapsulated Post Script (EPS)
  • Maker Interchange Format (MIF), for Adobe FrameMaker
• Flexible report generation in Post Script:
  • Options for various sections to include
  • Ready for PDF generation: indexes, hyperlinks for stubs and plugin names
• Export/import maps to/from files

-- Daniel Amyot - 06 Sep 2005