SysMLv1: CAUTION: The notation and recommended use for PropertySpecificType changed significantly between SysMLv1.2 and SysMLv1.7. And the spec itself does not seem to use the new notation (which is also not supported by Cameo Systems Modeler v2024x)

This page identifies a possible issue, inconsistency, concern, error, or bug!

One of the ways Webel IT Australia helps promote tools, technologies, and languages is by donating a lot of time identifying, tracking, and reporting potential issues, in order to help vendors and developers improve the tools and technologies. In some cases, we also offer workarounds and advice for users. All issues tracked on our public site are offered most constructively and with sincerest gratitude to the tool vendors and technology developers.

DISCLAIMER: Vendors do not officially endorse issue analysis by Webel IT Australia.

Icon class

icon_class

far fa-sticky-note

icon_class_computed

far fa-sticky-note

Note kind

Policy level

Specification keywords

SysML-1.2

SysML-1.3

SysML-1.4

SysML-1.5

SysML-1.6

SysML-1.7

SysMLv1.x keywords

PropertySpecificType

Keywords

Click on the image to view it full size

Compare these extracts (visit the links for the full quotes):

SysMLv1.2: '[OBSOLETE] SysMLv1.2: 8.3.1.1.10 Property-specific type Enclosing the type name of a property in square brackets specifies that the type is a local specialization of the referenced type, which may be overridden to specify additional values or ...'

SysMLv1.7beta: 'The notation for properties typed by a property-specific type shows the name of the most specific generalization of the property-specific type that is not a property-specific type (or nothing if there is no generalization) between parentheses after the ..'

Note the change from square brackets [...] in early SysMLv1.2 to parentheses (..) by SysMLv1.7.

Neither the SysMLv1.7 Figure 8.23. Property-specific types in facility example nor Figure 8.24. Changes in classification over time due to property-specific types seem to use the recommended notation.

And the recommended SysMLv1.7 notation is also not explicitly supported by Magic Cyber-Systems Engineer ^® (Cameo Systems Modeler^®) (v2024x).

You may be able to HACK the notation into your tool.

Relates to

SysMLv1: Summary of some important changes between SysMLv1.2 and SysMLv1.7 and some DEPRECATED modelling elements [PARTIAL LIST ONLY]

Related notes

Related notes (backlinks)

Related snippets (extracts)

[SysML-1.2] [OBSOLETE] SysMLv1.2: 8.3.1.1.10 Property-specific type Enclosing the type name of a property in square brackets specifies that the type is a local specialization of the referenced type, which may be overridden to specify additional values or ...

[SysML-1.7] The notation for properties typed by a property-specific type shows the name of the most specific generalization of the property-specific type that is not a property-specific type (or nothing if there is no generalization) between parentheses after the ..

[SysML-1.6] Figure 8-22 shows property-specific types in a model of facilities that includes factories and warehouses. Items flow through facilities, while resources operate on items.

[SysML-1.6] The PropertySpecificType stereotype can be applied to classifiers that type exactly one property and that are owned by the owner of that property. Classifiers with this stereotype applied shall be generalized by at most one other classifier.

Visit also