You are here: ProjetSEG Web>SemanticVerification (29 Jul 2016)

Static Semantics Checking and Metrics Computation Tool for jUCMNav

jUCMNav already reports some issues found during the traversal of UCM scenarios, the propagation of strategies in GRL graphs, and the export of URN models to other representations such as CSM. However, although the tool prevents users from creating syntactically invalid models, there are still many rules related to the static semantics of the URN language that are not enforced, especially when considering the various modeling styles required by export filters to other notations (Message Sequence Charts, Core Scenario Model, etc.) or by advanced concepts (Key Performance Indicators, Aspect-oriented URN, etc.).

This tool enhances jUCMNav by enabling users to create/delete, group, load/save, enable/disable, and verify customized rules. Rules are managed via the jUCMNav Preferences, rules are checked against the current URN model via the jUCMNav --> Verify Static Semantics menu item, and violations are reported in Eclipse's Problems view. Additionally, this tool was extended to support the definition and computation of metrics on URN models, using a similar mechanism. This is triggered via the jUCMNav --> Calculate Metrics menu item

User rules and metrics are described using OMG's Object Constraint Language (OCL). The tool depends on the presence of the MDT OCL plug-in, which provides OCL parsing and verification facilities.

This tool provides a flexible way for users to manage their own rules and tailor them to particular applications as the URN language and its applications evolve. Rules applicable in one context (e.g., export to CSM such that another specific tool can process the CSM files generated) may not be applicable in other contexts, whereas other rules may span multiple contexts. We expect the library of rules for jUCMNav to grow and become quite valuable over the next few years.



  • Dev Doc Rules And Metrics: What do I need to do to add new default rules and/or metrics to the tool?
  • The main functionalities are described in the Online Help
  • Byrne Yan: Static Semantics Checking Tool for jUCMNav. Intensive Graduate Project Report, SITE, University of Ottawa, March 2008.
  • The source code of the seg.jUCMNav.staticSemantic package is also documented using JavaDoc


The following sequence of Flash demonstrations illustrate how to perform static verification and metrics calculation on URN models based on user-defined rules/metrics.

Version 4.1, November 2009

  1. See JUCMNav Release 410#Video Overviews

Version 3.1, May 2008

  1. Creating a rule
  2. Creating a group
  3. Enabling/disabling one rule
  4. Enabling/disabling all rules in a group
  5. Running a check
  6. Exporting a rule
  7. Importing a rule



-- Daniel Amyot - 24 Mar 2008

Topic attachments
I Attachment Action Size Date Who Comment
elseocl library.ocl manage 28.7 K 28 Mar 2012 - 14:19 Daniel Amyot OCL Library, for jUCMNav release 5.0.0 +
Topic revision: r9 - 29 Jul 2016 - 19:02:42 - Daniel Amyot
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