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 PostScript (EPS)
    • Maker Interchange Format (MIF), for Adobe FrameMaker
  • Flexible report generation in PostScript:
    • Options for various sections to include
    • Ready for PDF generation: indexes, hyperlinks for stubs and plugin names
  • Export/import maps to/from files

-- DanielAmyot - 06 Sep 2005
Topic revision: r3 - 21 Feb 2006, DanielAmyot
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