Allow regularly structured primitive objects.


In the current version of ADL and the AOM, primitive objects can only be represented using inline constraint syntax, as per this part of the spec:

However, there is sometimes a need to constrain an RM attribute statically typed to e.g. Any or similar, to a particular Primitive type, without stating any constraint on the value.

Doing this would require the 'regular' object structure syntax, so that a type name could be expressed. Doing that requires a proper id-code.

The requirement mainly comes from CIMI, where they use the Terminology_code (named 'Concept' in their RM) as the type of various attributes, and want to constrain just the type in a parent archetype and then lower down the specialisation hierarchy, add concrete constraints. Currently the flattener will not allow this.


Thomas Beale

Raised By

Thomas Beale


Affects versions