diff options
19 files changed, 234 insertions, 8 deletions
diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx Binary files differindex b7b0eeebce4..5c95bfb0bea 100644 --- a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationDevelopperDoc.docx diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationUserDoc.docx b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationUserDoc.docx Binary files differnew file mode 100644 index 00000000000..0fe005d2ae4 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/docs/ConstraintGenerationUserDoc.docx diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/AnnotationEdition.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/AnnotationEdition.png Binary files differnew file mode 100644 index 00000000000..e722d70aa1f --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/AnnotationEdition.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ConstraintCreationUseCase.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ConstraintCreationUseCase.png Binary files differnew file mode 100644 index 00000000000..70c05c589e3 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ConstraintCreationUseCase.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ContraintDefinition.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ContraintDefinition.png Binary files differnew file mode 100644 index 00000000000..0227ccdad99 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/ContraintDefinition.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramConstraintCreation.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramConstraintCreation.png Binary files differnew file mode 100644 index 00000000000..9d34c0c9726 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramConstraintCreation.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramContextLink.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramContextLink.png Binary files differnew file mode 100644 index 00000000000..939d8f98e43 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/DiagramContextLink.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/MEConstraintCreation.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/MEConstraintCreation.png Binary files differnew file mode 100644 index 00000000000..9d3db996a19 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/MEConstraintCreation.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/PluginValidationGeneration.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/PluginValidationGeneration.png Binary files differnew file mode 100644 index 00000000000..86f002c75f6 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/PluginValidationGeneration.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/SpecificationCreation.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/SpecificationCreation.png Binary files differnew file mode 100644 index 00000000000..99111be2833 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/SpecificationCreation.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/StereotypeApplication.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/StereotypeApplication.png Binary files differnew file mode 100644 index 00000000000..9b8b0157d1d --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/StereotypeApplication.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/UseCaseGeneration.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/UseCaseGeneration.png Binary files differnew file mode 100644 index 00000000000..a42a3de81b2 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/UseCaseGeneration.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/constraintEdition.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/constraintEdition.png Binary files differnew file mode 100644 index 00000000000..2576a5b26aa --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/constraintEdition.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/fillOpaqueExpression.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/fillOpaqueExpression.png Binary files differnew file mode 100644 index 00000000000..bc7e36995b2 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/fillOpaqueExpression.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/pluginwizard.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/pluginwizard.png Binary files differnew file mode 100644 index 00000000000..056f345b12a --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/pluginwizard.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/propertyviewContextlink.png b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/propertyviewContextlink.png Binary files differnew file mode 100644 index 00000000000..9e66b5bd1c7 --- /dev/null +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/images/propertyviewContextlink.png diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di index 399989bc591..022d275f3d7 100644 --- a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.di @@ -7,6 +7,9 @@ <availablePage>
<emfPageIdentifier href="model.notation#_BkAzYKNTEeKYtpMIQ0VJGQ"/>
</availablePage>
+ <availablePage>
+ <emfPageIdentifier href="model.notation#_oi6DINJ1EeKWVoUNffjMVg"/>
+ </availablePage>
</pageList>
<sashModel currentSelection="//@sashModel/@windows.0/@children.0">
<windows>
@@ -17,6 +20,9 @@ <children>
<emfPageIdentifier href="model.notation#_BkAzYKNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children>
+ <emfPageIdentifier href="model.notation#_oi6DINJ1EeKWVoUNffjMVg"/>
+ </children>
</children>
</windows>
</sashModel>
diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation index 66b86e1f872..e79311a61cb 100644 --- a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.notation @@ -1,5 +1,5 @@ <?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">
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" 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:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" 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">
<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">
@@ -37,6 +37,18 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_45ZCJqNREeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_45ZCJ6NREeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VbCaYNJ1EeKWVoUNffjMVg" type="AppliedStereotypeCompartement">
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VbCaYdJ1EeKWVoUNffjMVg" showTitle="true"/>
+ <element xmi:type="Requirements:Requirement" href="model.uml#_z2GHUKNREeKYtpMIQ0VJGQ"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VbCaYtJ1EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VcDHANJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VcFjQNJ1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VcFjQdJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VcDHAdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VcDHAtJ1EeKWVoUNffjMVg"/>
+ </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>
@@ -76,13 +88,25 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_5L8f1KNTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_5L8f1aNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VcVa4NJ1EeKWVoUNffjMVg" type="AppliedStereotypeCompartement">
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VcVa4dJ1EeKWVoUNffjMVg" showTitle="true"/>
+ <element xmi:type="Requirements:Requirement" href="model.uml#_2eBg8KNTEeKYtpMIQ0VJGQ"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VcVa4tJ1EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VcZFQNJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VcZsUNJ1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VcZsUdJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VcZFQdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VcZFQtJ1EeKWVoUNffjMVg"/>
+ </children>
<element xmi:type="uml:Class" href="model.uml#_2d4XAKNTEeKYtpMIQ0VJGQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5LyuwaNTEeKYtpMIQ0VJGQ" x="70" y="190" width="486"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5LyuwaNTEeKYtpMIQ0VJGQ" x="70" y="140" width="491" height="131"/>
</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">
+ <notation:Diagram xmi:id="_BkAzYKNTEeKYtpMIQ0VJGQ" type="UseCase" name="Overview Use Cases" 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"/>
@@ -111,8 +135,15 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_D1EQC6NTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_D1EQDKNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VmKFQNJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VmKsUtJ1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VmKsU9J1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VmKsUNJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VmKsUdJ1EeKWVoUNffjMVg"/>
+ </children>
<element xmi:type="uml:UseCase" href="model.uml#_D0UpIKNTEeKYtpMIQ0VJGQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D1EQAaNTEeKYtpMIQ0VJGQ" x="77" y="17"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D1EQAaNTEeKYtpMIQ0VJGQ" x="55" y="18"/>
</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">
@@ -134,6 +165,13 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_RC3HC6NTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_RC3HDKNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VmMhgNJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VmMhg9J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VmNIkNJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VmMhgdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VmMhgtJ1EeKWVoUNffjMVg"/>
+ </children>
<element xmi:type="uml:UseCase" href="model.uml#_RCkMEKNTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_RC3HAaNTEeKYtpMIQ0VJGQ" x="35" y="122"/>
</children>
@@ -153,6 +191,13 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_U9Zp-aNTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_U9Zp-qNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VmW5kNJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VmW5k9J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VmW5lNJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VmW5kdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VmW5ktJ1EeKWVoUNffjMVg"/>
+ </children>
<element xmi:type="uml:UseCase" href="model.uml#_U89lEKNTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_U9QgAaNTEeKYtpMIQ0VJGQ" x="533" y="131"/>
</children>
@@ -172,13 +217,27 @@ <styles xmi:type="notation:FilteringStyle" xmi:id="_nSz7C6NTEeKYtpMIQ0VJGQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_nSz7DKNTEeKYtpMIQ0VJGQ"/>
</children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VmZ84NJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VmZ849J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VmZ85NJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VmZ84dJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VmZ84tJ1EeKWVoUNffjMVg"/>
+ </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>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_VmHpANJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VmHpA9J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VmHpBNJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_VmHpAdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VmHpAtJ1EeKWVoUNffjMVg"/>
+ </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"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CVG5IaNTEeKYtpMIQ0VJGQ" x="390" y="95" width="836" height="426"/>
</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">
@@ -255,4 +314,116 @@ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_uBqYp6NTEeKYtpMIQ0VJGQ" id="(0.10057471264367816,0.4666666666666667)"/>
</edges>
</notation:Diagram>
+ <notation:Diagram xmi:id="_oi6DINJ1EeKWVoUNffjMVg" type="UseCase" name="UseCaseDiagram" measurementUnit="Pixel">
+ <children xmi:type="notation:Shape" xmi:id="_zdtj0NJ1EeKWVoUNffjMVg" type="2013">
+ <children xmi:type="notation:DecorationNode" xmi:id="_zdtj0tJ1EeKWVoUNffjMVg" type="5016"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_zdtj09J1EeKWVoUNffjMVg" type="7009">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_zdtj1NJ1EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_zdtj1dJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_zdtj1tJ1EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_zd3U0NJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_zd3U09J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_zd3U1NJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_zd3U0dJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_zd3U0tJ1EeKWVoUNffjMVg"/>
+ </children>
+ <element xmi:type="uml:UseCase" href="model.uml#_zdHt8NJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_zdtj0dJ1EeKWVoUNffjMVg" x="110" y="155"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_6RMCwNJ1EeKWVoUNffjMVg" type="2013">
+ <children xmi:type="notation:DecorationNode" xmi:id="_6RMCwtJ1EeKWVoUNffjMVg" type="5016"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_6RMCw9J1EeKWVoUNffjMVg" type="7009">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_6RMCxNJ1EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_6RMCxdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_6RMCxtJ1EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_6RVMsNJ1EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_6RVMs9J1EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_6RVMtNJ1EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_6RVMsdJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_6RVMstJ1EeKWVoUNffjMVg"/>
+ </children>
+ <element xmi:type="uml:UseCase" href="model.uml#_6RCRwNJ1EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_6RMCwdJ1EeKWVoUNffjMVg" x="475" y="170"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_CRRewNJ2EeKWVoUNffjMVg" type="2013">
+ <children xmi:type="notation:DecorationNode" xmi:id="_CRRewtJ2EeKWVoUNffjMVg" type="5016"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_CRRew9J2EeKWVoUNffjMVg" type="7009">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_CRRexNJ2EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_CRRexdJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CRRextJ2EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_CRbPwNJ2EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_CRbPw9J2EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_CRbPxNJ2EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_CRbPwdJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CRbPwtJ2EeKWVoUNffjMVg"/>
+ </children>
+ <element xmi:type="uml:UseCase" href="model.uml#_CQ-j0NJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CRRewdJ2EeKWVoUNffjMVg" x="380" y="265" width="581"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_UqG3QNJ2EeKWVoUNffjMVg" type="2013">
+ <children xmi:type="notation:DecorationNode" xmi:id="_UqG3QtJ2EeKWVoUNffjMVg" type="5016"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_UqG3Q9J2EeKWVoUNffjMVg" type="7009">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_UqG3RNJ2EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_UqG3RdJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_UqG3RtJ2EeKWVoUNffjMVg"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_UqQBMNJ2EeKWVoUNffjMVg" visible="false" type="compartment_shape_display">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_UqQBM9J2EeKWVoUNffjMVg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_UqQBNNJ2EeKWVoUNffjMVg" key="mutable" value="true"/>
+ </eAnnotations>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_UqQBMdJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_UqQBMtJ2EeKWVoUNffjMVg"/>
+ </children>
+ <element xmi:type="uml:UseCase" href="model.uml#_Up9GQNJ2EeKWVoUNffjMVg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_UqG3QdJ2EeKWVoUNffjMVg" x="480" y="90"/>
+ </children>
+ <styles xmi:type="notation:DiagramStyle" xmi:id="_oi6DIdJ1EeKWVoUNffjMVg"/>
+ <element xmi:type="uml:Package" href="model.uml#_aRu8QKNREeKYtpMIQ0VJGQ"/>
+ <edges xmi:type="notation:Edge" xmi:id="_BF2NcNJ2EeKWVoUNffjMVg" type="4008" source="_zdtj0NJ1EeKWVoUNffjMVg" target="_6RMCwNJ1EeKWVoUNffjMVg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_BF2NdNJ2EeKWVoUNffjMVg" type="6006">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BF2NddJ2EeKWVoUNffjMVg" y="20"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_BF2NdtJ2EeKWVoUNffjMVg" type="6030">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BF2Nd9J2EeKWVoUNffjMVg" y="-20"/>
+ </children>
+ <styles xmi:type="notation:RoutingStyle" xmi:id="_BF2NcdJ2EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FontStyle" xmi:id="_BF2NctJ2EeKWVoUNffjMVg"/>
+ <element xmi:type="uml:Include" href="model.uml#_BFjSgNJ2EeKWVoUNffjMVg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_BF2Nc9J2EeKWVoUNffjMVg" points="[46, 25, -106, -58]$[113, 85, -39, 2]"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_BF_-cNJ2EeKWVoUNffjMVg" id="(0.21978021978021978,0.55)"/>
+ </edges>
+ <edges xmi:type="notation:Edge" xmi:id="_M6h8cNJ2EeKWVoUNffjMVg" type="4008" source="_zdtj0NJ1EeKWVoUNffjMVg" target="_CRRewNJ2EeKWVoUNffjMVg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_M6h8dNJ2EeKWVoUNffjMVg" type="6006">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_M6h8ddJ2EeKWVoUNffjMVg" y="20"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_M6h8dtJ2EeKWVoUNffjMVg" type="6030">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_M6h8d9J2EeKWVoUNffjMVg" y="-20"/>
+ </children>
+ <styles xmi:type="notation:RoutingStyle" xmi:id="_M6h8cdJ2EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FontStyle" xmi:id="_M6h8ctJ2EeKWVoUNffjMVg"/>
+ <element xmi:type="uml:Include" href="model.uml#_M6OacNJ2EeKWVoUNffjMVg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_M6h8c9J2EeKWVoUNffjMVg" points="[12, 8, -164, -109]$[135, 121, -41, 4]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_M6rGYNJ2EeKWVoUNffjMVg" id="(0.8922155688622755,0.5333333333333333)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_M6rGYdJ2EeKWVoUNffjMVg" id="(0.1950354609929078,0.65)"/>
+ </edges>
+ <edges xmi:type="notation:Edge" xmi:id="_XXIeMNJ2EeKWVoUNffjMVg" type="4008" source="_zdtj0NJ1EeKWVoUNffjMVg" target="_UqG3QNJ2EeKWVoUNffjMVg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_XXIeNNJ2EeKWVoUNffjMVg" type="6006">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_XXIeNdJ2EeKWVoUNffjMVg" y="20"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_XXIeNtJ2EeKWVoUNffjMVg" type="6030">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_XXIeN9J2EeKWVoUNffjMVg" y="-20"/>
+ </children>
+ <styles xmi:type="notation:RoutingStyle" xmi:id="_XXIeMdJ2EeKWVoUNffjMVg"/>
+ <styles xmi:type="notation:FontStyle" xmi:id="_XXIeMtJ2EeKWVoUNffjMVg"/>
+ <element xmi:type="uml:Include" href="model.uml#_XW-tMNJ2EeKWVoUNffjMVg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_XXIeM9J2EeKWVoUNffjMVg" points="[24, -6, -247, 43]$[191, -57, -80, -8]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_XXRoINJ2EeKWVoUNffjMVg" id="(0.7005988023952096,0.23333333333333334)"/>
+ </edges>
+ </notation:Diagram>
</xmi:XMI>
diff --git a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml index 6d6e8e9c1e1..91ffcdef4f5 100644 --- a/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml +++ b/doc/DevelopperDocuments/extraplugins/DSMLContraintGenerationValidation/model.uml @@ -6,6 +6,9 @@ <packagedElement xmi:type="uml:Class" xmi:id="_2d4XAKNTEeKYtpMIQ0VJGQ" name="ConstraintRequirement"/>
</packagedElement>
<packagedElement xmi:type="uml:Package" xmi:id="_aRu8QKNREeKYtpMIQ0VJGQ" name="UseCase">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_aejqsNKNEeKWVoUNffjMVg">
+ <body>In order to validate constraints from a profile, first creation of constraint with specific annotations will be explained and then generation of validation will be explained. </body>
+ </ownedComment>
<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">
@@ -22,11 +25,20 @@ The constraint can be generated in Java code, or directly from OCL.
 </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">
