BACM — Beta specification ambiguous with respect to SMOF

The beta specification states that SMOF is a requirement for implementors. However, SMOF lifts the MOF restriction that each instance have one and only one metaclass/meta-association. Consequently, the specification is ambiguous about what elements should be disjoint. Some meta-classes should be disjoint (e.g. business objects and capabilities).
This omission also affects the issues raised in BACM-83.

Clarify the SMOF requirement and provide additional diagrams

The changes affect all of section 7.3.1 which is to be replaced by the attached Word file. Prose changes clarify that SMOF allows multiple metaclasses and eliminates the MOF requirement of classifier disjointness. Consequently, additional diagrams are introduced to explicitly specify disjoint constraints. These disjoint constraints also appear in the MOF compliant XMI as OpaqueConstraints specified in the SMOF language. The consistency of the resulting model is tested by translating it into OWL and using a reasoner to determine any inconsistencies.