382733: [validation] Papyrus shall to compute constraints from the profile at the model level

https://bugs.eclipse.org/bugs/show_bug.cgi?id=382733

5 files changed, 347 insertions, 0 deletions

diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/.project b/doc/DevelopperDocuments/contraintGenerationFromProfile/.project
new file mode 100644
index 00000000000..999d08671d0
--- /dev/null
+++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/.project
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<projectDescription>

+	<name>ConstraintGenerationFromProfile</name>

+	<comment></comment>

+	<projects>

+	</projects>

+	<buildSpec>

+	</buildSpec>

+	<natures>

+	</natures>

+</projectDescription>

diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx b/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx
new file mode 100644
index 00000000000..0809e840098
--- /dev/null
+++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx
diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/model.di b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.di
new file mode 100644
index 00000000000..399989bc591
--- /dev/null
+++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.di
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<di:SashWindowsMngr xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi">

+  <pageList>

+    <availablePage>

+      <emfPageIdentifier href="model.notation#_4j9koKNREeKYtpMIQ0VJGQ"/>

+    </availablePage>

+    <availablePage>

+      <emfPageIdentifier href="model.notation#_BkAzYKNTEeKYtpMIQ0VJGQ"/>

+    </availablePage>

+  </pageList>

+  <sashModel currentSelection="//@sashModel/@windows.0/@children.0">

+    <windows>

+      <children xsi:type="di:TabFolder">

+        <children>

+          <emfPageIdentifier href="model.notation#_4j9koKNREeKYtpMIQ0VJGQ"/>

+        </children>

+        <children>

+          <emfPageIdentifier href="model.notation#_BkAzYKNTEeKYtpMIQ0VJGQ"/>

+        </children>

+      </children>

+    </windows>

+  </sashModel>

+</di:SashWindowsMngr>

diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/model.notation b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.notation
new file mode 100644
index 00000000000..66b86e1f872
--- /dev/null
+++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.notation
@@ -0,0 +1,258 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML">

+  <notation:Diagram xmi:id="_4j9koKNREeKYtpMIQ0VJGQ" type="PapyrusUMLClassDiagram" name="ClassDiagram" measurementUnit="Pixel">

+    <children xmi:type="notation:Shape" xmi:id="_45ZCEKNREeKYtpMIQ0VJGQ" type="2008" fontName="Segoe UI" lineColor="0">

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_45ZCEqNREeKYtpMIQ0VJGQ" source="ShadowFigure">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_45ZCE6NREeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_45ZCFKNREeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_45ZCFaNREeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_45ZCFqNREeKYtpMIQ0VJGQ" source="QualifiedName">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_45ZCF6NREeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tdYcUKNSEeKYtpMIQ0VJGQ" source="Stereotype_Annotation">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tz2bkKNSEeKYtpMIQ0VJGQ" key="StereotypeWithQualifiedNameList" value=""/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tz2bkaNSEeKYtpMIQ0VJGQ" key="StereotypeList" value="SysML::Requirements::Requirement"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tz2bkqNSEeKYtpMIQ0VJGQ" key="PropStereoDisplay" value="SysML::Requirements::Requirement.id,SysML::Requirements::Requirement.text"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tz2bk6NSEeKYtpMIQ0VJGQ" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tz2blKNSEeKYtpMIQ0VJGQ" key="StereotypePropertyLocation" value="Compartment"/>

+      </eAnnotations>

+      <children xmi:type="notation:DecorationNode" xmi:id="_45ZCGKNREeKYtpMIQ0VJGQ" type="5029"/>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_45ZCGaNREeKYtpMIQ0VJGQ" visible="false" type="7017">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_45ZCGqNREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_45ZCG6NREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_45ZCHKNREeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_45ZCHaNREeKYtpMIQ0VJGQ"/>

+      </children>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_45ZCHqNREeKYtpMIQ0VJGQ" visible="false" type="7018">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_45ZCH6NREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_45ZCIKNREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_45ZCIaNREeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_45ZCIqNREeKYtpMIQ0VJGQ"/>

