The following trail analyses a proposed resolution snippet (supported by snippets from SysML1.0):
'The PropertySpecificType stereotype is automatically applied to the classifier which types a property with a property-specific type. This classifier can contain definitions of new or redefined features which extend the original classifier referenced by the property-specific type.
Classifiers with the PropertySpecificType stereotype are owned by the block which owns the property which has the property-specific type. A classifier with this stereotype must specialize at most a single classifier which was referenced as the starting classifier of the property-specific type. If there is no starting classifier (which occurs if no existing name is specified as the starting type of a property-specific type), then a classifier with the stereotype applied has no specialization relationship from any other classifier.'
Firstly, the system for which an additional "redefinition context" is to be provided is given as a simple IBD, with regular types and properties:
To evoke the impression of property-specific types in MD SysML15.1 (in place of implied property-specific types) we introduce explicit [PropertySpecificType] classifiers for illustration:
Then (see below) an IBD with redefinition of types and their properties (all in a given redefinition context for the system) can be shown:
