m2m:resourceTypeList can be removed, since this type can be declared inline
\<execInstance\>
It isn't clear what the type of execDisable ought to be, as it isn't obvious what the cancellation mechanism is. TS-0001 says "The UPDATE request shall address the execDisable attribute with a predefined value in order to trigger the CANCEL action" i.e. you trigger a cancellation by writing a "predefined value" to this attribute, but doesn't say what that value is. We could achieve that by making it xs:boolean or by making it a string with two permitted values (e.g. "" and "CANCEL"). On the other hand TS-0004 says "Cancel operation is triggered by an Update primitive, if the primitive addresses the execDisable attribute or the URI provided as the value of the execDisable". This suggests that execDisable should be xs:anyURI and that triggering is cancelled either by writing a new URI into it, or by sending an Update to the URI that it already contains. The corresponding execEnable attribute in \<mgmtCmd\> has type xs:anyURI.
In TS-0004 7.2.16 the execStatus attribute has type m2m:execStatusType, but in the enums clause the type is called m2m:execStateType
\<group\>
The order in which the attributes appear is different between TS-0001 and TS-0004 (also TS-0004 should say creator not Creator)