You are here: ProjetSEG Web>GoalProcessConsistency (13 Mar 2021)

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.

-- Daniel Amyot - 29 Jul 2016

Topic attachments
I Attachment Action Size Date Who Comment
xmlxml AlignmentRules.xml manage 9.6 K 13 Mar 2021 - 14:32 Daniel Amyot Goal-process alignment/consistency rules, importable in jUCMNav.
Topic revision: r2 - 13 Mar 2021 - 14:32:04 - 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