TMRM

Type Standard
In stage CD
Homepage >>

A formal mathematical model that is simpler, lower-level, and makes fewer ontological commitments than TMDM. Used as the mathematical foundation for TMQL. The basis of this is the mapping from the TMDM into TMRM, which is part of this standard (as annex B).

Issues here relate to the mapping, since the TMRM itself is stable.

ISSUESTATE
tmrm-map-inferred-informationNeeds investigation
tmrm-map-reified-representationNeeds investigation
tmrm-map-scope-interactionNeeds investigation
tmrm-map-subtyping-statementsNeeds investigation
tmrm-map-constraintsSettled
tmrm-map-ctm-fragmentSettled
tmrm-map-datatype-orderingSettled
tmrm-map-inverseSettled
tmrm-map-requirementsSettled
tmrm-map-tm-proxySettled
tmrm-map-typing-of-proxiesSettled
tmrm-map-typing-proxiesSettled

tmphoto app built with OKS.