GoalProcessConsistency - JUCMNAV/projetseg-update GitHub Wiki
Goal/Process Consistency and Alignment Analysis Project
The URN standard does not provide means of checking consistency between the GRL and UCM views of a model, leading to models that are potentially erroneous. This project aims to develop a set of rules for checking common consistency properties in URN models. These rules are implemented as user-selectable OCL constraints in the jUCMNav tool.
These rules complement existing rules (Predefined Semantics Rules Overview) as part of jUCMNav's general support for Semantic Verification.
Use the metadata Traces=No on model elements for which the rules should not apply.
-- Main.DanielAmyot - 29 Jul 2016
- AlignmentRules.xml: Goal-process alignment/consistency rules, importable in jUCMNav.
