Changes between Version 2 and Version 3 of SigMmt/Templates/WeldedConnection

Timestamp:

02/22/11 09:09:14 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/WeldedConnection

@@ -19 +19 @@
            exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) &
            exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) &
-           exists w1 (IndirectConnection(w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort)) &
-           exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, w2))) &
-)).
+           exists w1 (IndirectConnection(w1) & IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) &
+           exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnection(w3) & IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld))) &
+))).
 }}}
 
@@ -27 +27 @@
 === Analysis diagram ===
 [[Image(WeldedConnectionAnalysisDiagram.png)]]
+
+=== Comments ===
+ComponentHasPort, PortConnectsToPort and UsedWeld should already exist in RDL