[duds0910] [easycookingduds] r111 committed - modifica alle constraint.xml

  • From: easycookingduds@xxxxxxxxxxxxxx
  • To: duds0910@xxxxxxxxxxxxx
  • Date: Mon, 06 Dec 2010 11:23:29 +0000

Revision: 111
Author: cicciogae@xxxxxxxxx
Date: Mon Dec  6 03:22:23 2010
Log: modifica alle constraint.xml
http://code.google.com/p/easycookingduds/source/detail?r=111

Modified:
 /vpworkspace/XML SD/TO BE MERGED/constraint.xml

=======================================
--- /vpworkspace/XML SD/TO BE MERGED/constraint.xml     Sun Dec  5 15:51:17 2010
+++ /vpworkspace/XML SD/TO BE MERGED/constraint.xml     Mon Dec  6 03:22:23 2010
@@ -42,7 +42,7 @@
                                                <ModelRefsProperty displayName="Stereotypes" 
name="stereotypes"/>
                                                <ModelProperty displayName="Tagged Values" 
name="taggedValues"/>
                                                <ModelsProperty displayName="Comments" 
name="comments"/>
- <HTMLProperty displayName="Documentation" name="documentation" plainTextValue="Gli end di una associazione devono essere diversi:&#10;        context A : Association inv:&#10;        self.firstEnd.name &lt;&gt; self.secondEnd.name&#10;&#10;Una classe non può avere associazioni con nomi uguali:&#10;        context ICD : InputClassDiagram inv:&#10;        ICD.associations-&gt;forall(A, A' | A &lt;&gt; A' =&gt;(A.name = A'.name and&#10;                                                                                (A.firstEnd.name &lt;&gt; (A'.firstEnd.name or A'.secondEnd.name)) and&#10;                                                                                (A.secondEnd.name &lt;&gt; (A'.secondEnd.name or A'.firstEnd.name))) or&#10;                                                                                (A.name &lt;&gt; A'.name))&#10;&#10;La SOPart deve avere uno SO speciale 'final':&#10;        context SOP : StateObserverPart inv:&#10;        self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final)&#10;&#10;L'EventPart deve avere un evento speciale 'created':&#10;        context EP : EventsPart inv:&#10;        self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created)" value="&lt;head&gt;&#13;&#10; &lt;style type=&quot;text/css&quot;&gt;&#10; &lt;!--&#10; body { color: #000000; font-family: Dialog; font-size: 11px }&#10; --&gt;&#10; &lt;/style&gt;&#13;&#10; &#13;&#10; &lt;/head&gt;&#13;&#10; &lt;body&gt;&#13;&#10; &lt;p&gt;&#13;&#10; Gli end di una associazione devono essere diversi:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context A : Association inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.firstEnd.name &amp;lt;&amp;gt; self.secondEnd.name&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; Una classe non pu&amp;#242; avere associazioni con nomi uguali:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context ICD : InputClassDiagram inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; ICD.associations-&amp;gt;forall(A, A' | A &amp;lt;&amp;gt; A' =&amp;gt;(A.name = A'.name and&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.firstEnd.name &amp;lt;&amp;gt; (A'.firstEnd.name or A'.secondEnd.name)) and&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.secondEnd.name &amp;lt;&amp;gt; (A'.secondEnd.name or A'.firstEnd.name))) or&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.name &amp;lt;&amp;gt; A'.name))&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; La SOPart deve avere uno SO speciale 'final':&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context SOP : StateObserverPart inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.final.name = 'final' and self.final.type = boolean and &#13;&#10; self.stateObserver.includes(self.final)&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; L'EventPart deve avere un evento speciale 'created':&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context EP : EventsPart inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.created.name = 'created' and self.created.parameters = {} &#13;&#10; and self.event.includes(self.created)&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;/body&gt;"/> + <HTMLProperty displayName="Documentation" name="documentation" plainTextValue="Gli end di una associazione devono essere diversi:&#10;        context A : Association inv:&#10;        self.firstEnd.name &lt;&gt; self.secondEnd.name&#10;&#10;Una classe non può avere associazioni con nomi uguali:&#10;        context ICD : InputClassDiagram inv:&#10;        ICD.associations-&gt;forall(A, A' | A &lt;&gt; A' =&gt;(A.name = A'.name and&#10;                                                                                (A.firstEnd.name &lt;&gt; A'.firstEnd.name or A.firstEnd.name &lt;&gt;A'.secondEnd.name) and&#10;                                                                                (A.secondEnd.name &lt;&gt; A'.secondEnd.name or A'.secondEnd.name &lt;&gt; A'.firstEnd.name)) or&#10;                                                                                (A.name &lt;&gt; A'.name))&#10;&#10;La SOPart deve avere uno SO speciale 'final':&#10;        context SOP : StateObserverPart inv:&#10;        self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final)&#10;&#10;L'EventPart deve avere un evento speciale 'created':&#10;        context EP : EventsPart inv:&#10;        self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created)" value="&lt;head&gt;&#13;&#10; &lt;style type=&quot;text/css&quot;&gt;&#10; &lt;!--&#10; body { color: #000000; font-family: Dialog; font-size: 11px }&#10; --&gt;&#10; &lt;/style&gt;&#13;&#10; &#13;&#10; &lt;/head&gt;&#13;&#10; &lt;body&gt;&#13;&#10; &lt;p&gt;&#13;&#10; Gli end di una associazione devono essere diversi:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context A : Association inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.firstEnd.name &amp;lt;&amp;gt; self.secondEnd.name&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; Una classe non pu&amp;#242; avere associazioni con nomi uguali:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context ICD : InputClassDiagram inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; ICD.associations-&amp;gt;forall(A, A' | A &amp;lt;&amp;gt; A' =&amp;gt;(A.name = A'.name and&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.firstEnd.name &amp;lt;&amp;gt; A'.firstEnd.name or A.firstEnd.name &#13;&#10; &amp;lt;&amp;gt;A'.secondEnd.name) and&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.secondEnd.name &amp;lt;&amp;gt; A'.secondEnd.name or A'.secondEnd.name &amp;lt;&amp;gt; &#13;&#10; A'.firstEnd.name)) or&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; (A.name &amp;lt;&amp;gt; A'.name))&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; La SOPart deve avere uno SO speciale 'final':&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context SOP : StateObserverPart inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.final.name = 'final' and self.final.type = boolean and &#13;&#10; self.stateObserver.includes(self.final)&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; L'EventPart deve avere un evento speciale 'created':&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; context EP : EventsPart inv:&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;p&gt;&#13;&#10; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; self.created.name = 'created' and self.created.parameters = {} &#13;&#10; and self.event.includes(self.created)&#13;&#10; &lt;/p&gt;&#13;&#10; &lt;/body&gt;"/>
                                                <ModelsProperty displayName="Voices" 
