Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
VIDEO: The Webel SysMLv2/MBSE course has landed! Take a quick tour!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!

the KerML checkFeatureParameterRedefinition constraint requires that any owned parameters ... of a ActionUsage redefine corresponding parameters of any Behaviors or Steps it specializes (including ActionDefinitions and ActionUsages)

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
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).
SysMLv2 Specification and GitHub examples: CONSISTENCY TRACKER: Links to examples where action (usage or definition) in parameters are redefined but the out parameter is not.
Source
OMG Kernel Modeling Language™ (KerML™) Version 1.0
Copyright information
About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes
Snippet kind
INFO
Keywords
Full quote
... the KerML checkFeatureParameterRedefinition constraint requires that any owned parameters (i.e., directed ownedFeatures) of a ActionUsage redefine corresponding parameters of any Behaviors or Steps it specializes (including ActionDefinitions and ActionUsages).
Next snippet
See also KerML1.0 p167 for the full checkFeatureParameterRedefinition constraint with OCL (omitted below):

'If a Feature is a parameter of an owningType that is a Behavior or Step, but not

• A result parameter

• A parameter of an InvocationExpression, with at least one non-implied ownedRedefinition'

then, for each direct supertype of its owningType that is also a Behavior or Step, it must redefine the parameter at the same position, if any.'

For SysML2.0 calculations (which have a result parameter) the checkFeatureResultRedefinition is relevant (KerML1.0 p.168).

Related snippets
If an action definition has a single superclassification, then the specialized action definition may declare fewer owned parameters than the general action definition, inheriting any additional parameters from the general definition ...
If an action usage has any type of specialization relationship ... with an action definition or usage ... the rules for the redefinition of the parameters ... are the same as given for the redefinition of parameters of an action definition ...
Related snippets (backlinks)
checkFeatureResultRedefinition: If a Feature is a result parameter of an owningType that is a Function or Expression, then, for each direct supertype of its owningType that is also a Function or Expression, it must redefine the result parameter
Visit also
Visit also (backlinks)