SysML 1.3 Subset and Redefine

[Bill Glocker]

Hello,

I'm trying to use the SysML 1.3 features for Redefine and Subsetting.  In the Properties dialog for a Block, you can select "Property" in the navigation pane, which brings up "Property Properties" in the dialog.  On that page, there is a section for "Redefined Property" and a section for "Subsetted Property".  In both cases, I'm only offered "Add..." and if I've added a property, "Delete" button.  

You are allowed to select a property, but there doesn't seem to be a way to do the actual redefine (select a more specific Block on the inheritance tree and a more specific multiplicity) or the actual subset (specify a set of specific properties that are part of the realization of a more general property).

Can anyone help me figure out how to use these features?  

[MMA]

Hi Bill,

EA had partly implemented what you asked.
E.g. for Redefinition,
    1. the "Add" button only take effect if the owning block is derived from another block;
    2. It listed all the properties from the base blocks for this property to redefine. Maybe a further step could be done by EA (it might look too strict): Only list the properties that conform to the compatibility constraint. E.g. the generalization relationship should exist between the typing blocks of "this" property and the redefined property.

Similar situation applies to subsetting. The "Add" button only take effect if the owning block has properties other than "this" one.

However, on the diagram, notation of properties with subsetting/redefinition attribute needs to be more clear. (maybe submit a bug report?)

Hope that helps
Miles