name="voices"/>
                                                <ModelsProperty displayName="References" 
name="references"/>
                                                <StringProperty displayName="Transit From" 
name="transitFrom"/>
@@ -309,7 +309,7 @@
                </Model>
        </Models>
        <Diagrams>
- <Diagram connectorStyle="Oblique" diagramType="ClassDiagram" displayDiagramType="Class Diagram" documentation="" id="3M7RHTSAUAAACFCX" imageFileName="Constraint.png" imageHeight="276" imageScale="1.0" imageWidth="696" name="Constraint" rtfDocumentation="" trimmedHeight="68" trimmedWidth="58"> + <Diagram connectorStyle="Oblique" diagramType="ClassDiagram" displayDiagramType="Class Diagram" documentation="" id="3M7RHTSAUAAACFCX" imageFileName="Constraint.png" imageHeight="276" imageScale="1.0" imageWidth="756" name="Constraint" rtfDocumentation="" trimmedHeight="68" trimmedWidth="58">
                        <DiagramProperties>
<StringProperty displayName="Reference Container Id" name="referenceContainerId"/>
                                <StringProperty displayName="Pm Status Id" 
name="pmStatusId"/>
@@ -321,7 +321,7 @@
                                <StringProperty displayName="Pm Phase Id" 
name="pmPhaseId"/>
<StringProperty displayName="Pm Author" name="pmAuthor" value="D.U.D.S."/> <StringProperty displayName="Pm Create Date Time" name="pmCreateDateTime" value="1291586335547"/> - <StringProperty displayName="Pm Last Modified" name="pmLastModified" value="1291592983295"/> + <StringProperty displayName="Pm Last Modified" name="pmLastModified" value="1291634483634"/> <IntegerProperty displayName="Show Package Name Style" name="showPackageNameStyle" value="0"/> <IntegerProperty displayName="Show Connector Name" name="showConnectorName" value="0"/> <IntegerProperty displayName="Paint Connector Through Label" name="paintConnectorThroughLabel" value="0"/>
@@ -378,7 +378,7 @@
<IntegerProperty displayName="Generalization Set Notation" name="generalizationSetNotation" value="2"/>
                        </DiagramProperties>
                        <Shapes>
- <Shape height="270" id="MPnRHTSAUAAACFTM" model="MPnRHTSAUAAACFTN" name="" shapeType="NOTE" width="690" x="2" y="2" zorder="0"> + <Shape height="270" id="MPnRHTSAUAAACFTM" model="MPnRHTSAUAAACFTN" name="" shapeType="NOTE" width="750" x="2" y="2" zorder="0">
                                        <DiagramElementProperties>
<ModelRefProperty displayName="Meta Model Element" name="metaModelElement">
                                                        <ModelRef 
id="MPnRHTSAUAAACFTN"/>
@@ -386,7 +386,7 @@
                                                <ModelRefProperty displayName="Style" 
name="style"/>
                                                <IntegerProperty displayName="X" name="x" 
value="60"/>
                                                <IntegerProperty displayName="Y" name="y" 
value="70"/>
-                                               <IntegerProperty displayName="Width" 
name="width" value="690"/>
+                                               <IntegerProperty displayName="Width" 
name="width" value="750"/>
                                                <IntegerProperty displayName="Height" 
name="height" value="270"/>
<ColorProperty displayName="Background" name="background" value="Cr:255,255,128,255"/> <ColorProperty displayName="Foreground" name="foreground" value="Cr:0,0,0,255"/>
@@ -414,7 +414,7 @@
                                        <Line cap="0" color="Cr:0,0,0,255" transparency="0" 
weight="1.0">
                                                <Stroke/>
                                        </Line>
- <Caption height="0" side="FreeMove" visible="true" width="690" x="-58" y="-68"/> + <Caption height="0" side="FreeMove" visible="true" width="750" x="-58" y="-68"/> <FillColor color="Cr:255,255,128,255" style="1" transparency="0" type="1"/>
                                </Shape>
                        </Shapes>

Other related posts:

  • » [duds0910] [easycookingduds] r111 committed - modifica alle constraint.xml - easycookingduds