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 (PredefinedSemanticsRulesOverview) as part of jUCMNav's general support for SemanticVerification.

Requirements for jUCMNav

ID	Name	Description	Type	Status
1	Req Create and Link to UCM Component from GRL Actor	jUCMNav SHALL create and link to a new UCM Component when user create a new GRL Actor.	Editor	Completed
2	Req Create and Link to GRL Actor from UCM Component	jUCMNav SHALL create and link to a new GRL Actor when user create a new UCM Component.	Editor	Completed
3	Req Create and Link to GRL IE from UCM Map	jUCMNav SHALL create and link to a new GRL Intentional Element when user create a new UCM Map.	Editor	Completed
4	Req Create and Link to UCM Map from GRL IE	jUCMNav SHALL create and link to a new UCM Map when user create a new GRL Intentional Element.	Editor	Completed
5	Req Create and Link to GRL IE from UCM Responsibility	jUCMNav SHALL create and link to a new GRL Intentional Element when user create a new UCM Responsibility.	Editor	Completed
6	Req Create and Link to UCM Responsibility from GRL IE	jUCMNav SHALL create and link to a new UCM Responsibility when user create a new GRL Intentional Element.	Editor	Completed
7	Req Link to Existing Element	jUCMNav SHALL allow the user to link model element to existing element when creating a new model element.	Editor	Cancelled
8	Req Mark Model Don't Trace	jUCMNav SHALL allow the user to mark multiple selected model elements as “Traces=No” in editor.	Editor	Completed
9	Req Mark Model Trace	jUCMNav SHALL allow the user to remove multiple selected model elements' "Traces" Metadata in editor.	Editor	Completed
10	Req Mark Model Don't Trace	jUCMNav SHALL allow the user to mark multiple selected model elements as “Traces=No” in OutlineView.	Editor	Completed
11	Req Mark Model Trace	jUCMNav SHALL allow the user to remove multiple selected model elements' "Traces" Metadata in OutlineView.	Editor	Completed
12	Req Quick Fix Create and Link to UCM Component from GRL Actor	jUCMNav SHALL allow the user to create and link to a new UCM Component for the GRL Actor that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
13	Req Quick Fix Create and Link to GRL Actor from UCM Component	jUCMNav SHALL allow the user to create and link to a new GRL Actor for the UCM Component that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
14	Req Quick Fix Create and Link to GRL IE from UCM Map	jUCMNav SHALL allow the user to create and link to a new GRL Intentional Element for the UCM Map that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
15	Req Quick Fix Create and Link to UCM Map from GRL IE	jUCMNav SHALL allow the user to create and link to a new UCM Map for the GRL Intentional Element that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
16	Req Quick Fix Create and Link to GRL IE from UCM Responsibility	jUCMNav SHALL allow the user to create and link to a new GRL Intentional Element for the UCM Responsibility that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
17	Req Quick Fix Create and Link to UCM Responsibility from GRL IE	jUCMNav SHALL allow the user to create and link to a new UCM Responsibility for the GRL Intentional Element that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
18	Req Quick Fix Link to Existing Element	jUCMNav SHALL allow the user to link a model element that violated Static Semantics Rules to existing model element from Problem View.	Quick Fix	Cancelled
19	Req Quick Fix As Don't Trace	jUCMNav SHALL allow the user to mark multiple model elements that violated Static Semantics Rules as “Traces=No” from Problem View.	Quick Fix	Completed
20	Req Quick Fix Delete Element	jUCMNav SHALL allow the user to delete multiple model elements that violated Static Semantics Rules from Problem View.	Quick Fix	Completed
21	Req Recursive Decomposition	jUCMNav SHALL consider a GRL Intentional Element covered when one of its Decomposition parent is covered.	Rule	Completed
22	Req Recursive Decomposition for Task	jUCMNav SHALL consider a GRL Task covered when one of its Decomposition parent is covered.	Rule	Completed
23	Req Recursive Stub	jUCMNav SHALL consider a UCM element covered when one of its parent Stub is covered.	Rule	Developing

-- DanielAmyot - 29 Jul 2016