The part property screen:Screen has been redefined in the context of block HD_TV as screen:HD_Screen[1] and in the context of UHD_TV as uhd_screen:UHD_Screen[1]. (In the redefined variants the multiplicity has been set explicitly to [1].)

While you can set redefined Properties using the specification dialog, it is recommended that you master this tool trick:

MagicDraw/Cameo: You can set a Property as redefined/subsetted by another in a Class Diagram or BDD by dragging its label from an Association end onto the label of another Property on an Association end then choosing 'Set As Redefined/Subsetted Property'

You can also drag and drop from one Property line in a compartment to another Property line as shown in this short video:

Video: A Webel Quick Guide for SysMLv1 in Cameo: HOWTO create a Block with a redefining property with a default value SysMLv1: HOWTO create a Block with a redefining property with a default value and optionally declare it to be {readOnly}

Note that in the internal structure compartment of the block HD_TV the property symbol of the property version screen:HD_Screen[1] does NOT show the inheritance caret '^' indicator, because it is owned directly by HD_TV.

You may if you wish use a different name when redefining a Property, as shown for uhd_screen:UHD_screen[1]:

UML-2.5.1: 'Property is indirectly a kind of RedefinableElement, so Properties may be redefined. The name and visibility of a Property are not required to match those of any Property it redefines.'

But the usual Webel Best Practice is:

Webel Best Practice: Prefer not rename Properties when redefining unless indicating a clear change in role.

For experts: Formally, you can also use a Generalization relationship between an Association with a specialising end Property and the corresponding Association with the more general end Property.

Up next

Examples of Dependency and Usage

Notes

[FEATURE, TIP, TOOL] MagicDraw/Cameo: You can set a Property as redefined/subsetted by another in a Class Diagram or BDD by dragging its label from an Association end onto the label of another Property on an Association end then choosing 'Set As Redefined/Subsetted Property'

[DISPLAY, OPTION, TOOL] MagicDraw/Cameo: Has a symbol display option 'Show Inherited' applicable to (amongst others) Features of Class and Block symbols, Property symbols, and underlying Featured of Property symbols in SysML IBDs when using SysML Feature Compartments

[NAMING, POLICY]{STRICT} When using acronyms in names of Classifiers either treat them as a word 'TlaLikeThis' or suffix with an underscore 'TLA_LikeThis', except at the end of the name 'LikeThisTLA' is admissable.

Snippets (quotes/extracts)

[UML-2.5.1] Members that are inherited by a Classifier may be shown on a diagram of that Classifier by prepending a caret ’^’ symbol to the textual representation that would be shown if the member were not inherited.

[UML-2.5.1] Property is indirectly a kind of RedefinableElement, so Properties may be redefined. The name and visibility of a Property are not required to match those of any Property it redefines.

Related slides (includes other tutorials)

Related slides (backlinks, includes other tutorials)

Female 0.1" pin header strips - redefinition "ladder" view