+ <ownedUseCase xmi:type="uml:UseCase" xmi:id="_U89lEKNTEeKYtpMIQ0VJGQ" name="Generation from OCL constraint" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_yAMJANKNEeKWVoUNffjMVg">
+ <body>From OCL constraints, Papyrus can product a EMF validation plugin that can be installed in the platform and used to validate a model
+</body>
+ </ownedComment>
<extend xmi:type="uml:Extend" xmi:id="_rOr6sKNTEeKYtpMIQ0VJGQ" extendedCase="_RCkMEKNTEeKYtpMIQ0VJGQ" extensionLocation="_rPSXoaNTEeKYtpMIQ0VJGQ"/>
+ <include xmi:type="uml:Include" xmi:id="_3nutMNJ1EeKWVoUNffjMVg" addition="_zdHt8NJ1EeKWVoUNffjMVg"/>
</ownedUseCase>
- <ownedUseCase xmi:type="uml:UseCase" xmi:id="_nSqKAKNTEeKYtpMIQ0VJGQ" name="Constraint in Java" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">
+ <ownedUseCase xmi:type="uml:UseCase" xmi:id="_nSqKAKNTEeKYtpMIQ0VJGQ" name="Generation from Java constraint" subject="_9HsZEKNSEeKYtpMIQ0VJGQ">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_1n-vENKNEeKWVoUNffjMVg">
+ <body>From Java constraints, Papyrus can product a EMF validation plugin that can be installed in the platform and used to validate a model</body>
+ </ownedComment>
<extend xmi:type="uml:Extend" xmi:id="_sItS8KNTEeKYtpMIQ0VJGQ" extendedCase="_RCkMEKNTEeKYtpMIQ0VJGQ" extensionLocation="_rPSXoaNTEeKYtpMIQ0VJGQ"/>
+ <include xmi:type="uml:Include" xmi:id="_4hdKgNJ1EeKWVoUNffjMVg" addition="_zdHt8NJ1EeKWVoUNffjMVg"/>
</ownedUseCase>
</packagedElement>
<packagedElement xmi:type="uml:Actor" xmi:id="_DPIRYKNTEeKYtpMIQ0VJGQ" name="User"/>
@@ -50,6 +62,43 @@ The constraint can be generated in Java code, or directly from OCL.
 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_uBhOtqNTEeKYtpMIQ0VJGQ" value="1"/>
