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
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
- See JUCMNav Release 410#Video Overviews
Version 3.1, May 2008
- Creating a rule
- Creating a group
- Enabling/disabling one rule
- Enabling/disabling all rules in a group
- Running a check
- Exporting a rule
- Importing a rule
-- Daniel Amyot
- 24 Mar 2008