diff options
| author | ptessier | 2013-04-15 09:12:40 +0000 |
|---|---|---|
| committer | ptessier | 2013-04-15 09:12:40 +0000 |
| commit | 588c35de2da703526f7a8df3b2e89218eee8ea53 (patch) | |
| tree | a2ed88c376bbcad43d4531a6b87575b90237b6d5 /doc | |
| parent | 82873ffe1919e3a7af023152a6ce2c6157ba902e (diff) | |
| download | org.eclipse.papyrus-588c35de2da703526f7a8df3b2e89218eee8ea53.tar.gz org.eclipse.papyrus-588c35de2da703526f7a8df3b2e89218eee8ea53.tar.xz org.eclipse.papyrus-588c35de2da703526f7a8df3b2e89218eee8ea53.zip | |
382733: [validation] Papyrus shall to compute constraints from the profile at the model level
https://bugs.eclipse.org/bugs/show_bug.cgi?id=382733
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx | bin | 104139 -> 104617 bytes | |||
| -rw-r--r-- | doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml | 13 |
2 files changed, 12 insertions, 1 deletions
diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx b/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx Binary files differindex 0809e840098..b7b0eeebce4 100644 --- a/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx +++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/docs/ConstraintGenerationDevelopperDoc.docx diff --git a/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml index db124250ebe..6d6e8e9c1e1 100644 --- a/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml +++ b/doc/DevelopperDocuments/contraintGenerationFromProfile/model.uml @@ -7,8 +7,19 @@ </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="_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.
+The problem with this use case if to know if it is possible to respect the requirement ValidationReq002.
+</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.
+The constraint can be generated in Java code, or directly from OCL.
+</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">
|