More on tracking contradictions: Optical telescope example

The following text from Wikipedia is offered as a description of all optical telescopes, but in fact only applies well to Keplerian reflector style telescopes:

Wikipedia: 'The basic scheme is that the primary light-gathering element, the objective (the convex lens or concave mirror used to gather the incoming light), focuses that light from the distant object to a focal plane where it forms a real image.'

Wikipedia: 'This image may be ... viewed through an eyepiece, which acts like a magnifying glass. The eye then sees an inverted magnified virtual image of the object.'

The modeller decides that last text extract is contradicted by the following more accurate qualifying text:

Wikipedia: 'There are telescope designs that do not present an inverted image such as the Galilean refractor and the Gregorian reflector. These are referred to as erecting telescopes.'

The claimed contradiction is again recorded using tagged values for contradicts and contradictedBy on the apparently contradictory Snippets.

This approach is robust, but it is quite verbose (although there is no need to display the verbose tagged values in every diagram). It is also as not as easily queried or traced as a first class Relationship. Hopefully SysMLv2 will help address this:

Visit also (later): SysMLv2: On the v2 Comment extension of the v2 AnnotatingElement as a candidate Parsing Analysis Container

Up next

Webel Parsing Analysis as a meta-process: Snippets before Requirements!

Notes

[CAVEAT]{INFORMATIVE} One limit of the SysML-1.6 ElementGroup for use as a Snippet in the v1.x version of Webel Parsing Analysis for SysML is that an ElementGroup is not directly relatable.

[MODELLING]{INFORMATIVE} SysMLv2: On the v2 Comment extension of the v2 AnnotatingElement as a candidate Parsing Analysis Container

Snippets (quotes/extracts)

The basic scheme is that the primary light-gathering element, the objective (the convex lens or concave mirror used to gather the incoming light), focuses that light from the distant object to a focal plane where it forms a real image.

This image may be ... viewed through an eyepiece, which acts like a magnifying glass. The eye then sees an inverted magnified virtual image of the object.

There are telescope designs that do not present an inverted image such as the Galilean refractor and the Gregorian reflector. These are referred to as erecting telescopes.

Visit also

Visit also (backlinks)