+      </children>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_45ZCI6NREeKYtpMIQ0VJGQ" visible="false" type="7019">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_45ZCJKNREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_45ZCJaNREeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_45ZCJqNREeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_45ZCJ6NREeKYtpMIQ0VJGQ"/>

+      </children>

+      <element xmi:type="uml:Class" href="model.uml#_z1zMYKNREeKYtpMIQ0VJGQ"/>

+      <layoutConstraint xmi:type="notation:Bounds" xmi:id="_45ZCEaNREeKYtpMIQ0VJGQ" x="70" y="25" width="491" height="101"/>

+    </children>

+    <children xmi:type="notation:Shape" xmi:id="_5LyuwKNTEeKYtpMIQ0VJGQ" type="2008" fontName="Segoe UI" lineColor="0">

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5L8fwKNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5L8fwaNTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5L8fwqNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5L8fw6NTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5L8fxKNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5L8fxaNTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_O88t8KNUEeKYtpMIQ0VJGQ" source="Stereotype_Annotation">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_PRVCgKNUEeKYtpMIQ0VJGQ" key="StereotypeWithQualifiedNameList" value=""/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_PRVCgaNUEeKYtpMIQ0VJGQ" key="StereotypeList" value="SysML::Requirements::Requirement"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_PRVCgqNUEeKYtpMIQ0VJGQ" key="PropStereoDisplay" value="SysML::Requirements::Requirement.id,SysML::Requirements::Requirement.text"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_PRVCg6NUEeKYtpMIQ0VJGQ" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_PRVChKNUEeKYtpMIQ0VJGQ" key="StereotypePropertyLocation" value="Compartment"/>

+      </eAnnotations>

+      <children xmi:type="notation:DecorationNode" xmi:id="_5L8fxqNTEeKYtpMIQ0VJGQ" type="5029"/>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_5L8fx6NTEeKYtpMIQ0VJGQ" visible="false" type="7017">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_5L8fyKNTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_5L8fyaNTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_5L8fyqNTEeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5L8fy6NTEeKYtpMIQ0VJGQ"/>

+      </children>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_5L8fzKNTEeKYtpMIQ0VJGQ" visible="false" type="7018">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_5L8fzaNTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_5L8fzqNTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_5L8fz6NTEeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5L8f0KNTEeKYtpMIQ0VJGQ"/>

+      </children>

+      <children xmi:type="notation:BasicCompartment" xmi:id="_5L8f0aNTEeKYtpMIQ0VJGQ" visible="false" type="7019">

+        <styles xmi:type="notation:TitleStyle" xmi:id="_5L8f0qNTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:SortingStyle" xmi:id="_5L8f06NTEeKYtpMIQ0VJGQ"/>

+        <styles xmi:type="notation:FilteringStyle" xmi:id="_5L8f1KNTEeKYtpMIQ0VJGQ"/>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5L8f1aNTEeKYtpMIQ0VJGQ"/>

+      </children>

+      <element xmi:type="uml:Class" href="model.uml#_2d4XAKNTEeKYtpMIQ0VJGQ"/>

+      <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5LyuwaNTEeKYtpMIQ0VJGQ" x="70" y="190" width="486"/>

+    </children>

+    <styles xmi:type="notation:DiagramStyle" xmi:id="_4j9koaNREeKYtpMIQ0VJGQ"/>

+    <element xmi:type="uml:Package" href="model.uml#_SKH78KNREeKYtpMIQ0VJGQ"/>

+  </notation:Diagram>

+  <notation:Diagram xmi:id="_BkAzYKNTEeKYtpMIQ0VJGQ" type="UseCase" name="UseCaseDiagram" measurementUnit="Pixel">

+    <children xmi:type="notation:Shape" xmi:id="_CVG5IKNTEeKYtpMIQ0VJGQ" type="2015" fontName="Segoe UI" lineColor="0">

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_CVG5IqNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_CVG5I6NTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_CVG5JKNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_CVG5JaNTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_CVG5JqNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_CVG5J6NTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+      </eAnnotations>

+      <children xmi:type="notation:DecorationNode" xmi:id="_CVG5KKNTEeKYtpMIQ0VJGQ" type="5019"/>

