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

Snippets (text quotes and extracts from authoritative sources)

A Snippet is a short quote or extract (typically a phrase, a sentence, or at most a few sentences) from an authoritative source document such as a specification, technical manual, or design manual. Throughout this site, content is often related to supporting Snippets and each Snippet page links back to the content pages that reference it! The Snippet and Note concepts are very closely related and they support each other.

The Snippet concept is also at the heart of the Parsing Analysis recipe for UML® and SysML®

Kind Snippet quote/extract Source UML keywords SysML keywords Keywords
INFO Parts can also be used to represent different kinds of system components such as hardware components, software components, facilities, organizations, or users of a system. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A part can represent any level of abstraction, such as a purely logical component without implementation constraints, or a physical component with a part number, or some intermediate abstraction. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO Parts may also perform actions ... resulting in items flowing across the connections between them, and exhibit states ... that enable different actions. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The parts may have ports ... that define the points at which those parts may be interconnected ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The parts of a system may have attributes ... that represent different performance, physical and other quality characteristics. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A system is modeled as a composite part, and its part usages may themselves have further composite structure. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO An item may also be considered to be a part during some time slices of its lifetime but not others. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO All parts are items, but not all items are necessarily parts. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO An item that performs actions is normally modeled as a part ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO However, a tighter default of [1..1] is implicitly declared for the usage if all of the following conditions hold: OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO 3. The usage does not have any explicit owned subsettings or owned redefinitions. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO 2. The usage is owned by a definition or another usage (not a package). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO 1. The usage is an attribute usage, an item usage (including a part usage, except if it is a connection usage), or a port usage. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The default multiplicity of an attribute usage is [1..1], under the conditions described in 7.6.3. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO Any root namespace within the global namespace may refer to the name of a top-level element of any other root namespace using an unqualified name (since root namespaces are themselves never named). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO This global namespace may contain several root namespaces (such as those being managed as a project), and always contains at least all of the KerML and SysML model libraries ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO While a root namespace has no explicit owner, it is considered to be within the scope of a single global namespace. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO Name conflicts can be resolved by redefining one or more of the otherwise conflicting inherited features ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO All inherited features must have names that are distinct from each other and any owned features of the specializing definition. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A definition can specialize more than one other definition, in which case the definition inherits the features from each of the definitions it specializes. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO For the purposes of model interchange ... a single project may contain one or more root namespace, though there is no syntax for defining a project in the SysML syntax. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The declaration of a root namespace is implicit and no identification of it is provided in the SysML notation. Instead, the content of a root namespace is given simply by the list of its top-level elements. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO Any element that is not a root namespace has an owner and, therefore, must be in the ownership tree of a top-level element of some root namespace. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A root namespace is a namespace that has no owner. The owned members of a root namespace are known as top-level elements. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO In addition to packages, all kinds of SysML definitions and usages are also namespaces. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO For an analysis case, the subject of the objective is always bound to the result of the analysis case definition or usage. That is, the objective is always about the result that is produced by the analysis. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The kind keyword ... may be omitted from an end declaration unless it has an owned cross feature ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If no declaration part or payload specification is included in the flow declaration, then the from keyword may also be omitted. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO This is done by giving a feature chain with at least two features, the last of which identifies the output or input feature, with the preceding part of the chain identifying the source or target of the flow. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A flow declaration then includes a specification of not only the source and target related features of the flow, but, more specifically, the output feature of the source from which the flow receives its payload ... and the input feature of the target ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A flow usage is declared as a streaming flow using the kind keyword flow. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If the import is public, then all the imported memberships become public for the importing namespace. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A visibility of protected is the same as private, unless the importing namespace is a definition or usage, in which case the imported memberships are also visible in all specializations of the definition or usage ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If the import is private (which is the default in the abstract syntax), then the imported memberships become private relative to the importing namespace. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The visibility of an import is always shown explicitly by placing the keyword private, protected, or public before the import declaration. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO For definitions and usages, protected visibility has a special meaning relating to member inheritance ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If the membership is public (the default), then it is visible outside of the namespace. If it is private, then it is not visible. For namespaces other than definitions and usages, protected visibility is equivalent to private. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The visibility of the membership can be specified by placing one of the keywords public, protected or private before the public element declaration. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO In general, declaring an element within the body of a namespace denotes that the element is an owned member of the namespace—that is, that there is an owning membership relationship between the namespace and the member element. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO An Expose always has protected visibility. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO An Expose always imports all Elements, regardless of visibility (isImportAll = true). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO An Expose is an Import of Memberships into a ViewUsage that provide the Elements to be included in a view. Visibility is always ignored for an Expose (i.e., isImportAll = true). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If no tighter constraint is inherited, the effective default is the most general multiplicity [0..*]. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO If a multiplicity is not declared for a usage, then the usage inherits the multiplicity constraints of any other usages it subsets or redefines. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The Feature self of Anything relates each thing in the universe to itself only (see SelfLinks ...) OMG Kernel Modeling Language™ (KerML™) Version 1.0
INFO To highlight this, a feature with such a feature value can be flagged as derived (though this is not required, nor is it required that the value of a derived feature be computed using a feature value ...) OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The semantics of binding mean that such a feature value asserts that a feature is equivalent to the result of the value expression. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO derived – Specifies that the usage is derived. Such a feature is typically expected to have a bound value expression that completely determines its value at all times ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO 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 }) OMG Kernel Modeling Language™ (KerML™) Version 1.0
INFO The second and third arguments of the ternary conditional test operator if are for Expression parameters. OMG Kernel Modeling Language™ (KerML™) Version 1.0
INFO The source of a transition usage must be a state usage, but its target may be an action usage other than a state usage. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A TransitionUsage is an ActionUsage representing a triggered transition between ActionUsages [CONTESTED] or StateUsages. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO State usages can be connected by transition usages, which can activate and deactivate the state usages. The triggering of a transition usage from its source state usage to its target state usage deactivates the source state and activates the target state. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO ... the feature value shorthand for binding ... is often useful for action parameters. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO 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. OMG Kernel Modeling Language™ (KerML™) Version 1.0 KerML1, SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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) OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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 OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO Default indexing is from 1 using Natural numbers. Note that parentheses are required around the second operand: sensors#(activeSensorIndex) OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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. OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO An index expression specifies the invocation of the indexing function '#' from the BaseFunctions library model ... OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The viewpoint then models the requirement for view needed in order to address the framed concerns. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO However, it is typical for a viewpoint definition to be structured as framing a set of stakeholder concerns ... regarding information about a modeled system or domain of interest. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The subject of a viewpoint definition or usage must be a view. Otherwise, a viewpoint is specified with assumed and required constraints, just like any requirement definition or usage. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO The subject of a viewpoint is a view that is required to address the stakeholder concerns. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A viewpoint usage is a requirement usage that is a usage of a viewpoint definition. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A viewpoint definition is a kind of requirement definition ... that frames the concerns of one or more stakeholders regarding information about a modeled system or domain of interest. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO In addition, a user-defined keyword for semantic metadata may also be used to declare a definition or usage without using any language-defined keyword. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO If the named metadata definition is a kind of SemanticMetadata, then the implicit specialization rules given in 7.27.3 for semantic metadata also apply. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The user-defined keyword is placed immediately before the language-defined (reserved) keyword for the declaration and specifies a metadata annotation of the declared element. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A user-defined keyword is the (possibly qualified) name (or short name) of a metadata definition (or KerML metaclass) preceded by the symbol #. Such a keyword can be used in package, dependency, definition and usage declarations. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO Each annotated element is then considered to implicitly specialize a definition or usage determined from the baseType value ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO ... and the inherited feature SemanticMetadata::baseType must be bound to a value of type KerML::Type (which is a generalization of SysML::Definition and SysML::Usage). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO If the metadata definition of a metadata usage is a direct or indirect specialization of KerML metaclass SemanticMetadata from the Metaobjects model in the Kernel Semantic Library ... then the annotated elements of the metadata usage must all be types ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The restricted type should be one of the reflective metaclasses from the KerML ... or SysML ... abstract syntax models. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO If a metadata usage then inherits one or more concrete features that directly or indirectly subset annotatedElement, any annotated element of the metadata usage must conform to the type of at least one of these features. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A metadata definition can restrict the kind of elements that it can be applied to by subsetting Metaobject::annotatedElement and restricting its type. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO However, the actor parameters of the included use case usages should be explicitly bound to appropriate actors of the containing use case, as necessary. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The subject of an included use case usage is bound by default to the subject of its containing use case definition or usage. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO If the declaration of an occurrence usage includes the the keyword individual (and, possibly, timeslice or snapshot), but no kind keyword, then this is equivalent to having included the occurrence keyword ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In this case, the occurrence usage must have exactly one definition that is an individual definition. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO An occurrence usage may also be explicitly declared to be an individual usage using the keyword individual, placed after any of the other usage property keywords ... but before a timeslice or snapshot keyword (if any). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO An occurrence usage (of any kind) is considered to be an individual usage if it has a definition that is an individual definition. An occurrence usage must not have more than one definition that is an individual definition. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In addition, its subject is bound by default to the subject of the objective, which is itself bound to the subject of the verification case. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In any case, since the requirement verification usage itself is a subrequirement, it is automatically considered a required constraint of its containing objective. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO As for an assumed or required constraint, the keyword verify can be used rather than verify requirement to declare a verified requirement using reference subsetting. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A requirement verification usage is a subrequirement of the objective that is indicated by prefixing a requirement usage declaration with the keyword verify. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In addition to assumed and required constraint usages allowed in any requirement usage ... the objective of a verification case may also have requirement verification usages, which indicate the requirements to be verified by the verification case. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In simple cases, the PassIf calculation definition from the VerificationCases library model ... can be used to obtain a pass or fail verdict based on a Boolean value. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO The result of a verification case is a verdict that can have the values pass, fail, inconclusive, or error. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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 OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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) OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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 ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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 ... OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO In addition, the result parameter for a calculation definition or usage can be declared as an out parameter using the keyword return instead of out. Note that a calculation definition or usage always has a result parameter, inherited if not owned. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A calculation usage is an action usage that is a usage of a calculation definition. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A calculation definition specifies a reusable computation that returns a result in the result parameter. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO A calculation definition is a kind of action definition ... that has a distinguished parameter with direction out called the result parameter (which is usually the only out parameter). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO In contrast, if a non-parallel state has substates then, exactly one of the substates shall be active at any point in time in the lifetime of the containing state after completion of the entry action (if any). OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO A parallel state is one whose substates are performed concurrently. As such, no transitions are allowed between the substates of a parallel state. OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025) SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO 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. OMG Kernel Modeling Language™ (KerML™) Version 1.0 SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE