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

OMG Kernel Modeling Language™ (KerML™) Version 1.0

Icon class
icon_class
far fa-file-alt
icon_class_computed
far fa-file-alt
Specification keywords
KerMLv1
Copyright information
About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes
Snippets (quotes/extracts)
The visibility of an import is always shown explicitly by placing the keyword private, protected, or public before the import declaration. If the import is private (which is the default in the abstract syntax), then the imported memberships become private
A select expression consists of a primary expression and an expression body ... separated by a dot-question-mark (.?) symbol. The expression body must have a single input parameter and a Boolean result.
The expression body is evaluated on each of the result values from the primary expression, in order, and those for which the expression body evaluates to true are selected for inclusion in the result of the select expression (that is, a select expression
(that is, a select expression is a shorthand for invoking the ControlFunctions::select function).
A function operation expression is a special syntax for an invocation expression in which the first argument is given before the arrow (->) symbol, which is followed by the name of the function to be invoked and an argument list for any remaining arg...s
A textual representation declaration must also specify the language used for the textual body as a literal string ... following the keyword language.
If the textual representation has no short name or name, then the rep keyword can also be omitted.
A textual representation is an annotating element whose textual body represents its annotated element (known in this case as the represented element) in a given language.
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)
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
An index expression specifies the invocation of the indexing function '#' from the BaseFunctions library model ...
The default behavior for this function is given by the specialization SequenceFunctions::'#', for which the first operand is expected to evaluate to a sequence of values, and the second operand is expected to evaluate to an index into that sequence.
Default indexing is from 1 using Natural numbers. Note that parentheses are required around the second operand: sensors#(activeSensorIndex)
However, the behavior of the '#' operator is specialized for the OrderedCollection ... and Array ... data types from the Collections library model. In this case, the first operand must be a single value of one of these data types
For an Array, the second operand is a sequence of indexes whose size is the rank of the Array (i.e., the number of dimensions of the Array): detectorArray#(n, m)
function destroy: doc: Ensure that the end of a given occurrence happens during a performance of this function. The occurrence is also returned from the function.
The second and third arguments of the ternary conditional test operator if are for Expression parameters.
Therefore, the notation for a conditional test OperatorExpression of the form if expr_1 ? expr_2 else expr_3 is parsed as ControlFunctions::'if' (expr_1, { expr_2 }, { expr_3 })
The Feature self of Anything relates each thing in the universe to itself only (see SelfLinks ...)
External links
https://www.omg.org/spec/KerML/1.0/PDF
Visit also
Visit also (backlinks)
OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)