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

Goal/Process Consistency 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.

-- Daniel Amyot - 29 Jul 2016

Topic revision: r1 - 29 Jul 2016 - 18:50:03 - 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