Section 11 of 51
65. Abstract Semantic Model
Stable section ID: S05-CON-008-SECTION-11 · 19 content blocks
The Abstract Semantic Model, or ASM, represents the formally interpreted meaning of BDL declarations after semantic resolution.
Unlike the AST, the ASM shall contain resolved:
object identities;
types;
namespaces;
references;
units and dimensions;
coordinate contexts;
inheritance relationships;
composition relationships;
declared capabilities;
applicable schemas;
known and unknown values.
The ASM shall distinguish universal definitions, reusable types, project-level definitions, physical instances, digital instances, and observed existing objects.
Equivalent source documents expressed through different authorized serializations should produce equivalent ASM structures under the same compilation context.
The ASM shall preserve the provenance of every resolved property, including inherited values, profile defaults, explicit overrides, conversions, and derived relationships.
Semantic conflicts shall remain represented as conflicts rather than being discarded to create an apparently complete model.
The ASM may contain unresolved engineering alternatives when they are formally valid but not yet selected. Such alternatives shall remain identifiable and shall not be merged into a single executable configuration.
The ASM provides the semantic foundation from which the Canonical Engineering Representation and specialized engineering graphs are constructed.