+      <children xmi:type="notation:DecorationNode" xmi:id="_CVG5KaNTEeKYtpMIQ0VJGQ" type="7011">

+        <children xmi:type="notation:Shape" xmi:id="_D1EQAKNTEeKYtpMIQ0VJGQ" type="3009" fontName="Segoe UI" lineColor="0">

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_D1EQAqNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_D1EQA6NTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_D1EQBKNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_D1EQBaNTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_D1EQBqNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_D1EQB6NTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+          </eAnnotations>

+          <children xmi:type="notation:DecorationNode" xmi:id="_D1EQCKNTEeKYtpMIQ0VJGQ" type="5018"/>

+          <children xmi:type="notation:DecorationNode" xmi:id="_D1EQCaNTEeKYtpMIQ0VJGQ" type="7012">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_D1EQCqNTEeKYtpMIQ0VJGQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_D1EQC6NTEeKYtpMIQ0VJGQ"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D1EQDKNTEeKYtpMIQ0VJGQ"/>

+          </children>

+          <element xmi:type="uml:UseCase" href="model.uml#_D0UpIKNTEeKYtpMIQ0VJGQ"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D1EQAaNTEeKYtpMIQ0VJGQ" x="77" y="17"/>

+        </children>

+        <children xmi:type="notation:Shape" xmi:id="_RC3HAKNTEeKYtpMIQ0VJGQ" type="3009" fontName="Segoe UI" lineColor="0">

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_RC3HAqNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_RC3HA6NTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_RC3HBKNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_RC3HBaNTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_RC3HBqNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_RC3HB6NTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+          </eAnnotations>

+          <children xmi:type="notation:DecorationNode" xmi:id="_RC3HCKNTEeKYtpMIQ0VJGQ" type="5018"/>

+          <children xmi:type="notation:DecorationNode" xmi:id="_RC3HCaNTEeKYtpMIQ0VJGQ" type="7012">

+            <children xmi:type="notation:Shape" xmi:id="_rPlSkKNTEeKYtpMIQ0VJGQ" type="3007" fontName="Segoe UI" lineColor="0">

+              <element xmi:type="uml:ExtensionPoint" href="model.uml#_rPSXoaNTEeKYtpMIQ0VJGQ"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_rPlSkaNTEeKYtpMIQ0VJGQ"/>

+            </children>

+            <styles xmi:type="notation:SortingStyle" xmi:id="_RC3HCqNTEeKYtpMIQ0VJGQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_RC3HC6NTEeKYtpMIQ0VJGQ"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RC3HDKNTEeKYtpMIQ0VJGQ"/>

+          </children>

+          <element xmi:type="uml:UseCase" href="model.uml#_RCkMEKNTEeKYtpMIQ0VJGQ"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RC3HAaNTEeKYtpMIQ0VJGQ" x="35" y="122"/>

+        </children>

+        <children xmi:type="notation:Shape" xmi:id="_U9QgAKNTEeKYtpMIQ0VJGQ" type="3009" fontName="Segoe UI" lineColor="0">

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_U9Zp8KNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_U9Zp8aNTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_U9Zp8qNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_U9Zp86NTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_U9Zp9KNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_U9Zp9aNTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+          </eAnnotations>

+          <children xmi:type="notation:DecorationNode" xmi:id="_U9Zp9qNTEeKYtpMIQ0VJGQ" type="5018"/>

+          <children xmi:type="notation:DecorationNode" xmi:id="_U9Zp96NTEeKYtpMIQ0VJGQ" type="7012">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_U9Zp-KNTEeKYtpMIQ0VJGQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_U9Zp-aNTEeKYtpMIQ0VJGQ"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_U9Zp-qNTEeKYtpMIQ0VJGQ"/>

+          </children>

+          <element xmi:type="uml:UseCase" href="model.uml#_U89lEKNTEeKYtpMIQ0VJGQ"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_U9QgAaNTEeKYtpMIQ0VJGQ" x="533" y="131"/>

+        </children>

+        <children xmi:type="notation:Shape" xmi:id="_nSz7AKNTEeKYtpMIQ0VJGQ" type="3009" fontName="Segoe UI" lineColor="0">

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_nSz7AqNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_nSz7A6NTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_nSz7BKNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_nSz7BaNTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+          </eAnnotations>

