Inconsistncy between Methdololgy and tool/generated schema

I've allocated this bug report to the tool but the choice is arbitrary. It can also be assigned to the methodology. The bug refers to a contradiction between the rules for schema mapping of extensions as described in section 4.6 of the methodology document and what the tool does in reality.

Section 4.6 states:
In these cases, the specialisation is not mapped to an extension, but the extension element of the superclass is replaced by an XML element of the same name that is of an anonymous complex type which consists of a sequence of XML elements that represent the – potentially – multiple classes that extend this superclass in the extensions.

This means that

  <xs:element name="someClassExtension" type="D2LogicalModel:ExtensionType" minOccurs="0" />

is replaced by

   <xs:element name="someClassExtension">
        <xs:complexType>
          <xs:sequence>
            <xs:element name="classA" type="D2LogicalModel:ClassA"/>
            <xs:element name="classB" type="D2LogicalModel:ClassB"/
            ...
          </xs:sequence>
        </xs:complexType>
      </xs:element>

The tool actually does not create the anonymous type but creates an internal type called "_SomeClassExtensionType". The type of the someClassExtension element is then switched to this new type.

The internal type contains an element with identical name as the extension class. It is worth noting that this is the only part of the specification where lexicographically identical names are used for different things and that it seems to vialoate the convention that element names should be transformed from UCC to LCC notation. It looks as if this was not intentional, so even if htis bug should be shifted to methodology, the naming convention in the tool should be revised.

I copy in an example from a level B extension I made on TrafficSpeed:

  <xs:complexType name="_TrafficSpeedExtensionType">
    <xs:sequence>
      <xs:element name="TrafficSpeedExtended" type="D2LogicalModel:TrafficSpeedExtended" minOccurs="0" />
      <xs:any namespace="##other" processContents="lax" minOccurs="0" maxOccurs="unbounded" />
    </xs:sequence>
  </xs:complexType>