Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!
Learn about the Webel Q&A     online self-testing system for SysML v2/v1

Webel Best Practice: SysMLv2: "Trust the Type": If using parameter = shorthand to provide a feature always also include the :Type in the declaration (which is an implied redefinition) - and even if it's a bit tedious and a bit WET.

Icon class
icon_class
far fa-sticky-note
icon_class_computed
far fa-sticky-note
Note kind
CONVENTION
MODELLING
PATTERN
STYLE
TIP
Policy level
STRONG
Specification keywords
SysMLv2
SysMLv2 keywords
redefinition
=
= binding
feature value
Parameter
Keywords
Click on the image to view it full size

This policy support's Webel "Trust the Type" display modes in Cameo.

This approach is also used in some SysML2.0 spec examples (but less so in the SysMLv2 PILOT GitHub samples). From SysML2.0 p.100:

action providePower : ProvidePower {
    in fuelCmd : FuelCmd;
    action generatePower : GeneratePower {
        in fuelCmd : FuelCmd = providePower::fuelCmd;
        out generatedTorque : Torque;
    }
...

Related:

Visit also: Webel Best Practice: SysMLv2: "Trust the Type": If redefining a port or parameter to provide a "clean" connection end target always also include the :Type in the redefinition declaration - and even if it's a bit tedious and a bit WET.
Relates to
Related notes
[ISSUE, PROPOSAL]{PROPOSED} SysML2.0: Webel: Suggest it needs to be clarified whether binding to a parameter or port (or a directed feature of such) that has NOT been redefined in the binding connector context (is just inherited) is valid [it is]
[ASSERTION, ISSUE, PROPOSAL]{PROPOSED} SysML2.0: Webel: Suggest the entire description in the specification of whether and when usages MUST redefine inherited parameters needs an overhaul (and the SysML2.0 spec examples, Annex problem, and SysMLv2 GitHub examples are inconsistent anyway).
[ASSERTION, MODELLING]{INFORMATIVE} SysMLv2: It is permissible to use a flow between parameters of action usages without redefining inherited parameters in the connection context.
[DISPLAY, MODELLING, PATTERN, STYLE, TIP, TOOL]{STRONG} Webel Best Practice: SysMLv2: "Trust the Type" feature name hiding. In many Views, there is no benefit, at all, in showing feature names (especially if they are needlessly verbose and just repeat the Type name but lowerCase)
[MODELLING, PATTERN, STYLE, TIP]{STRICT} Webel Best Practice: SysMLv2: "Trust the Type" functional analysis: When referencing a performed action or exhibited state ALWAYS also include the :Type in the declaration (even if it's a bit tedious and a bit WET). Helps avoid also verbose usage names!
[CONVENTION, MODELLING, PATTERN, STYLE, TIP]{STRONG} Webel Best Practice: SysMLv2: "Trust the Type": If redefining a port or parameter to provide a "clean" connection end target always also include the :Type in the redefinition declaration - and even if it's a bit tedious and a bit WET.
[CONVENTION, MODELLING, PATTERN, STYLE, TIP]{STRICT} Webel Best Practice: SysMLv2: "Trust the Type": When redefining a subject (within any element kind) ALWAYS also include the :Type in the redefinition declaration (even if it's a bit tedious and a bit WET).
[DISPLAY, MODELLING, PATTERN, STYLE, TIP, TOOL]{STRONG} Webel Best Practice: SysMLv2: VERY STRONG RECOMMENDATION: Prefer Webel "Trust the Type" i/o parameter naming and Webel display conventions over verbose parameter names. To find out how attend the Webel SysMLv2 course!
[DISPLAY, MODELLING, PATTERN, STYLE, TIP, TOOL]{STRONG} Webel Best Practice: SysMLv2: VERY STRONG RECOMMENDATION: Prefer Webel "Trust the Type" i/o port naming and Webel display conventions over verbose port usage names and verbose directed feature names. To find out how attend the Webel SysMLv2 course!
[ASSERTION, DISPLAY, NAMING, STYLE]{STRONG} Webel: SysMLv2: IMPORTANT! Specification documents and the namings used in their supporting examples have a specific purpose and the examples play specific roles. They are NOT tutorials on how to model practically in a specific tool on real projects!!!
Related notes (backlinks)
Related snippets (extracts)
  [SysMLv2] ... the feature value shorthand for binding ... is often useful for action parameters.
Visit also
OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
Visit also (backlinks)