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: context A : Association inv: self.firstEnd.name <> self.secondEnd.name Una classe non può avere associazioni con nomi uguali: context ICD : InputClassDiagram inv: ICD.associations->forall(A, A' | A <> A' =>(A.name = A'.name and (A.firstEnd.name <> (A'.firstEnd.name or A'.secondEnd.name)) and (A.secondEnd.name <> (A'.secondEnd.name or A'.firstEnd.name))) or (A.name <> A'.name)) La SOPart deve avere uno SO speciale 'final': context SOP : StateObserverPart inv: self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final) L'EventPart deve avere un evento speciale 'created': context EP : EventsPart inv: self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created)" value="<head> <style type="text/css"> <!-- body { color: #000000; font-family: Dialog; font-size: 11px } --> </style> </head> <body> <p> Gli end di una associazione devono essere diversi: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context A : Association inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.firstEnd.name &lt;&gt; self.secondEnd.name </p> <p> </p> <p> Una classe non pu&#242; avere associazioni con nomi uguali: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context ICD : InputClassDiagram inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; ICD.associations-&gt;forall(A, A' | A &lt;&gt; A' =&gt;(A.name = A'.name and </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.firstEnd.name &lt;&gt; (A'.firstEnd.name or A'.secondEnd.name)) and </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.secondEnd.name &lt;&gt; (A'.secondEnd.name or A'.firstEnd.name))) or </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.name &lt;&gt; A'.name)) </p> <p> </p> <p> La SOPart deve avere uno SO speciale 'final': </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context SOP : StateObserverPart inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final) </p> <p> </p> <p> L'EventPart deve avere un evento speciale 'created': </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context EP : EventsPart inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created) </p> </body>"/> + <HTMLProperty displayName="Documentation" name="documentation" plainTextValue="Gli end di una associazione devono essere diversi: context A : Association inv: self.firstEnd.name <> self.secondEnd.name Una classe non può avere associazioni con nomi uguali: context ICD : InputClassDiagram inv: ICD.associations->forall(A, A' | A <> A' =>(A.name = A'.name and (A.firstEnd.name <> A'.firstEnd.name or A.firstEnd.name <>A'.secondEnd.name) and (A.secondEnd.name <> A'.secondEnd.name or A'.secondEnd.name <> A'.firstEnd.name)) or (A.name <> A'.name)) La SOPart deve avere uno SO speciale 'final': context SOP : StateObserverPart inv: self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final) L'EventPart deve avere un evento speciale 'created': context EP : EventsPart inv: self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created)" value="<head> <style type="text/css"> <!-- body { color: #000000; font-family: Dialog; font-size: 11px } --> </style> </head> <body> <p> Gli end di una associazione devono essere diversi: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context A : Association inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.firstEnd.name &lt;&gt; self.secondEnd.name </p> <p> </p> <p> Una classe non pu&#242; avere associazioni con nomi uguali: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context ICD : InputClassDiagram inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; ICD.associations-&gt;forall(A, A' | A &lt;&gt; A' =&gt;(A.name = A'.name and </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.firstEnd.name &lt;&gt; A'.firstEnd.name or A.firstEnd.name &lt;&gt;A'.secondEnd.name) and </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.secondEnd.name &lt;&gt; A'.secondEnd.name or A'.secondEnd.name &lt;&gt; A'.firstEnd.name)) or </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (A.name &lt;&gt; A'.name)) </p> <p> </p> <p> La SOPart deve avere uno SO speciale 'final': </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context SOP : StateObserverPart inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.final.name = 'final' and self.final.type = boolean and self.stateObserver.includes(self.final) </p> <p> </p> <p> L'EventPart deve avere un evento speciale 'created': </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; context EP : EventsPart inv: </p> <p> &nbsp; &nbsp; &nbsp; &nbsp; self.created.name = 'created' and self.created.parameters = {} and self.event.includes(self.created) </p> </body>"/>
<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>