Version 6 (modified by mfedorov, 13 years ago) |
---|
Template WeldedConnection
This template is for describing a welded connection of 2 Individuals.
WeldedConnection(a, b) means that a and b are (temporal parts of) PossibleIndividual that are connected indirectly through a weld.
Roles:
1 hasSide1 PossibleIndividual
2 hasSide2 PossibleIndividual
Axiom:
WeldedConnection(x1, x2) <-> PossibleIndividual(x1) & PossibleIndividual(x2) & exists y1 (Port(y1) & exists u1 (FeatureWholePartTriple(u1, y1, x1) & ClassificationTemplate(u1, ComponentHasPort)) & exists y2 (Port(y2) & exists u2 (FeatureWholePartTriple(u2, y2, x2) & ClassificationTemplate(u2, ComponentHasPort))) & exists v1 (PossibleIndividual(v1) & TemporalWholePartTemplate(v1, y1) & exists v2 (PossibleIndividual(v2) & TemporalWholePartTemplate(v2, y2)) & exists w1 (IndirectConnectionTriple(w1, v1, v2) & ClassificationTemplate(w1, PortConnectsToPort) & exists w2 (Weld(w2) & exists w3 (IndividualUsedInConnectionTriple(w3, w1, w2) & ClassificationTemplate(w3, UsedWeld)))))) .
EXAMPLE The statement WeldedConnection(PIPE123, ELBOW456)
Analysis diagram
Comments
Classes of relationships ComponentHasPort, PortConnectsToPort and UsedWeld should already exist in RDL
Attachments
- WeldedConnectionAnalysisDiagram.png (159.8 kB) - added by mfedorov 13 years ago.
- WeldedConnectionAnalysisDiagram.vsd (155.5 kB) - added by mfedorov 13 years ago.