+          <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_nSz7BqNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+            <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_nSz7B6NTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+          </eAnnotations>

+          <children xmi:type="notation:DecorationNode" xmi:id="_nSz7CKNTEeKYtpMIQ0VJGQ" type="5018"/>

+          <children xmi:type="notation:DecorationNode" xmi:id="_nSz7CaNTEeKYtpMIQ0VJGQ" type="7012">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_nSz7CqNTEeKYtpMIQ0VJGQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_nSz7C6NTEeKYtpMIQ0VJGQ"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nSz7DKNTEeKYtpMIQ0VJGQ"/>

+          </children>

+          <element xmi:type="uml:UseCase" href="model.uml#_nSqKAKNTEeKYtpMIQ0VJGQ"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nSz7AaNTEeKYtpMIQ0VJGQ" x="533" y="244"/>

+        </children>

+        <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CVG5KqNTEeKYtpMIQ0VJGQ"/>

+      </children>

+      <element xmi:type="uml:Component" href="model.uml#_9HsZEKNSEeKYtpMIQ0VJGQ"/>

+      <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CVG5IaNTEeKYtpMIQ0VJGQ" x="390" y="95" width="691" height="356"/>

+    </children>

+    <children xmi:type="notation:Shape" xmi:id="_DPuHQKNTEeKYtpMIQ0VJGQ" type="2011" fontName="Segoe UI" lineColor="0">

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_DPuHQqNTEeKYtpMIQ0VJGQ" source="ShadowFigure">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_DPuHQ6NTEeKYtpMIQ0VJGQ" key="ShadowFigure_Value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_DPuHRKNTEeKYtpMIQ0VJGQ" source="displayNameLabelIcon">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_DPuHRaNTEeKYtpMIQ0VJGQ" key="displayNameLabelIcon_value" value="false"/>

+      </eAnnotations>

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_DPuHRqNTEeKYtpMIQ0VJGQ" source="QualifiedName">

+        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_DPuHR6NTEeKYtpMIQ0VJGQ" key="QualifiedNameDepth" value="1000"/>

+      </eAnnotations>

+      <children xmi:type="notation:DecorationNode" xmi:id="_DPuHSKNTEeKYtpMIQ0VJGQ" type="5014">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_DPuHSaNTEeKYtpMIQ0VJGQ" x="20" y="60"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_DPuHSqNTEeKYtpMIQ0VJGQ" type="6029">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_DPuHS6NTEeKYtpMIQ0VJGQ" x="20" y="100"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_DPuHTKNTEeKYtpMIQ0VJGQ" type="6037">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_DPuHTaNTEeKYtpMIQ0VJGQ" x="20" y="80"/>

+      </children>

+      <element xmi:type="uml:Actor" href="model.uml#_DPIRYKNTEeKYtpMIQ0VJGQ"/>

+      <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DPuHQaNTEeKYtpMIQ0VJGQ" x="180" y="196"/>

+    </children>

+    <styles xmi:type="notation:DiagramStyle" xmi:id="_BkAzYaNTEeKYtpMIQ0VJGQ"/>

+    <element xmi:type="uml:Package" href="model.uml#_aRu8QKNREeKYtpMIQ0VJGQ"/>

+    <edges xmi:type="notation:Edge" xmi:id="_rPImoKNTEeKYtpMIQ0VJGQ" type="4009" source="_U9QgAKNTEeKYtpMIQ0VJGQ" target="_RC3HAKNTEeKYtpMIQ0VJGQ">

+      <children xmi:type="notation:DecorationNode" xmi:id="_rPImpKNTEeKYtpMIQ0VJGQ" type="6007">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_rPImpaNTEeKYtpMIQ0VJGQ" y="20"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_rPImpqNTEeKYtpMIQ0VJGQ" type="6031">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_rPImp6NTEeKYtpMIQ0VJGQ" y="-20"/>

+      </children>

+      <styles xmi:type="notation:RoutingStyle" xmi:id="_rPImoaNTEeKYtpMIQ0VJGQ"/>

