The SEDRIS Data Representation Model
APPENDIX B - Constraints Constraints On Associates |
---|
DRM objects are constrained in taking associate DRM objects as follows.
Let M be a <Model> instance.
Let M have a <Feature Model> component F, and let F1 be a <Feature Representation> instance in the component tree of F and T be a <Feature Topology> instance in the component tree of F.
F1 shall not associate to a <Feature Representation> instance outside the component tree of F.
No <Feature Representation> instance outside the component tree of F shall associate to F1.
F1 shall not associate to a <Feature Topology> instance outside the component tree of F.
No <Feature Topology> instance outside the component tree of F shall associate to F1.
T shall not associate to a <Feature Topology> instance outside the component tree of F.
No <Feature Topology> instance outside the component tree of F shall associate to T.
Let M have a <Geometry Model> component G, and let G1 be a <Geometry Representation> instance in the component tree of G and T be a <Geometry Topology> instance in the component tree of G.
G1 shall not associate to a <Geometry Representation> instance outside the component tree of G.
No <Geometry Representation> instance outside the component tree of G shall associate to G1.
G1 shall not associate to a <Geometry Topology> instance outside the component tree of G.
No <Geometry Topology> instance outside the component tree of G shall associate to G1.
T shall not associate to a <Geometry Topology> instance outside the component tree of G.
No <Geometry Topology> instance outside the component tree of F shall associate to T.
Let M have both a <Feature Model> component F and a <Geometry Model> component G. Let F1 be a <Feature Representation> instance in the component tree of F and let G1 be a <Geometry Representation> instance in the component tree of G.
F1 shall not associate to a <Geometry Representation> instance outside the component tree of G.
No <Geometry Representation> instance outside the component tree of G shall associate to F1.
G1 shall not associate to a <Feature Representation> instance outside the component tree of F.
No <Feature Representation> instance outside the component tree of F shall associate to G1.
Let M have an <Interface Template> component T.
For every <Variable> instance V in the component tree of M, V shall associate exactly once with T.
If V is a <Variable> instance that does not appear in the component tree of M, T shall not associate with V.
Let R be an <Environment Root> instance.
Let R2 be an <Environment Root> instance, where the srf_context_info of R does not match that of R2.
Let R have a <Feature Hierarchy> component F, and let X be a <Feature Representation> instance in the component tree of F. Let R2 have a <Feature Hierarchy> component F2, and let X2 be a <Feature Representation> instance in the component tree of F2. X shall not associate to X2, and X2 shall not associate to X.
Let R have a <Geometry Hierarchy> component G, and let Y be a <Geometry Representation> instance in the component tree of G. Let R2 have a <Geometry Hierarchy> component G2, and let Y2 be a <Geometry Representation> instance in the component tree of G2. Y shall not associate to Y2, and Y2 shall not associate to Y.
Let R have a <Feature Hierarchy> component F, and let X be a <Feature Representation> instance in the component tree of F. Let R2 have a <Geometry Hierarchy> component G2, and let Y2 be a <Geometry Representation> instance in the component tree of G2. X shall not associate to Y2, and Y2 shall not associate to X.
Let R have an <Interface Template> component T.
For every <Variable> instance V in the component tree of R, V shall associate exactly once with T.
If V is a <Variable> instance that does not appear in the component tree of R, T shall not associate with V.
Consider the <Feature Representation> with <Geometry Hierarchy> association. This association means that the <Feature Representation> is an alternate representation of the <Geometry Hierarchy>. A terrain <Feature Representation> represents some part of the terrain, not a part of some <Model>; a <Model> feature represents some abstraction of the <Model> rather than a feature of the terrain.
Consider a transmittal with an <Environment Root> instance R and a <Model Library> instance L. Let "F15" be a <Model> component of L, under which <Polygon> instances exist. No <Feature Representation> instance under R may associate with an "F15" <Polygon> instance, since a terrain <Feature Representation> instance cannot at the same time represent a generic "F15" <Polygon> instance.
No FAQs supplied.
|