</ownedEnd>
</packagedElement>
+ <packagedElement xmi:type="uml:UseCase" xmi:id="_zdHt8NJ1EeKWVoUNffjMVg" name="Create a constraint">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_fCnEsNKNEeKWVoUNffjMVg">
+ <body>In the context of the construction of a profile, it is possible to add constraints.
+A constraint is a condition or restriction expressed in a language for the purpose of declaring some of the semantics of an element.
+</body>
+ </ownedComment>
+ <include xmi:type="uml:Include" xmi:id="_BFjSgNJ2EeKWVoUNffjMVg" addition="_6RCRwNJ1EeKWVoUNffjMVg"/>
+ <include xmi:type="uml:Include" xmi:id="_M6OacNJ2EeKWVoUNffjMVg" addition="_CQ-j0NJ2EeKWVoUNffjMVg"/>
+ <include xmi:type="uml:Include" xmi:id="_XW-tMNJ2EeKWVoUNffjMVg" addition="_Up9GQNJ2EeKWVoUNffjMVg"/>
+ </packagedElement>
+ <packagedElement xmi:type="uml:UseCase" xmi:id="_6RCRwNJ1EeKWVoUNffjMVg" name="Specify the language">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_ll3WUNKNEeKWVoUNffjMVg">
+ <body>It is possible to precise the language of the constraint into Papyrus. The constraint body may be written into OCL, JAVA, or natural language. In order to make constraints usable by the Papyrus, constraint must be written in OCL or JAVA. </body>
+ </ownedComment>
+ </packagedElement>
+ <packagedElement xmi:type="uml:UseCase" xmi:id="_CQ-j0NJ2EeKWVoUNffjMVg" name="Specify the behavior of the constraint in the context of validation">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_pbWaINKNEeKWVoUNffjMVg">
+ <body>Into Papyrus, the behavior of the constraint during the validation can be precised.
+It is possible to precise:
+• The mode, if the validation of the constraint can be done, in t “batch” or “live” mode.
+• The severity: The severity of the problem if the constraint is violated. This correlates to the severity of tasks in the Tasks view of the Eclipse environment. The default severity (if none specified) is ERROR. The CANCEL severity should be used with caution, as it causes the validation operation to be interrupted, possibly resulting in the loss of valuable diagnostic information from other constraints.
+• The message: the message that will be displayed if the constraints is violated
+• The description: a description of the constraint
+• If it is enable by default: Indicates if this constraint should be enabled by default.
+
+For advanced user you can also precise:
+• The Id : the constraint id
+• The status code: The plug-in unique status code, useful for logging.
+• the target of validation, the element to be validated
+</body>
+ </ownedComment>
+ </packagedElement>
+ <packagedElement xmi:type="uml:UseCase" xmi:id="_Up9GQNJ2EeKWVoUNffjMVg" name="specify the context">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_iV4MQNKNEeKWVoUNffjMVg">
+ <body>Before editing a constraint, it is important to specify the constraint; it can be a stereotype, an operation.</body>
+ </ownedComment>
+ </packagedElement>
</packagedElement>
<packagedElement xmi:type="uml:Package" xmi:id="_dXgaYKNREeKYtpMIQ0VJGQ" name="SolutionProposal"/>
<packagedElement xmi:type="uml:Package" xmi:id="_hNWqkKNREeKYtpMIQ0VJGQ" name="TestUseCase"/>
@@ -62,5 +111,5 @@ The constraint can be generated in Java code, or directly from OCL.
 </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"/>
+ <Requirements:Requirement xmi:id="_2eBg8KNTEeKYtpMIQ0VJGQ" text="User can precise on constraints if they may be validated live or batch mode, the associated error message and if it is activated by default" id="ValidationReq002" base_Class="_2d4XAKNTEeKYtpMIQ0VJGQ"/>
</xmi:XMI>
|