+      <styles xmi:type="notation:FontStyle" xmi:id="_rPImoqNTEeKYtpMIQ0VJGQ" fontName="Segoe UI"/>

+      <element xmi:type="uml:Extend" href="model.uml#_rOr6sKNTEeKYtpMIQ0VJGQ"/>

+      <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_rPImo6NTEeKYtpMIQ0VJGQ" points="[-70, -4, 169, 8]$[-210, -13, 29, -1]"/>

+      <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rPSXoKNTEeKYtpMIQ0VJGQ" id="(0.9138888888888889,0.45)"/>

+    </edges>

+    <edges xmi:type="notation:Edge" xmi:id="_sJA08KNTEeKYtpMIQ0VJGQ" type="4009" source="_nSz7AKNTEeKYtpMIQ0VJGQ" target="_RC3HAKNTEeKYtpMIQ0VJGQ">

+      <children xmi:type="notation:DecorationNode" xmi:id="_sJA09KNTEeKYtpMIQ0VJGQ" type="6007">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_sJA09aNTEeKYtpMIQ0VJGQ" y="20"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_sJA09qNTEeKYtpMIQ0VJGQ" type="6031">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_sJA096NTEeKYtpMIQ0VJGQ" y="-20"/>

+      </children>

+      <styles xmi:type="notation:RoutingStyle" xmi:id="_sJA08aNTEeKYtpMIQ0VJGQ"/>

+      <styles xmi:type="notation:FontStyle" xmi:id="_sJA08qNTEeKYtpMIQ0VJGQ" fontName="Segoe UI"/>

+      <element xmi:type="uml:Extend" href="model.uml#_sItS8KNTEeKYtpMIQ0VJGQ"/>

+      <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_sJA086NTEeKYtpMIQ0VJGQ" points="[-48, -23, 220, 102]$[-210, -127, 58, -2]"/>

+      <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sJA0-KNTEeKYtpMIQ0VJGQ" id="(0.8333333333333334,0.45)"/>

+    </edges>

+    <edges xmi:type="notation:Connector" xmi:id="_tVLtIKNTEeKYtpMIQ0VJGQ" type="4011" source="_DPuHQKNTEeKYtpMIQ0VJGQ" target="_RC3HAKNTEeKYtpMIQ0VJGQ" lineColor="0">

+      <children xmi:type="notation:DecorationNode" xmi:id="_tVLtI6NTEeKYtpMIQ0VJGQ" visible="false" type="6008">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_tVLtJKNTEeKYtpMIQ0VJGQ" y="40"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_tVLtJaNTEeKYtpMIQ0VJGQ" type="6033">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_tVLtJqNTEeKYtpMIQ0VJGQ" y="-20"/>

+      </children>

+      <styles xmi:type="notation:FontStyle" xmi:id="_tVLtIaNTEeKYtpMIQ0VJGQ" fontName="Segoe UI"/>

+      <element xmi:type="uml:Association" href="model.uml#_tU4yMKNTEeKYtpMIQ0VJGQ"/>

+      <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_tVLtIqNTEeKYtpMIQ0VJGQ" points="[40, 8, -251, -54]$[219, 60, -72, -2]"/>

+      <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tVLtJ6NTEeKYtpMIQ0VJGQ" id="(0.20277777777777778,0.4666666666666667)"/>

+    </edges>

+    <edges xmi:type="notation:Connector" xmi:id="_uBqYoKNTEeKYtpMIQ0VJGQ" type="4011" source="_DPuHQKNTEeKYtpMIQ0VJGQ" target="_D1EQAKNTEeKYtpMIQ0VJGQ" lineColor="0">

+      <children xmi:type="notation:DecorationNode" xmi:id="_uBqYo6NTEeKYtpMIQ0VJGQ" visible="false" type="6008">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_uBqYpKNTEeKYtpMIQ0VJGQ" y="40"/>

+      </children>

+      <children xmi:type="notation:DecorationNode" xmi:id="_uBqYpaNTEeKYtpMIQ0VJGQ" type="6033">

+        <layoutConstraint xmi:type="notation:Location" xmi:id="_uBqYpqNTEeKYtpMIQ0VJGQ" y="-20"/>

+      </children>

