Need to get connection segments

[AaronGreenhouse]

The security analysis (old-style Bell–LaPadula) needs to be able to access the individual source and destination feature instances of the segments that make up a ConnectionInstance. Specifically this is necessary to check the precondition

Connection Label Equality: The security label of the source feature of a connection must be identical to the security label of the destination feature of a connection. The security labels of the source and destination features of all the individual connection declarations of a connection instance must be identical.

Currently all that can be done with a ConnectionInstance in the query language is get its name.

[AaronGreenhouse]

Also need to just be able to get the source and dest feature of the overall ConnectionInstance. I realize this is really a subset of all the features that are requested above. But these are already separate in the ConnectionInstance object.

I need these for a difference purpose than the above.:

• For each connection instance destination that is an in port I need to compare the security level of the in port against the security level of the component that contains the port
• For each connection instance source that is an out port I need to compare the security level of the out port against the security levels of the in ports contained in the same component.

(This suggests I also need to be able to get the containing component of a feature)