Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation')
-rw-r--r--doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/.project11
-rw-r--r--doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docxbin0 -> 104617 bytes
-rw-r--r--doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di23
-rw-r--r--doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation258
-rw-r--r--doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml66
5 files changed, 358 insertions, 0 deletions
diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/.project b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/.project
new file mode 100644
index 00000000000..999d08671d0
--- /dev/null
+++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/.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/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx
new file mode 100644
index 00000000000..b7b0eeebce4
--- /dev/null
+++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx
Binary files differ
diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di
new file mode 100644
index 00000000000..399989bc591
--- /dev/null
+++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/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/extraplugins/DSMLContraintGenerationValidation/model.notation b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation
new file mode 100644
index 00000000000..66b86e1f872
--- /dev/null
+++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/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/extraplugins/DSMLContraintGenerationValidation/model.uml b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml
new file mode 100644
index 00000000000..6d6e8e9c1e1
--- /dev/null
+++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml
@@ -0,0 +1,66 @@
+<?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">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_r4fLAKNmEeK7_saMR_mmoA" annotatedElement="_D0UpIKNTEeKYtpMIQ0VJGQ">
+ <body>Constraint written in OCL in the profile can be generated into the definition of the profile and taken in charge during the validation of the model.&#xD;
+The problem with this use case if to know if it is possible to respect the requirement ValidationReq002.&#xD;
+</body>
+ </ownedComment>
+ </ownedUseCase>
+ <ownedUseCase xmi:type="uml:UseCase" xmi:id="_RCkMEKNTEeKYtpMIQ0VJGQ" name="Generate constraints as EMF validation plugins" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_-oMLYKNmEeK7_saMR_mmoA" annotatedElement="_RCkMEKNTEeKYtpMIQ0VJGQ">
+ <body>The user can generate plugins that wrap constraint and can be used in the EMF plugin validation.&#xD;
+The constraint can be generated in Java code, or directly from OCL.&#xD;
+</body>
+ </ownedComment>
+ <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>

Back to the top