+      <styles xmi:type="notation:FontStyle" xmi:id="_uBqYoaNTEeKYtpMIQ0VJGQ" fontName="Segoe UI"/>

+      <element xmi:type="uml:Association" href="model.uml#_uBhOsKNTEeKYtpMIQ0VJGQ"/>

+      <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_uBqYoqNTEeKYtpMIQ0VJGQ" points="[40, -6, -255, 37]$[260, -44, -35, -1]"/>

+      <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_uBqYp6NTEeKYtpMIQ0VJGQ" id="(0.10057471264367816,0.4666666666666667)"/>

+    </edges>

+  </notation:Diagram>

+</xmi:XMI>

diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml
new file mode 100644
index 00000000000..db124250ebe
--- /dev/null
+++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml
@@ -0,0 +1,55 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<xmi:XMI xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Requirements="http://www.eclipse.org/papyrus/0.7.0/SysML/Requirements" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/papyrus/0.7.0/SysML/Requirements http://www.eclipse.org/papyrus/0.7.0/SysML#//requirements">

+  <uml:Model xmi:id="_60RQ0KNFEeKIdex8oETe9g" name="ConstraintGenerationFromProfile">

+    <packagedElement xmi:type="uml:Package" xmi:id="_SKH78KNREeKYtpMIQ0VJGQ" name="Requirement">

+      <packagedElement xmi:type="uml:Class" xmi:id="_z1zMYKNREeKYtpMIQ0VJGQ" name="ModelValidation"/>

+      <packagedElement xmi:type="uml:Class" xmi:id="_2d4XAKNTEeKYtpMIQ0VJGQ" name="ConstraintRequirement"/>

+    </packagedElement>

+    <packagedElement xmi:type="uml:Package" xmi:id="_aRu8QKNREeKYtpMIQ0VJGQ" name="UseCase">

+      <packagedElement xmi:type="uml:Component" xmi:id="_9HsZEKNSEeKYtpMIQ0VJGQ" name="ValidationModule" useCase="_D0UpIKNTEeKYtpMIQ0VJGQ _RCkMEKNTEeKYtpMIQ0VJGQ _U89lEKNTEeKYtpMIQ0VJGQ _nSqKAKNTEeKYtpMIQ0VJGQ">

+        <ownedUseCase xmi:type="uml:UseCase" xmi:id="_D0UpIKNTEeKYtpMIQ0VJGQ" name="Generate constraints directly into the definition" subject="_9HsZEKNSEeKYtpMIQ0VJGQ"/>

+        <ownedUseCase xmi:type="uml:UseCase" xmi:id="_RCkMEKNTEeKYtpMIQ0VJGQ" name="Generate constraints as EMF validation plugins" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">

+          <extensionPoint xmi:type="uml:ExtensionPoint" xmi:id="_rPSXoaNTEeKYtpMIQ0VJGQ" name="point"/>

+        </ownedUseCase>

+        <ownedUseCase xmi:type="uml:UseCase" xmi:id="_U89lEKNTEeKYtpMIQ0VJGQ" name="Constraint in OCL" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">

+          <extend xmi:type="uml:Extend" xmi:id="_rOr6sKNTEeKYtpMIQ0VJGQ" extendedCase="_RCkMEKNTEeKYtpMIQ0VJGQ" extensionLocation="_rPSXoaNTEeKYtpMIQ0VJGQ"/>

+        </ownedUseCase>

+        <ownedUseCase xmi:type="uml:UseCase" xmi:id="_nSqKAKNTEeKYtpMIQ0VJGQ" name="Constraint in Java" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">

+          <extend xmi:type="uml:Extend" xmi:id="_sItS8KNTEeKYtpMIQ0VJGQ" extendedCase="_RCkMEKNTEeKYtpMIQ0VJGQ" extensionLocation="_rPSXoaNTEeKYtpMIQ0VJGQ"/>

+        </ownedUseCase>

+      </packagedElement>

+      <packagedElement xmi:type="uml:Actor" xmi:id="_DPIRYKNTEeKYtpMIQ0VJGQ" name="User"/>

+      <packagedElement xmi:type="uml:Association" xmi:id="_tU4yMKNTEeKYtpMIQ0VJGQ" name="A_actor_generation constraints as emf validation plugins" memberEnd="_tU4yMaNTEeKYtpMIQ0VJGQ _tU4yNKNTEeKYtpMIQ0VJGQ">

+        <ownedEnd xmi:type="uml:Property" xmi:id="_tU4yMaNTEeKYtpMIQ0VJGQ" name="actor" type="_DPIRYKNTEeKYtpMIQ0VJGQ" association="_tU4yMKNTEeKYtpMIQ0VJGQ">

+          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_tU4yMqNTEeKYtpMIQ0VJGQ" value="1"/>

+          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_tU4yM6NTEeKYtpMIQ0VJGQ" value="1"/>

+        </ownedEnd>

+        <ownedEnd xmi:type="uml:Property" xmi:id="_tU4yNKNTEeKYtpMIQ0VJGQ" name="generation constraints as emf validation plugins" type="_RCkMEKNTEeKYtpMIQ0VJGQ" association="_tU4yMKNTEeKYtpMIQ0VJGQ">

+          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_tU4yNaNTEeKYtpMIQ0VJGQ" value="1"/>

+          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_tU4yNqNTEeKYtpMIQ0VJGQ" value="1"/>

+        </ownedEnd>

+      </packagedElement>

+      <packagedElement xmi:type="uml:Association" xmi:id="_uBhOsKNTEeKYtpMIQ0VJGQ" name="A_actor_generate constraints directly into the definition" memberEnd="_uBhOsaNTEeKYtpMIQ0VJGQ _uBhOtKNTEeKYtpMIQ0VJGQ">

+        <ownedEnd xmi:type="uml:Property" xmi:id="_uBhOsaNTEeKYtpMIQ0VJGQ" name="actor" type="_DPIRYKNTEeKYtpMIQ0VJGQ" association="_uBhOsKNTEeKYtpMIQ0VJGQ">

+          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_uBhOsqNTEeKYtpMIQ0VJGQ" value="1"/>

+          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_uBhOs6NTEeKYtpMIQ0VJGQ" value="1"/>

+        </ownedEnd>

+        <ownedEnd xmi:type="uml:Property" xmi:id="_uBhOtKNTEeKYtpMIQ0VJGQ" name="generate constraints directly into the definition" type="_D0UpIKNTEeKYtpMIQ0VJGQ" association="_uBhOsKNTEeKYtpMIQ0VJGQ">

+          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_uBhOtaNTEeKYtpMIQ0VJGQ" value="1"/>

+          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_uBhOtqNTEeKYtpMIQ0VJGQ" value="1"/>

+        </ownedEnd>

+      </packagedElement>

+    </packagedElement>

+    <packagedElement xmi:type="uml:Package" xmi:id="_dXgaYKNREeKYtpMIQ0VJGQ" name="SolutionProposal"/>

+    <packagedElement xmi:type="uml:Package" xmi:id="_hNWqkKNREeKYtpMIQ0VJGQ" name="TestUseCase"/>

+    <packagedElement xmi:type="uml:Package" xmi:id="_kHLXYKNREeKYtpMIQ0VJGQ" name="TestProposal"/>

+    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_s2R1gKNREeKYtpMIQ0VJGQ">

+      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_s3UXUKNREeKYtpMIQ0VJGQ" source="http://www.eclipse.org/uml2/2.0.0/UML">

+        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//requirements"/>

+      </eAnnotations>

+      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_OOJC4LX8EduFmqQsrNB9lw"/>

+    </profileApplication>

+  </uml:Model>

+  <Requirements:Requirement xmi:id="_z2GHUKNREeKYtpMIQ0VJGQ" text="Papyrus shall validate constraints from profiles on models" id="ValidationReq001" base_Class="_z1zMYKNREeKYtpMIQ0VJGQ"/>

+  <Requirements:Requirement xmi:id="_2eBg8KNTEeKYtpMIQ0VJGQ" text="User can precise on constraint if it can be validate live or batch, the associated error message, if it is activated by default" id="ValidationReq002" base_Class="_2d4XAKNTEeKYtpMIQ0VJGQ"/>

+</xmi:XMI>