An AcceptActionUsage is an ActionUsage that specifies the acceptance of an incomingTransfer from the Occurrence given by the result of its receiverArgument Expression. (If no receiverArgument is provided, the default is the this context of the AcceptActionUsage.) The payload of the accepted Transfer is output on its payloadParameter. Which Transfers may be accepted is determined by conformance to the typing and (potentially) binding of the payloadParameter.
An ActionDefinition is a Definition that is also a Behavior that defines an Action performed by a system or part of a system.
An ActionUsage is a Usage that is also a Step, and, so, is typed by a Behavior. Nominally, if the type is an ActionDefinition, an ActionUsage is a Usage of that ActionDefinition within a system. However, other kinds of kernel Behaviors are also allowed, to permit use of Behaviors from the Kernel Model Libraries.
An ActorMembership is a ParameterMembership that identifies a PartUsage as an actor parameter, which specifies a role played by an external entity in interaction with the owningType of the ActorMembership.
An AllocationDefinition is a ConnectionDefinition that specifies that some or all of the responsibility to realize the intent of the source is allocated to the target instances. Such allocations define mappings across the various structures and hierarchies of a system model, perhaps as a precursor to more rigorous specifications and implementations. An AllocationDefinition can itself be refined using nested allocations that give a finer-grained decomposition of the containing allocation mapping.
An AllocationUsage is a usage of an AllocationDefinition asserting the allocation of the source feature to the target feature.
An AnalysisCaseDefinition is a CaseDefinition for the case of carrying out an analysis.
An AnalysisCaseUsage is a Usage of an AnalysisCaseDefinition.
An AnnotatingElement is an Element that provides additional description of or metadata on some other Element. An AnnotatingElement is either attached to its annotatedElements by Annotation Relationships, or it implicitly annotates its owningNamespace.
An Annotation is a Relationship between an AnnotatingElement and the Element that is annotated by that AnnotatingElement.
An AssertConstraintUsage is a ConstraintUsage that is also an Invariant and, so, is asserted to be true (by default). Unless it is the AssertConstraintUsage itself, the asserted ConstraintUsage is related to the AssertConstraintUsage by a ReferenceSubsetting Relationship.
An AssignmentActionUsage is an ActionUsage that is defined, directly or indirectly, by the ActionDefinition AssignmentAction from the Systems Model Library. It specifies that the value of the referent Feature, relative to the target given by the result of the targetArgument Expression, should be set to the result of the valueExpression.
An Association is a Relationship and a Classifier to enable classification of links between things (in the universe). The co-domains (types) of the associationEnd Features are the relatedTypes, as co-domain and participants (linked things) of an Association identify each other.
An AssociationStructure is an Association that is also a Structure, classifying link objects that are both links and objects. As objects, link objects can be created and destroyed, and their non-end Features can change over time. However, the values of the end Features of a link object are fixed and cannot change over its lifetime.
An AttributeDefinition is a Definition and a DataType of information about a quality or characteristic of a system or part of a system that has no independent identity other than its value. All features of an AttributeDefinition must be referential (non-composite).
An AttributeUsage is a Usage whose type is a DataType. Nominally, if the type is an AttributeDefinition, an AttributeUsage is a usage of a AttributeDefinition to represent the value of some system quality or characteristic. However, other kinds of kernel DataTypes are also allowed, to permit use of DataTypes from the Kernel Model Libraries. An AttributeUsage itself as well as all its nested features must be referential (non-composite).
A Behavior coordinates occurrences of other Behaviors, as well as changes in objects. Behaviors can be decomposed into Steps and be characterized by parameters.
A BindingConnector is a binary Connector that requires its relatedFeatures to identify the same things (have the same values).
A BindingConnectorAsUsage is both a BindingConnector and a ConnectorAsUsage.
A BooleanExpression is a Boolean-valued Expression whose type is a Predicate. It represents a logical condition resulting from the evaluation of the Predicate.
A CalculationDefinition is an ActionDefinition that also defines a Function producing a result.
A CalculationUsage is an ActionUsage that is also an Expression, and, so, is typed by a Function. Nominally, if the type is a CalculationDefinition, a CalculationUsage is a Usage of that CalculationDefinition within a system. However, other kinds of kernel Functions are also allowed, to permit use of Functions from the Kernel Model Libraries.
A CaseDefinition is a CalculationDefinition for a process, often involving collecting evidence or data, relative to a subject, possibly involving the collaboration of one or more other actors, producing a result that meets an objective.
A CaseUsage is a Usage of a CaseDefinition.
A Class is a Classifier of things (in the universe) that can be distinguished without regard to how they are related to other things (via Features). This means multiple things classified by the same Class can be distinguished, even when they are related other things in exactly the same way.
A Classifier is a Type that classifies:.
A CollectExpression is an OperatorExpression whose operator is "collect", which resolves to the Function ControlFunctions::collect from the Kernel Functions Library.
A Comment is an AnnotatingElement whose body in some way describes its annotatedElements.
A ConcernDefinition is a RequirementDefinition that one or more stakeholders may be interested in having addressed. These stakeholders are identified by the ownedStakeholdersof the ConcernDefinition.
A ConcernUsage is a Usage of a ConcernDefinition.
A ConjugatedPortDefinition is a PortDefinition that is a PortDefinition of its original PortDefinition. That is, a ConjugatedPortDefinition inherits all the features of the original PortDefinition, but input flows of the original PortDefinition become outputs on the ConjugatedPortDefinition and output flows of the original PortDefinition become inputs on the ConjugatedPortDefinition. Every PortDefinition (that is not itself a ConjugatedPortDefinition) has exactly one corresponding ConjugatedPortDefinition, whose effective name is the name of the originalPortDefinition, with the character ~ prepended.
A ConjugatedPortTyping is a FeatureTyping whose type is a ConjugatedPortDefinition. (This relationship is intended to be an abstract-syntax marker for a special surface notation for conjugated typing of ports.).
Conjugation is a Relationship between two types in which the conjugatedType inherits all the Features of the originalType, but with all input and output Features reversed. That is, any Features with a direction in relative to the originalType are considered to have an effective direction of out relative to the conjugatedType and, similarly, Features with direction out in the originalType are considered to have an effective direction of in in the conjugatedType. Features with direction inout, or with no direction, in the originalType, are inherited without change.
A ConnectionDefinition is a PartDefinition that is also an AssociationStructure. The end Features of a ConnectionDefinition must be Usages.
A ConnectionUsage is a ConnectorAsUsage that is also a PartUsage. Nominally, if its type is a ConnectionDefinition, then a ConnectionUsage is a Usage of that ConnectionDefinition, representing a connection between parts of a system. However, other kinds of kernel AssociationStructures are also allowed, to permit use of AssociationStructures from the Kernel Model Libraries.
A Connector is a usage of Associations, with links restricted according to instances of the Type in which they are used (domain of the Connector). The associations of the Connector restrict what kinds of things might be linked. The Connector further restricts these links to be between values of Features on instances of its domain.
A ConnectorAsUsage is both a Connector and a Usage. ConnectorAsUsage cannot itself be instantiated in a SysML model, but it is a base class for the concrete classes BindingConnectorAsUsage, SuccessionAsUsage, ConnectionUsage and FlowConnectionUsage.
A ConstraintDefinition is an OccurrenceDefinition that is also a Predicate that defines a constraint that may be asserted to hold on a system or part of a system.
A ConstraintUsage is an OccurrenceUsage that is also a BooleanExpression, and, so, is typed by a Predicate. Nominally, if the type is a ConstraintDefinition, a ConstraintUsage is a Usage of that ConstraintDefinition. However, other kinds of kernel Predicates are also allowed, to permit use of Predicates from the Kernel Model Libraries.
A ConstructorExpression is an InstantiationExpression whose result specializes its instantiatedType, binding some or all of the features of the instantiatedType to the results of its argument Expressions.
A ControlNode is an ActionUsage that does not have any inherent behavior but provides constraints on incoming and outgoing Successions that are used to control other Actions. A ControlNode must be a composite owned usage of an ActionDefinition or ActionUsage.
CrossSubsetting is a kind of Subsetting for end Features, as identified by crossingFeature, to subset a chained Feature, identified by crossedFeature. It navigates to instances of the end Feature’s type from instances of other end Feature types on the same owningType (at least two end Features are required for any of them to have a CrossSubsetting).
A DataType is a Classifier of things (in the universe) that can only be distinguished by how they are related to other things (via Features). This means multiple things classified by the same DataType.
A DecisionNode is a ControlNode that makes a selection from its outgoing Successions.
A Definition is a Classifier of Usages. The actual kinds of Definition that may appear in a model are given by the subclasses of Definition (possibly as extended with user-defined SemanticMetadata).
A Dependency is a Relationship that indicates that one or more client Elements require one more supplier Elements for their complete specification. In general, this means that a change to one of the supplier Elements may necessitate a change to, or re-specification of, the client Elements.
Differencing is a Relationship that makes its differencingType one of the differencingTypes of its typeDifferenced.
A Disjoining is a Relationship between Types asserted to have interpretations that are not shared (disjoint) between them, identified as typeDisjoined and disjoiningType. For example, a Classifier for mammals is disjoint from a Classifier for minerals, and a Feature for people's parents is disjoint from a Feature for their children.
Documentation is a Comment that specifically documents a documentedElement, which must be its owner.
An Element is a constituent of a model that is uniquely identified relative to all other Elements. It can have Relationships with other Elements. Some of these Relationships might imply ownership of other Elements, which means that if an Element is deleted from a model, then so are all the Elements that it owns.
ElementFilterMembership is a Membership between a Namespace and a model-level evaluable Boolean-valued Expression, asserting that imported members of the Namespace should be filtered using the condition Expression. A general Namespace does not define any specific filtering behavior, but such behavior may be defined for various specialized kinds of Namespaces.
EndFeatureMembership is a FeatureMembership that requires its memberFeature be owned and have isEnd = true.
An EnumerationDefinition is an AttributeDefinition all of whose instances are given by an explicit list of enumeratedValues. This is realized by requiring that the EnumerationDefinition have isVariation = true, with the enumeratedValues being its variants.
An EnumerationUsage is an AttributeUsage whose attributeDefinition is an EnumerationDefinition.
An EventOccurrenceUsage is an OccurrenceUsage that represents another OccurrenceUsage occurring as a suboccurrence of the containing occurrence of the EventOccurrenceUsage. Unless it is the EventOccurrenceUsage itself, the referenced OccurrenceUsage is related to the EventOccurrenceUsage by a ReferenceSubsetting Relationship.
An ExhibitStateUsage is a StateUsage that represents the exhibiting of a StateUsage. Unless it is the StateUsage itself, the StateUsage to be exhibited is related to the ExhibitStateUsage by a ReferenceSubsetting Relationship. An ExhibitStateUsage is also a PerformActionUsage, with its exhibitedState as the performedAction.
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).
An Expression is a Step that is typed by a Function. An Expression that also has a Function as its featuringType is a computational step within that Function. An Expression always has a single result parameter, which redefines the result parameter of its defining function. This allows Expressions to be interconnected in tree structures, in which inputs to each Expression in the tree are determined as the results of other Expression in the tree.
A Feature is a Type that classifies relations between multiple things (in the universe). The domain of the relation is the intersection of the featuringTypes of the Feature. (The domain of a Feature with no featuringTyps is implicitly the most general Type Base::Anything from the Kernel Semantic Library.) The co-domain of the relation is the intersection of the types of the Feature. .
A FeatureChainExpression is an OperatorExpression whose operator is ".", which resolves to the Function ControlFunctions::'.' from the Kernel Functions Library. It evaluates to the result of chaining the result Feature of its single argument Expression with its targetFeature.
FeatureChaining is a Relationship that makes its target Feature one of the chainingFeatures of its owning Feature.
FeatureDirectionKind enumerates the possible kinds of direction that a Feature may be given as a member of a Type.
A FeatureInverting is a Relationship between Features asserting that their interpretations (sequences) are the reverse of each other, identified as featureInverted and invertingFeature. For example, a Feature identifying each person's parents is the inverse of a Feature identifying each person's children. A person identified as a parent of another will identify that other as one of their children.
A FeatureMembership is an OwningMembership between an ownedMemberFeature and an owningType. If the ownedMemberFeature has isVariable = false, then the FeatureMembership implies that the owningType is also a featuringType of the ownedMemberFeature. If the ownedMemberFeature has isVariable = true, then the FeatureMembership implies that the ownedMemberFeature is featured by the snapshots of the owningType, which must specialize the Kernel Semantic Library base class Occurrence.
A FeatureReferenceExpression is an Expression whose result is bound to a referent Feature.
FeatureTyping is Specialization in which the specific Type is a Feature. This means the set of instances of the (specific) typedFeature is a subset of the set of instances of the (general) type. In the simplest case, the type is a Classifier, whereupon the typedFeature has values that are instances of the Classifier.
A FeatureValue is a Membership that identifies a particular member Expression that provides the value of the Feature that owns the FeatureValue. The value is specified as either a bound value or an initial value, and as either a concrete or default value. A Feature can have at most one FeatureValue.
An Flow is a Step that represents the transfer of values from one Feature to another. Flows can take non-zero time to complete.
A FlowDefinition is an ActionDefinition that is also an Interaction (which is both a KerML Behavior and Association), representing flows between Usages.
A FlowEnd is a Feature that is one of the connectorEnds giving the source or target of a Flow. For Flows typed by FlowTransfer or its specializations, FlowEnds must have exactly one ownedFeature, which redefines Transfer::source::sourceOutput or Transfer::target::targetInput and redefines the corresponding feature of the relatedElement for its end.
A FlowUsage is an ActionUsage that is also a ConnectorAsUsage and a KerML Flow.
A ForLoopActionUsage is a LoopActionUsage that specifies that its bodyAction ActionUsage should be performed once for each value, in order, from the sequence of values obtained as the result of the seqArgument Expression, with the loopVariable set to the value for each iteration.
A ForkNode is a ControlNode that must be followed by successor Actions as given by all its outgoing Successions.
A FramedConcernMembership is a RequirementConstraintMembership for a framed ConcernUsage of a RequirementDefinition or RequirementUsage.
A Function is a Behavior that has an out parameter that is identified as its result. A Function represents the performance of a calculation that produces the values of its result parameter. This calculation may be decomposed into Expressions that are steps of the Function.
An IfActionUsage is an ActionUsage that specifies that the thenAction ActionUsage should be performed if the result of the ifArgument Expression is true. It may also optionally specify an elseAction ActionUsage that is performed if the result of the ifArgument is false.
An Import is an Relationship between its importOwningNamespace and either a Membership (for a MembershipImport) or another Namespace (for a NamespaceImport), which determines a set of Memberships that become importedMemberships of the importOwningNamespace. If isImportAll = false (the default), then only public Memberships are considered "visible". If isImportAll = true, then all Memberships are considered "visible", regardless of their declared visibility. If isRecursive = true, then visible Memberships are also recursively imported from owned sub-Namespaces.
An IncludeUseCaseUsage is a UseCaseUsage that represents the inclusion of a UseCaseUsage by a UseCaseDefinition or UseCaseUsage. Unless it is the IncludeUseCaseUsage itself, the UseCaseUsage to be included is related to the includedUseCase by a ReferenceSubsetting Relationship. An IncludeUseCaseUsage is also a PerformActionUsage, with its useCaseIncluded as the performedAction.
An IndexExpression is an OperatorExpression whose operator is "#", which resolves to the Function BasicFunctions::'#' from the Kernel Functions Library.
An InstantiationExpression is an Expression that instantiates its instantiatedType, binding some or all of the features of that Type to the results of its arguments.
An Interaction is a Behavior that is also an Association, providing a context for multiple objects that have behaviors that impact one another.
An InterfaceDefinition is a ConnectionDefinition all of whose ends are PortUsages, defining an interface between elements that interact through such ports.
An InterfaceUsage is a Usage of an InterfaceDefinition to represent an interface connecting parts of a system through specific ports.
Intersecting is a Relationship that makes its intersectingType one of the intersectingTypes of its typeIntersected.
An Invariant is a BooleanExpression that is asserted to have a specific Boolean result value. If isNegated = false, then the result is asserted to be true. If isNegated = true, then the result is asserted to be false.
An InvocationExpression is an InstantiationExpression whose instantiatedType must be a Behavior or a Feature typed by a single Behavior (such as a Step). Each of the input parameters of the instantiatedType are bound to the result of an argument Expression. If the instantiatedType is a Function or a Feature typed by a Function, then the result of the InvocationExpression is the result of the invoked Function. Otherwise, the result is an instance of the instantiatedType (essentially like a behavioral ConstructorExpression).
An ItemDefinition is an OccurrenceDefinition of the Structure of things that may themselves be systems or parts of systems, but may also be things that are acted on by a system or parts of a system, but which do not necessarily perform actions themselves. This includes items that can be exchanged between parts of a system, such as water or electrical signals.
An ItemUsage is a ItemUsage whose definition is a Structure. Nominally, if the definition is an ItemDefinition, an ItemUsage is a ItemUsage of that ItemDefinition within a system. However, other kinds of Kernel Structures are also allowed, to permit use of Structures from the Kernel Model Libraries.
A JoinNode is a ControlNode that waits for the completion of all the predecessor Actions given by incoming Successions.
A LibraryPackage is a Package that is the container for a model library. A LibraryPackage is itself a library Element as are all Elements that are directly or indirectly contained in it.
LiteralBoolean is a LiteralExpression that provides a Boolean value as a result. Its result parameter must have type Boolean.
A LiteralExpression is an Expression that provides a basic DataValue as a result.
A LiteralInfinity is a LiteralExpression that provides the positive infinity value (*). It's result must have the type Positive.
A LiteralInteger is a LiteralExpression that provides an Integer value as a result. Its result parameter must have the type Integer.
A LiteralRational is a LiteralExpression that provides a Rational value as a result. Its result parameter must have the type Rational.
A LiteralString is a LiteralExpression that provides a String value as a result. Its result parameter must have the type String.
A LoopActionUsage is an ActionUsage that specifies that its bodyAction should be performed repeatedly. Its subclasses WhileLoopActionUsage and ForLoopActionUsage provide different ways to determine how many times the bodyAction should be performed.
A Membership is a Relationship between a Namespace and an Element that indicates the Element is a member of (i.e., is contained in) the Namespace. Any memberNames specify how the memberElement is identified in the Namespace and the visibility specifies whether or not the memberElement is publicly visible from outside the Namespace.
A MembershipExpose is an Expose that exposes a specific importedMembership and, if isRecursive = true, additional Memberships recursively.
A MembershipImport is an Import that imports its importedMembership into the importOwningNamespace. If isRecursive = true and the memberElement of the importedMembership is a Namespace, then the equivalent of a recursive NamespaceImport is also performed on that Namespace.
A MergeNode is a ControlNode that asserts the merging of its incoming Successions. A MergeNode may have at most one outgoing Successions.
A Metaclass is a Structure used to type MetadataFeatures.
A MetadataAccessExpression is an Expression whose result is a sequence of instances of Metaclasses representing all the MetadataFeature annotations of the referencedElement. In addition, the sequence includes an instance of the reflective Metaclass corresponding to the MOF class of the referencedElement, with values for all the abstract syntax properties of the referencedElement.
A MetadataDefinition is an ItemDefinition that is also a Metaclass.
A MetadataFeature is a Feature that is an AnnotatingElement used to annotate another Element with metadata. It is typed by a Metaclass. All its ownedFeatures must redefine features of its metaclass and any feature bindings must be model-level evaluable.
A MetadataUsage is a Usage and a MetadataFeature, used to annotate other Elements in a system model with metadata. As a MetadataFeature, its type must be a Metaclass, which will nominally be a MetadataDefinition. However, any kernel Metaclass is also allowed, to permit use of Metaclasses from the Kernel Model Libraries.
A Multiplicity is a Feature whose co-domain is a set of natural numbers giving the allowed cardinalities of each typeWithMultiplicity. The cardinality of a Type is defined as follows, depending on whether the Type is a Classifier or Feature. .
A MultiplicityRange is a Multiplicity whose value is defined to be the (inclusive) range of natural numbers given by the result of a lowerBound Expression and the result of an upperBound Expression. The result of these Expressions shall be of type Natural. If the result of the upperBound Expression is the unbounded value *, then the specified range includes all natural numbers greater than or equal to the lowerBound value. If no lowerBound Expression, then the default is that the lower bound has the same value as the upper bound, except if the upperBound evaluates to *, in which case the default for the lower bound is 0.
A Namespace is an Element that contains other Elements, known as its members, via Membership Relationships with those Elements. The members of a Namespace may be owned by the Namespace, aliased in the Namespace, or imported into the Namespace via Import Relationships.
A NamespaceExpose is an Expose Relationship that exposes the Memberships of a specific importedNamespace and, if isRecursive = true, additional Memberships recursively.
A NamespaceImport is an Import that imports Memberships from its importedNamespace into the importOwningNamespace. If isRecursive = false, then only the visible Memberships of the importedNamespace are imported. If isRecursive = true, then, in addition, Memberships are recursively imported from any ownedMembers of the importedNamespace that are Namespaces.
A NullExpression is an Expression that results in a null value.
An ObjectiveMembership is a FeatureMembership that indicates that its ownedObjectiveRequirement is the objective RequirementUsage for its owningType, which must be a CaseDefinition or CaseUsage.
An OccurrenceDefinition is a Definition of a Class of individuals that have an independent life over time and potentially an extent over space. This includes both structural things and behaviors that act on such structures. If isIndividual is true, then the OccurrenceDefinition is constrained to have (at most) a single instance that is the entire life of a single individual.
An OccurrenceUsage is a Usage whose types are all Classes. Nominally, if a type is an OccurrenceDefinition, an OccurrenceUsage is a Usage of that OccurrenceDefinition within a system. However, other types of Kernel Classes are also allowed, to permit use of Classes from the Kernel Model Libraries.
An OperatorExpression is an InvocationExpression whose function is determined by resolving its operator in the context of one of the standard packages from the Kernel Function Library.
An OwningMembership is a Membership that owns its memberElement as a ownedRelatedElement. The ownedMemberElement becomes an ownedMember of the membershipOwningNamespace.
A Package is a Namespace used to group Elements, without any instance-level semantics. It may have one or more model-level evaluable filterCondition Expressions used to filter its importedMemberships. Any imported member must meet all of the filterConditions.
A ParameterMembership is a FeatureMembership that identifies its memberFeature as a parameter, which is always owned, and must have a direction. A ParameterMembership must be owned by a Behavior, a Step, or the result parameter of a ConstructorExpression.
A PartDefinition is an ItemDefinition of a Class of systems or parts of systems. Note that all parts may be considered items for certain purposes, but not all items are parts that can perform actions within a system.
A PartUsage is a usage of a PartDefinition to represent a system or a part of a system. At least one of the itemDefinitions of the PartUsage must be a PartDefinition.
A PayloadFeature is the ownedFeature of a Flow that identifies the things carried by the kinds of transfers that are instances of the Flow.
A PerformActionUsage is an ActionUsage that represents the performance of an ActionUsage. Unless it is the PerformActionUsage itself, the ActionUsage to be performed is related to the PerformActionUsage by a ReferenceSubsetting relationship. A PerformActionUsage is also an EventOccurrenceUsage, with its performedAction as the eventOccurrence.
A PortConjugation is a Conjugation Relationship between a PortDefinition and its corresponding ConjugatedPortDefinition. As a result of this Relationship, the ConjugatedPortDefinition inherits all the features of the original PortDefinition, but input flows of the original PortDefinition become outputs on the ConjugatedPortDefinition and output flows of the original PortDefinition become inputs on the ConjugatedPortDefinition.
A PortDefinition defines a point at which external entities can connect to and interact with a system or part of a system. Any ownedUsages of a PortDefinition, other than PortUsages, must not be composite.
A PortUsage is a usage of a PortDefinition. A PortUsage itself as well as all its nestedUsages must be referential (non-composite).
PortionKind is an enumeration of the specific kinds of Occurrence portions that can be represented by an OccurrenceUsage.
A Predicate is a Function whose result parameter has type Boolean and multiplicity 1..1.
Redefinition is a kind of Subsetting that requires the redefinedFeature and the redefiningFeature to have the same values (on each instance of the domain of the redefiningFeature). This means any restrictions on the redefiningFeature, such as type or multiplicity, also apply to the redefinedFeature (on each instance of the domain of the redefiningFeature), and vice versa. The redefinedFeature might have values for instances of the domain of the redefiningFeature, but only as instances of the domain of the redefinedFeature that happen to also be instances of the domain of the redefiningFeature. This is supported by the constraints inherited from Subsetting on the domains of the redefiningFeature and redefinedFeature. However, these constraints are narrowed for Redefinition to require the owningTypes of the redefiningFeature and redefinedFeature to be different and the redefinedFeature to not be inherited into the owningNamespace of the redefiningFeature.This enables the redefiningFeature to have the same name as the redefinedFeature, if desired.
ReferenceSubsetting is a kind of Subsetting in which the referencedFeature is syntactically distinguished from other Features subsetted by the referencingFeature. ReferenceSubsetting has the same semantics as Subsetting, but the referencedFeature may have a special purpose relative to the referencingFeature. For instance, ReferenceSubsetting is used to identify the relatedFeatures of a Connector.
A ReferenceUsage is a Usage that specifies a non-compositional (isComposite = false) reference to something. The definition of a ReferenceUsage can be any kind of Classifier, with the default being the top-level Classifier Base::Anything from the Kernel Semantic Library. This allows the specification of a generic reference without distinguishing if the thing referenced is an attribute value, item, action, etc.
A Relationship is an Element that relates other Element. Some of its relatedElements may be owned, in which case those ownedRelatedElements will be deleted from a model if their owningRelationship is. A Relationship may also be owned by another Element, in which case the ownedRelatedElements of the Relationship are also considered to be transitively owned by the owningRelatedElement of the Relationship.
A RenderingDefinition is a PartDefinition that defines a specific rendering of the content of a model view (e.g., symbols, style, layout, etc.).
A RenderingUsage is the usage of a RenderingDefinition to specify the rendering of a specific model view to produce a physical view artifact.
A RequirementConstraintKind indicates whether a ConstraintUsage is an assumption or a requirement in a RequirementDefinition or RequirementUsage.
A RequirementConstraintMembership is a FeatureMembership for an assumed or required ConstraintUsage of a RequirementDefinition or RequirementUsage.
A RequirementDefinition is a ConstraintDefinition that defines a requirement used in the context of a specification as a constraint that a valid solution must satisfy. The specification is relative to a specified subject, possibly in collaboration with one or more external actors.
A RequirementUsage is a Usage of a RequirementDefinition.
A RequirementVerificationMembership is a RequirementConstraintMembership used in the objective of a VerificationCase to identify a RequirementUsage that is verified by the VerificationCase.
A ResultExpressionMembership is a FeatureMembership that indicates that the ownedResultExpression provides the result values for the Function or Expression that owns it. The owning Function or Expression must contain a BindingConnector between the result parameter of the ownedResultExpression and the result parameter of the owning Function or Expression.
A ReturnParameterMembership is a ParameterMembership that indicates that the ownedMemberParameter is the result parameter of a Function or Expression. The direction of the ownedMemberParameter must be out.
A SatisfyRequirementUsage is an AssertConstraintUsage that asserts, by default, that a satisfied RequirementUsage is true for a specific satisfyingFeature, or, if isNegated = true, that the RequirementUsage is false. The satisfied RequirementUsage is related to the SatisfyRequirementUsage by a ReferenceSubsetting Relationship.
A SelectExpression is an OperatorExpression whose operator is "select", which resolves to the Function ControlFunctions::select from the Kernel Functions Library.
A SendActionUsage is an ActionUsage that specifies the sending of a payload given by the result of its payloadArgument Expression via a MessageTransfer whose source is given by the result of the senderArgument Expression and whose target is given by the result of the receiverArgument Expression. If no senderArgument is provided, the default is the this context for the action. If no receiverArgument is given, then the receiver is to be determined by, e.g., outgoing Connections from the sender.
Specialization is a Relationship between two Types that requires all instances of the specific type to also be instances of the general Type (i.e., the set of instances of the specific Type is a subset of those of the general Type, which might be the same set).
A StakeholderMembership is a ParameterMembership that identifies a PartUsage as a stakeholderParameter of a RequirementDefinition or RequirementUsage, which specifies a role played by an entity with concerns framed by the owningType.
A StateDefinition is the Definition of the Behavior of a system or part of a system in a certain state condition.
A StateSubactionKind indicates whether the action of a StateSubactionMembership is an entry, do or exit action.
A StateSubactionMembership is a FeatureMembership for an entry, do or exit ActionUsage of a StateDefinition or StateUsage.
A StateUsage is an ActionUsage that is nominally the Usage of a StateDefinition. However, other kinds of kernel Behaviors are also allowed as types, to permit use of Behaviors .
A Step is a Feature that is typed by one or more Behaviors. Steps may be used by one Behavior to coordinate the performance of other Behaviors, supporting a steady refinement of behavioral descriptions. Steps can be ordered in time and can be connected using Flows to specify things flowing between their parameters.
A Structure is a Class of objects in the modeled universe that are primarily structural in nature. While such an object is not itself behavioral, it may be involved in and acted on by Behaviors, and it may be the performer of some of them.
Subclassification is Specialization in which both the specific and general Types are Classifier. This means all instances of the specific Classifier are also instances of the general Classifier.
A SubjectMembership is a ParameterMembership that indicates that its ownedSubjectParameter is the subject of its owningType. The owningType of a SubjectMembership must be a RequirementDefinition, RequirementUsage, CaseDefinition, or CaseUsage.
Subsetting is Specialization in which the specific and general Types are Features. This means all values of the subsettingFeature (on instances of its domain, i.e., the intersection of its featuringTypes) are values of the subsettedFeature on instances of its domain. To support this the domain of the subsettingFeature must be the same or specialize (at least indirectly) the domain of the subsettedFeature (via Specialization), and the co-domain (intersection of the types) of the subsettingFeature must specialize the co-domain of the subsettedFeature.
A Succession is a binary Connector that requires its relatedFeatures to happen separately in time.
A SuccessionAsUsage is both a ConnectorAsUsage and a Succession.
A SuccessionFlow is a Flow that also provides temporal ordering. It classifies Transfers that cannot start until the source Occurrence has completed and that must complete before the target Occurrence can start.
A SuccessionFlowUsage is a FlowUsage that is also a KerML SuccessionFlow.
A TerminateActionUsage is an ActionUsage that directly or indirectly specializes the ActionDefinition TerminateAction from the Systems Model Library, which causes a given terminatedOccurrence to end during its performance. By default, the terminatedOccurrence is the featuring instance (that) of the performance of the TerminateActionUsage, generally the performance of its immediately containing ActionDefinition or ActionUsage.
A TextualRepresentation is an AnnotatingElement whose body represents the representedElement in a given language. The representedElement must be the owner of the TextualRepresentation. The named language can be a natural language, in which case the body is an informal representation, or an artificial language, in which case the body is expected to be a formal, machine-parsable representation.
A TransitionActionKind indicates whether the transitionFeature of a TransitionFeatureMembership is a trigger, guard or effect.
A TransitionFeatureMembership is a FeatureMembership for a trigger, guard or effect of a TransitionUsage, whose transitionFeature is a AcceptActionUsage, Boolean-valued Expression or ActionUsage, depending on its kind. .
A TransitionUsage is an ActionUsage representing a triggered transition between ActionUsages or StateUsages. When triggered by a triggerAction, when its guardExpression is true, the TransitionUsage asserts that its source is exited, then its effectAction (if any) is performed, and then its target is entered.
A TriggerInvocationExpression is an InvocationExpression that invokes one of the trigger Functions from the Kernel Semantic Library Triggers package, as indicated by its kind.
TriggerKind enumerates the kinds of triggers that can be represented by a TriggerInvocationExpression.
A Type is a Namespace that is the most general kind of Element supporting the semantics of classification. A Type may be a Classifier or a Feature, defining conditions on what is classified by the Type (see also the description of isSufficient).
A TypeFeaturing is a Featuring Relationship in which the featureOfType is the source and the featuringType is the target.
Unioning is a Relationship that makes its unioningType one of the unioningTypes of its typeUnioned.
A UseCaseDefinition is a CaseDefinition that specifies a set of actions performed by its subject, in interaction with one or more actors external to the subject. The objective is to yield an observable result that is of value to one or more of the actors.
A UseCaseUsage is a Usage of a UseCaseDefinition.
A VariantMembership is a Membership between a variation point Definition or Usage and a Usage that represents a variant in the context of that variation. The membershipOwningNamespace for the VariantMembership must be either a Definition or a Usage with isVariation = true.
A VerificationCaseDefinition is a CaseDefinition for the purpose of verification of the subject of the case against its requirements.
A VerificationCaseUsage is a Usage of a VerificationCaseDefinition.
A ViewDefinition is a PartDefinition that specifies how a view artifact is constructed to satisfy a viewpoint. It specifies a viewConditions to define the model content to be presented and a viewRendering to define how the model content is presented.
A ViewRenderingMembership is a FeatureMembership that identifies the viewRendering of a ViewDefinition or ViewUsage.
A ViewUsage is a usage of a ViewDefinition to specify the generation of a view of the members of a collection of exposedNamespaces. The ViewUsage can satisfy more viewpoints than its definition, and it can specialize the viewRendering specified by its definition.
A ViewpointDefinition is a RequirementDefinition that specifies one or more stakeholder concerns that are to be satisfied by creating a view of a model.
A ViewpointUsage is a Usage of a ViewpointDefinition.
VisibilityKind is an enumeration whose literals specify the visibility of a Membership of an Element in a Namespace outside of that Namespace. Note that "visibility" specifically restricts whether an Element in a Namespace may be referenced by name from outside the Namespace and only otherwise restricts access to an Element as provided by specific constraints in the abstract syntax (e.g., preventing the import or inheritance of private Elements).
A WhileLoopActionUsage is a LoopActionUsage that specifies that the bodyAction ActionUsage should be performed repeatedly while the result of the whileArgument Expression is true or until the result of the untilArgument Expression (if provided) is true. The whileArgument Expression is evaluated before each (possible) performance of the bodyAction, and the untilArgument Expression is evaluated after each performance of the bodyAction.
ActionDefinition: The ActionUsages that are steps in this ActionDefinition, which define the actions that specify the behavior of the ActionDefinition. StateSubactionMembership: The ActionUsage that is the ownedMemberFeature of this StateSubactionMembership.
ActionUsage: The Behaviors that are the types of this ActionUsage. Nominally, these would be ActionDefinitions, but other kinds of Kernel Behaviors are also allowed, to permit use of Behaviors from the Kernel Model Libraries.
RequirementUsage: The parameters of this RequirementUsage that represent actors involved in the requirement. RequirementDefinition: The parameters of this RequirementDefinition that represent actors involved in the requirement. CaseUsage: The parameters of this CaseUsage that represent actors involved in the case. CaseDefinition: The parameters of this CaseDefinition that represent actors involved in the case.
Indicates a relative time trigger, corresponding to the TriggerAfter Function from the Triggers model in the Kernel Semantic Library.
Element: Various alternative identifiers for this Element. Generally, these will be set by tools.
AllocationDefinition: The AllocationUsages that refine the allocation mapping defined by this AllocationDefinition.
AllocationUsage: The AllocationDefinitions that are the types of this AllocationUsage.
AnalysisCaseUsage: The AnalysisCaseDefinition that is the definition of this AnalysisCaseUsage.
AnnotatingElement: The Elements that are annotated by this AnnotatingElement. If annotation is not empty, these are the annotatedElements of the annotations. If annotation is empty, then it is the owningNamespace of the AnnotatingElement. Annotation: The Element that is annotated by the annotatingElement of this Annotation.
Annotation: The AnnotatingElement that annotates the annotatedElement of this Annotation. This is always either the ownedAnnotatingElement or the owningAnnotatingElement.
AnnotatingElement: The Annotations that relate this AnnotatingElement to its annotatedElements. This includes the owningAnnotatingRelationship (if any) followed by all the ownedAnnotatingRelationshps.
InstantiationExpression: The Expressions whose results are bound to features of the instantiatedType. The arguments are ordered consistent with the order of the features, though they may not be one-to-one with all the features.
AssertConstraintUsage: The ConstraintUsage to be performed by the AssertConstraintUsage. It is the referenceFeature of the ownedReferenceSubsetting for the AssertConstraintUsage, if there is one, and, otherwise, the AssertConstraintUsage itself.
Connector: The Associations that type the Connector.
Association: The features of the Association that identify the things that can be related by it. A concrete Association must have at least two associationEnds. When it has exactly two, the Association is called a binary Association.
RequirementUsage: The owned ConstraintUsages that represent assumptions of this RequirementUsage, derived as the ownedConstraints of the RequirementConstraintMemberships of the RequirementUsage with kind = assumption. RequirementDefinition: The owned ConstraintUsages that represent assumptions of this RequirementDefinition, which are the ownedConstraints of the RequirementConstraintMemberships of the RequirementDefinition with kind = assumption.
Indicates that a member ConstraintUsage of a RequirementDefinition or RequirementUsage represents an assumption.
Indicates an absolute time trigger, corresponding to the TriggerAt Function from the Triggers model in the Kernel Semantic Library.
AttributeUsage: The DataTypes that are the types of this AttributeUsage. Nominally, these are AttributeDefinitions, but other kinds of kernel DataTypes are also allowed, to permit use of DataTypes from the Kernel Model Libraries.
Step: The Behaviors that type this Step.
Comment: The annotation text for the Comment. TextualRepresentation: The textual representation of the representedElement in the given language.
LoopActionUsage: The ActionUsage to be performed repeatedly by the LoopActionUsage. It is the second parameter of the LoopActionUsage.
MultiplicityRange: The owned Expressions of the MultiplicityRange whose results provide its bounds. These must be the first ownedMembers of the MultiplicityRange.
CalculationDefinition: The actions of this CalculationDefinition that are CalculationUsages.
CalculationUsage: The Function that is the type of this CalculationUsage. Nominally, this would be a CalculationDefinition, but a kernel Function is also allowed, to permit use of Functions from the Kernel Model Libraries.
CaseUsage: The CaseDefinition that is the type of this CaseUsage.
Feature: The Feature that are chained together to determine the values of this Feature, derived from the chainingFeatures of the ownedFeatureChainings of this Feature, in the same order. The values of a Feature with chainingFeatures are the same as values of the last Feature in the chain, which can be found by starting with the values of the first Feature (for each instance of the domain of the original Feature), then using each of those as domain instances to find the values of the second Feature in chainingFeatures, and so on, to values of the last Feature. FeatureChaining: The Feature whose values partly determine values of featureChained, as described in Feature::chainingFeature.
Dependency: The Element or Elements dependent on the supplier Elements.
ConcernUsage: The ConcernDefinition that is the single type of this ConcernUsage.
ElementFilterMembership: The model-level evaluable Boolean-valued Expression used to filter the imported members of the membershipOwningNamespace of this ElementFilterMembership.
PortDefinition: The that is conjugate to this PortDefinition. PortConjugation: The ConjugatedPortDefinition that is conjugate to the originalPortDefinition. ConjugatedPortTyping: The type of this ConjugatedPortTyping considered as a FeatureTyping, which must be a ConjugatedPortDefinition.
Conjugation: The Type that is the result of applying Conjugation to the originalType.
ConnectionUsage: The AssociationStructures that are the types of this ConnectionUsage. Nominally, these are , but other kinds of Kernel AssociationStructures are also allowed, to permit use of AssociationStructures from the Kernel Model Libraries.
ConnectionDefinition: The Usages that define the things related by the ConnectionDefinition.
Connector: The endFeatures of a Connector, which redefine the endFeatures of the associations of the Connector. The connectorEnds determine via ReferenceSubsetting Relationships which Features are related by the Connector.
ConstraintUsage: The (single) Predicate that is the type of this ConstraintUsage. Nominally, this will be a ConstraintDefinition, but other kinds of Predicates are also allowed, to permit use of Predicates from the Kernel Model Libraries.
Feature: The second chainingFeature of the crossedFeature of the ownedCrossSubsetting of this Feature, if it has one. Semantically, the values of the crossFeature of an end Feature must include all values of the end Feature obtained when navigating from values of the other end Features of the same owningType. .
CrossSubsetting: The chained Feature that is cross subset by the crossingFeature of this CrossSubsetting.
CrossSubsetting: The end Feature that owns this CrossSubsetting relationship and is also its subsettingFeature.
Element: The declared name of this Element.
Element: An optional alternative name for the Element that is intended to be shorter or in some way more succinct than its primary name. It may act as a modeler-specified identifier for the Element, though it is then the responsibility of the modeler to maintain the uniqueness of this identifier within a model or relative to some other context.
Connector: The innermost Type that is a common direct or indirect featuringType of the relatedFeatures, such that, if it exists and was the featuringType of this Connector, the Connector would satisfy the checkConnectorTypeFeaturing constraint.
Usage: The Classifiers that are the types of this Usage. Nominally, these are Definitions, but other kinds of Kernel Classifiers are also allowed, to permit use of Classifiers from the Kernel Model Libraries.
Type: The interpretations of a Type with differencingTypes are asserted to be those of the first of those Types, but not including those of the remaining Types. For example, a Classifier might be the difference of a Classifier for people and another for people of a particular nationality, leaving people who are not of that nationality. Similarly, a feature of people might be the difference between a feature for their children and a Classifier for people of a particular sex, identifying their children not of that sex (because the interpretations of the children Feature that identify those of that sex are also interpretations of the Classifier for that sex). Differencing: Type that partly determines interpretations of typeDifferenced, as described in Type::differencingType.
Type: The features of this Type that have a non-null direction.
Definition: The usages of this Definition that are directedFeatures. Usage: The usages of this Usage that are directedFeatures.
Feature: Indicates how values of this Feature are determined or used (as specified for the FeatureDirectionKind).
Disjoining: Type asserted to be disjoint with the typeDisjoined.
Indicates that the action of a StateSubactionMembership is a doAction.
StateUsage: The ActionUsage of this StateUsage to be performed while in the state defined by the StateDefinition. It is the owned ActionUsage related to the StateUsage by a StateSubactionMembership with kind = do. StateDefinition: The ActionUsage of this StateDefinition to be performed while in the state defined by the StateDefinition. It is the owned ActionUsage related to the StateDefinition by a StateSubactionMembership with kind = do.
Element: The Documentation owned by this Element.
Documentation: The Element that is documented by this Documentation.
Indicates that the transitionFeature of a TransitionFeatureMembership is an effectAction.
TransitionUsage: The ActionUsages that define the effects of this TransitionUsage, which are the ownedFeatures of the TransitionUsage related to it by TransitionFeatureMemberships with kind = effect, which must all be ActionUsages.
Element: The globally unique identifier for this Element. This is intended to be set by tooling, and it must not change during the lifetime of the Element.
IfActionUsage: The ActionUsage that is to be performed if the result of the ifArgument is false. It is the (optional) third parameter of the IfActionUsage.
Type: All features of this Type with isEnd = true.
Feature: The Type that is related to this Feature by an EndFeatureMembership in which the Feature is an ownedMemberFeature.
Indicates that the action of a StateSubactionMembership is an entryAction.
StateUsage: The ActionUsage of this StateUsage to be performed on entry to the state defined by the StateDefinition. It is the owned ActionUsage related to the StateUsage by a StateSubactionMembership with kind = entry. StateDefinition: The ActionUsage of this StateDefinition to be performed on entry to the state defined by the StateDefinition. It is the owned ActionUsage related to the StateDefinition by a StateSubactionMembership with kind = entry.
EnumerationDefinition: EnumerationUsages of this EnumerationDefinitionthat have distinct, fixed values. Each enumeratedValue specifies one of the allowed instances of the EnumerationDefinition.
EnumerationUsage: The single EnumerationDefinition that is the type of this EnumerationUsage.
EventOccurrenceUsage: The OccurrenceUsage referenced as an event by this EventOccurrenceUsage. It is the referenceFeature of the ownedReferenceSubsetting for the EventOccurrenceUsage, if there is one, and, otherwise, the EventOccurrenceUsage itself.
ExhibitStateUsage: The StateUsage to be exhibited by the ExhibitStateUsage. It is the performedAction of the ExhibitStateUsage considered as a PerformActionUsage, which must be a StateUsage.
Indicates that the action of a StateSubactionMembership is an exitAction.
StateUsage: The ActionUsage of this StateUsage to be performed on exit to the state defined by the StateDefinition. It is the owned ActionUsage related to the StateUsage by a StateSubactionMembership with kind = exit. StateDefinition: The ActionUsage of this StateDefinition to be performed on exit to the state defined by the StateDefinition. It is the owned ActionUsage related to the StateDefinition by a StateSubactionMembership with kind = exit.
ViewUsage: The Elements that are exposed by this ViewUsage, which are those memberElements of the imported Memberships from all the Expose Relationships that meet all the owned and inherited viewConditions.
Function: The Expressions that are steps in the calculation of the result of this Function.
Type: The ownedMemberFeatures of the featureMemberships of this Type.
FeatureChaining: The Feature whose values are partly determined by values of the chainingFeature, as described in Feature::chainingFeature.
FeatureInverting: The Feature that is an inverse of the invertingFeature.
Type: The FeatureMemberships for features of this Type, which include all ownedFeatureMemberships and those inheritedMemberships that are FeatureMemberships (but does not include any importedMemberships).
TypeFeaturing: The Feature that is featured by the featuringType. It is the source of the TypeFeaturing.
Feature: The last of the chainingFeatures of this Feature, if it has any. Otherwise, this Feature itself.
FeatureValue: The Feature to be provided a value.
Feature: Types that feature this Feature, such that any instance in the domain of the Feature must be classified by all of these Types, including at least all the featuringTypes of its typeFeaturings. If the Feature is chained, then the featuringTypes of the first Feature in the chain are also featuringTypes of the chained Feature. TypeFeaturing: The Type that features the featureOfType. It is the target of the TypeFeaturing.
Package: The model-level evaluable Boolean-valued Expression used to filter the members of this Package, which are owned by the Package are via ElementFilterMemberships.
FlowUsage: The Interactions that are the types of this FlowUsage. Nominally, these are FlowDefinitions, but other kinds of Kernel Interactions are also allowed, to permit use of Interactions from the Kernel Model Libraries.
Flow: The connectorEnds of this Flow that are FlowEnds. FlowDefinition: The Usages that define the things related by the FlowDefinition.
RequirementUsage: The ConcernUsages framed by this RequirementUsage, which are the ownedConcerns of all FramedConcernMemberships of the RequirementUsage. RequirementDefinition: The ConcernUsages framed by this RequirementDefinition, which are the ownedConcerns of all FramedConcernMemberships of the RequirementDefinition.
Expression: The Function that types this Expression.
Specialization: A Type with a superset of all instances of the specific Type, which might be the same set.
Indicates that the transitionFeature of a TransitionFeatureMembership is a guardExpression.
TransitionUsage: The Expressions that define the guards of this TransitionUsage, which are the ownedFeatures of the TransitionUsage related to it by TransitionFeatureMemberships with kind = guard, which must all be Expressions.
IfActionUsage: The Expression whose result determines whether the thenAction or (optionally) the elseAction is performed. It is the first parameter of the IfActionUsage.
Import: The Namespace into which Memberships are imported by this Import, which must be the owningRelatedElement of the Import.
Import: The effectively imported Element for this Import. For a MembershipImport, this is the memberElement of the importedMembership. For a NamespaceImport, it is the importedNamespace.
Namespace: The Memberships in this Namespace that result from the ownedImports of this Namespace. MembershipImport: The Membership to be imported.
NamespaceImport: The Namespace whose visible Memberships are imported by this NamespaceImport.
Values of the Feature on each instance of its domain are determined externally to that instance and used internally.
UseCaseUsage: The UseCaseUsages that are included by this UseCaseUse, which are the useCaseIncludeds of the IncludeUseCaseUsages owned by this UseCaseUsage. UseCaseDefinition: The UseCaseUsages that are included by this UseCaseDefinition, which are the useCaseIncludeds of the IncludeUseCaseUsages owned by this UseCaseDefinition.
OccurrenceUsage: The at most one occurrenceDefinition that has isIndividual = true.
Type: All the memberFeatures of the inheritedMemberships of this Type that are FeatureMemberships.
Type: All Memberships inherited by this Type via Specialization or Conjugation. These are included in the derived union for the memberships of the Type.
Values of the Feature on each instance are determined either as in or out directions, or both.
Type: All features related to this Type by FeatureMemberships that have direction in or inout.
InstantiationExpression: The Type that is being instantiated.
Flow: The Interactions that type this Flow. Interactions are both Associations and Behaviors, which can type Connectors and Steps, respectively.
InterfaceUsage: The InterfaceDefinitions that type this InterfaceUsage.
InterfaceDefinition: The PortUsages that are the connectionEnds of this InterfaceDefinition. .
Type: The interpretations of a Type with intersectingTypes are asserted to be those in common among the intersectingTypes, which are the Types derived from the intersectingType of the ownedIntersectings of this Type. For example, a Classifier might be an intersection of Classifiers for people of a particular sex and of a particular nationality. Similarly, a feature for people's children of a particular sex might be the intersection of a Feature for their children and a Classifier for people of that sex (because the interpretations of the children Feature that identify those of that sex are also interpretations of the Classifier for that sex). Intersecting: Type that partly determines interpretations of typeIntersected, as described in Type::intersectingType.
FeatureInverting: The Feature that is an inverse of the invertedFeature.
Type: Indicates whether instances of this Type must also be instances of at least one of its specialized Types.
Feature: Whether the Feature is a composite feature of its featuringType. If so, the values of the Feature cannot exist after its featuring instance no longer does and cannot be values of another composite feature that is not on the same featuring instance.
Type: Indicates whether this Type has an ownedConjugator.
Feature: If isVariable is true, then whether the value of this Feature nevertheless does not change over all snapshots of its owningType.
FeatureValue: Whether this FeatureValue is a concrete specification of the bound or initial value of the featureWithValue, or just a default value that may be overridden.
Feature: Whether the values of this Feature can always be computed from the values of other Features.
Feature: Whether or not this Feature is an end Feature. An end Feature always has multiplicity 1, mapping each of its domain instances to a single co-domain instance. However, it may have a crossFeature, in which case values of the crossFeature must be the same as those found by navigation across instances of the owningType from values of other end Features to values of this Feature. If the owningType has n end Features, then the multiplicity, ordering, and uniqueness declared for the crossFeature of any one of these end Features constrains the cardinality, ordering, and uniqueness of the collection of values of that Feature reached by navigation when the values of the other n-1 end Features are held fixed.
Relationship: Whether this Relationship was generated by tooling to meet semantic rules, rather than being directly created by a modeler.
Element: Whether all necessary implied Relationships have been included in the ownedRelationships of this Element. This property may be true, even if there are not actually any ownedRelationships with isImplied = true, meaning that no such Relationships are actually implied for this Element. However, if it is false, then ownedRelationships may not contain any implied Relationships. That is, either all required implied Relationships must be included, or none of them.
Import: Whether to import memberships without regard to declared visibility.
OccurrenceUsage: Whether this OccurrenceUsage represents the usage of the specific individual represented by its individualDefinition. OccurrenceDefinition: Whether this OccurrenceDefinition is constrained to represent at most one thing.
FeatureValue: Whether this FeatureValue specifies a bound value or an initial value for the featureWithValue.
Element: Whether this Element is contained in the ownership tree of a library model.
Expression: Whether this Expression meets the constraints necessary to be evaluated at model level, that is, using metadata within the model. Function: Whether this Function can be used as the function of a model-level evaluable InvocationExpression. Certain Functions from the Kernel Functions Library are considered to have isModelLevelEvaluable = true. For all other Functions it is false.
Invariant: Whether this Invariant is asserted to be false rather than true.
Feature: Whether an order exists for the values of this Feature or not.
StateUsage: Whether the nestedStates of this StateUsage are to all be performed in parallel. If true, none of the nestedActions (which include nestedStates) may have any incoming or outgoing Transitions. If false, only one nestedState may be performed at a time. StateDefinition: Whether the ownedStates of this StateDefinition are to all be performed in parallel. If true, none of the ownedActions (which includes ownedStates) may have any incoming or outgoing Transitions. If false, only one ownedState may be performed at a time.
Feature: Whether the values of this Feature are contained in the space and time of instances of the domain of the Feature and represent the same thing as those instances.
Import: Whether to recursively import Memberships from visible, owned sub-Namespaces.
Usage: Whether this Usage is a referential Usage, that is, it has isComposite = false.
LibraryPackage: Whether this LibraryPackage contains a standard library model. This should only be set to true for LibraryPackages in the standard Kernel Model Libraries or in normative model libraries for a language built on KerML.
Type: Whether all things that meet the classification conditions of this Type must be classified by the Type.
Feature: Whether or not values for this Feature must have no duplicates or not.
Feature: Whether the value of this Feature might vary over time. That is, whether the Feature may have a different value for each snapshot of an owningType that is an Occurrence.
Definition: Whether this Definition is for a variation point or not. If true, then all the memberships of the Definition must be VariantMemberships. Usage: Whether this Usage is for a variation point or not. If true, then all the memberships of the Usage must be VariantMemberships.
ItemUsage: The Structures that are the definitions of this ItemUsage. Nominally, these are ItemDefinitions, but other kinds of Kernel Structures are also allowed, to permit use of Structures from the Kernel Library.
StateSubactionMembership: Whether this StateSubactionMembership is for an entry, do or exit ActionUsage. TransitionFeatureMembership: Whether this TransitionFeatureMembership is for a trigger, guard or effect. RequirementConstraintMembership: Whether the RequirementConstraintMembership is for an assumed or required ConstraintUsage. TriggerInvocationExpression: Indicates which of the Functions from the Triggers model in the Kernel Semantic Library is to be invoked by this TriggerInvocationExpression.
TextualRepresentation: The natural or artifical language in which the body text is written.
Comment: Identification of the language of the body text and, optionally, the region and/or encoding. The format shall be a POSIX locale conformant to ISO/IEC 15897, with the format [language[_territory][.codeset][@modifier]].
ForLoopActionUsage: The ownedFeature of this ForLoopActionUsage that acts as the loop variable, which is assigned the successive values of the input sequence on each iteration. It is the ownedFeature that redefines ForLoopAction::var.
MultiplicityRange: The Expression whose result provides the lower bound of the MultiplicityRange. If no lowerBound Expression is given, then the lower bound shall have the same value as the upper bound, unless the upper bound is unbounded (*), in which case the lower bound shall be 0.
Usage: Whether this Usage may be time varying (that is, whether it is featured by the snapshots of its owningType, rather than being featured by the owningType itself). However, if isConstant is also true, then the value of the Usage is nevertheless constant over the entire duration of an instance of its owningType (that is, it has the same value on all snapshots).
Namespace: The set of all member Elements of this Namespace, which are the memberElements of all memberships of the Namespace.
Membership: The Element that becomes a member of the membershipOwningNamespace due to this Membership.
Membership: The elementId of the memberElement.
Membership: The name of the memberElement relative to the membershipOwningNamespace.
Membership: The short name of the memberElement relative to the membershipOwningNamespace.
Namespace: All Memberships in this Namespace, including (at least) the union of ownedMemberships and importedMemberships.
Membership: The Namespace of which the memberElement becomes a member due to this Membership.
MetadataFeature: The type of this MetadataFeature, which must be a Metaclass.
MetadataUsage: The MetadataDefinition that is the definition of this MetadataUsage.
Type: An ownedMember of this Type that is a Multiplicity, which constraints the cardinality of the Type. If there is no such ownedMember, then the cardinality of this Type is constrained by all the Multiplicity constraints applicable to any direct supertypes.
Element: The name to be used for this Element during name resolution within its owningNamespace. This is derived using the effectiveName() operation. By default, it is the same as the declaredName, but this is overridden for certain kinds of Elements to compute a name even when the declaredName is null.
Usage: The ActionUsages that are nestedUsages of this Usage.
Usage: The AllocationUsages that are nestedUsages of this Usage.
Usage: The AnalysisCaseUsages that are nestedUsages of this Usage.
Usage: The code>AttributeUsages that are nestedUsages of this Usage.
Usage: The CalculationUsage that are nestedUsages of this Usage.
Usage: The CaseUsages that are nestedUsages of this Usage.
Usage: The ConcernUsages that are nestedUsages of this Usage.
Usage: The ConnectorAsUsages that are nestedUsages of this Usage. Note that this list includes BindingConnectorAsUsages, SuccessionAsUsages, and FlowConnectionUsages because these are ConnectorAsUsages even though they are not ConnectionUsages.
Usage: The ConstraintUsages that are nestedUsages of this Usage.
Usage: The code>EnumerationUsages that are nestedUsages of this Usage.
Usage: The code>FlowUsages that are nestedUsages of this Usage.
Usage: The InterfaceUsages that are nestedUsages of this Usage.
Usage: The ItemUsages that are nestedUsages of this Usage.
Usage: The MetadataUsages that are nestedUsages of this of this Usage.
Usage: The OccurrenceUsages that are nestedUsages of this Usage.
Usage: The PartUsages that are nestedUsages of this Usage.
Usage: The PortUsages that are nestedUsages of this Usage.
Usage: The ReferenceUsages that are nestedUsages of this Usage.
Usage: The RenderingUsages that are nestedUsages of this Usage.
Usage: The RequirementUsages that are nestedUsages of this Usage.
Usage: The StateUsages that are nestedUsages of this Usage.
Usage: The TransitionUsages that are nestedUsages of this Usage.
Usage: The Usages that are ownedFeatures of this Usage.
Usage: The UseCaseUsages that are nestedUsages of this Usage.
Usage: The VerificationCaseUsages that are nestedUsages of this Usage.
Usage: The ViewUsages that are nestedUsages of this Usage.
Usage: The ViewpointUsages that are nestedUsages of this Usage.
CaseUsage: The RequirementUsage representing the objective of this CaseUsage. CaseDefinition: The RequirementUsage representing the objective of this CaseDefinition.
OccurrenceUsage: The Classes that are the types of this OccurrenceUsage. Nominally, these are OccurrenceDefinitions, but other kinds of kernel Classes are also allowed, to permit use of Classes from the Kernel Model Libraries.
OperatorExpression: An operator symbol that names a corresponding Function from one of the standard packages from the Kernel Function Library .
ConjugatedPortDefinition: The original PortDefinition for this ConjugatedPortDefinition, which is the owningNamespace of the ConjugatedPortDefinition. PortConjugation: The PortDefinition being conjugated.
Values of the Feature on each instance of its domain are determined internally to that instance and used externally.
Type: All features related to this Type by FeatureMemberships that have direction out or inout.
Definition: The ActionUsages that are ownedUsages of this Definition.
ActorMembership: The PartUsage specifying the actor.
Definition: The AllocationUsages that are ownedUsages of this Definition.
Definition: The AnalysisCaseUsages that are ownedUsages of this Definition.
Annotation: The annotatingElement of this Annotation, when it is an ownedRelatedElement.
AnnotatingElement: The ownedRelationships of this AnnotatingElement that are Annotations, for which this AnnotatingElement is the annotatingElement.
Element: The ownedRelationships of this Element that are Annotations, for which this Element is the annotatedElement.
Definition: The AttributeUsages that are ownedUsages of this Definition.
Definition: The CalculationUsages that are ownedUsages of this Definition.
Definition: The code>CaseUsages that are ownedUsages of this Definition.
Definition: The ConcernUsages that are ownedUsages of this Definition. FramedConcernMembership: The ConcernUsage that is the ownedConstraint of this FramedConcernMembership.
Type: A Conjugation owned by this Type for which the Type is the originalType.
Definition: The ConnectorAsUsages that are ownedUsages of this Definition. Note that this list includes BindingConnectorAsUsages, SuccessionAsUsages, and FlowUsages because these are ConnectorAsUsages even though they are not ConnectionUsages.
Definition: The ConstraintUsages that are ownedUsages of this Definition. RequirementConstraintMembership: The ConstraintUsage that is the ownedMemberFeature of this RequirementConstraintMembership.
Feature: The one ownedSubsetting of this Feature, if any, that is a CrossSubsetting}, for which the Feature is the crossingFeature.
Type: The ownedRelationships of this Type that are Differencings, having this Type as their typeDifferenced.
Type: The ownedRelationships of this Type that are Disjoinings, for which the Type is the typeDisjoined Type.
Element: The Elements owned by this Element, derived as the ownedRelatedElements of the ownedRelationships of this Element.
Type: All endFeatures of this Type that are ownedFeatures.
Definition: The EnumerationUsages that are ownedUsages of this Definition.
Type: The ownedMemberFeatures of the ownedFeatureMemberships of this Type.
Feature: The ownedRelationships of this Feature that are FeatureChainings, for which the Feature will be the featureChained.
Feature: The ownedRelationships of this Feature that are FeatureInvertings and for which the Feature is the featureInverted.
Type: The ownedMemberships of this Type that are FeatureMemberships, for which the Type is the owningType. Each such FeatureMembership identifies an ownedFeature of the Type.
Definition: The FlowUsages that are ownedUsages of this Definition.
Namespace: The ownedRelationships of this Namespace that are Imports, for which the Namespace is the importOwningNamespace.
Definition: The InterfaceUsages that are ownedUsages of this Definition.
Type: The ownedRelationships of this Type that are Intersectings, have the Type as their typeIntersected.
Definition: The ItemUsages that are ownedUsages of this Definition.
Namespace: The owned members of this Namespace, which are the ownedMemberElements of the ownedMemberships of the Namespace.
OwningMembership: The Element that becomes an ownedMember of the membershipOwningNamespace due to this OwningMembership.
OwningMembership: The elementId of the ownedMemberElement.
FeatureMembership: The Feature that this FeatureMembership relates to its owningType, making it an ownedFeature of the owningType.
OwningMembership: The name of the ownedMemberElement.
ParameterMembership: The Feature that is identified as a parameter by this ParameterMembership.
OwningMembership: The shortName of the ownedMemberElement.
Namespace: The ownedRelationships of this Namespace that are Memberships, for which the Namespace is the membershipOwningNamespace.
Definition: The MetadataUsages that are ownedUsages of this Definition.
ObjectiveMembership: The RequirementUsage that is the ownedMemberFeature of this RequirementUsage.
Definition: The OccurrenceUsages that are ownedUsages of this Definition.
Definition: The PartUsages that are ownedUsages of this Definition.
Definition: The PortUsages that are ownedUsages of this Definition.
ConjugatedPortDefinition: The PortConjugation that is the ownedConjugator of this ConjugatedPortDefinition, linking it to its originalPortDefinition.
Feature: The ownedSubsettings of this Feature that are Redefinitions, for which the Feature is the redefiningFeature.
Definition: The ReferenceUsages that are ownedUsages of this Definition.
Feature: The one ownedSubsetting of this Feature, if any, that is a ReferenceSubsetting, for which the Feature is the referencingFeature.
Relationship: The relatedElements of this Relationship that are owned by the Relationship.
Element: The Relationships for which this Element is the owningRelatedElement.
Definition: The RenderingUsages that are ownedUsages of this Definition. ViewRenderingMembership: The owned RenderingUsage that is either itself the referencedRendering or subsets the referencedRendering.
Definition: The RequirementUsages that are ownedUsages of this Definition. RequirementVerificationMembership: The owned RequirementUsage that acts as the ownedConstraint for this RequirementVerificationMembership. This will either be the verifiedRequirement, or it will subset the verifiedRequirement.
ResultExpressionMembership: The Expression that provides the result for the owner of the ResultExpressionMembership.
Type: The ownedRelationships of this Type that are Specializations, for which the Type is the specific Type.
StakeholderMembership: The PartUsage specifying the stakeholder.
Definition: The StateUsages that are ownedUsages of this Definition.
Classifier: The ownedSpecializations of this Classifier that are Subclassifications, for which this Classifier is the subclassifier.
SubjectMembership: The UsageownedMemberParameter of this SubjectMembership.
Feature: The ownedSpecializations of this Feature that are Subsettings, for which the Feature is the subsettingFeature.
Definition: The TransitionUsages that are ownedUsages of this Definition.
Feature: The ownedRelationships of this Feature that are TypeFeaturings and for which the Feature is the featureOfType.
Feature: The ownedSpecializations of this Feature that are FeatureTypings, for which the Feature is the typedFeature.
Type: The ownedRelationships of this Type that are Unionings, having the Type as their typeUnioned.
Definition: The Usages that are ownedFeatures of this Definition.
Definition: The UseCaseUsages that are ownedUsages of this Definition.
VariantMembership: The Usage that represents a variant in the context of the owningVariationDefinition or owningVariationUsage.
Definition: The VerificationCaseUsages that are ownedUsages of this Definition.
Definition: The ViewUsages that are ownedUsages of this Definition.
Definition: The ViewpointUsages that are ownedUsages of this Definition.
Element: The owner of this Element, derived as the owningRelatedElement of the owningRelationship of this Element, if any.
Annotation: The annotatedElement of this Annotation, when it is also the owningRelatedElement.
Annotation: The annotatingElement of this Annotation, when it is the owningRelatedElement.
AnnotatingElement: The owningRelationship of this AnnotatingRelationship, if it is an Annotation.
Subclassification: The Classifier that owns this Subclassification relationship, which must also be its subclassifier.
Usage: The Definition that owns this Usage (if any).
Subsetting: A subsettingFeature that is also the owningRelatedElement of this Subsetting. FeatureTyping: A typedFeature that is also the owningRelatedElement of this FeatureTyping. FeatureInverting: A featureInverted that is also the owningRelatedElement of this FeatureInverting.
Feature: The FeatureMembership that owns this Feature as an ownedMemberFeature, determining its owningType.
TypeFeaturing: A featureOfType that is also the owningRelatedElement of this TypeFeaturing.
Element: The owningRelationship of this Element, if that Relationship is a Membership.
Element: The Namespace that owns this Element, which is the membershipOwningNamespace of the owningMembership of this Element, if any.
Relationship: The relatedElement of this Relationship that owns the Relationship, if any.
Element: The Relationship for which this Element is an ownedRelatedElement, if any.
Specialization: The Type that is the specific Type of this Specialization and owns it as its owningRelatedElement. FeatureMembership: The Type that owns this FeatureMembership. Feature: The Type that is the owningType of the owningFeatureMembership of this Feature. Conjugation: The conjugatedType of this Conjugation that is also its owningRelatedElement. Disjoining: A typeDisjoined that is also an owningRelatedElement.
Usage: The Usage in which this Usage is nested (if any).
Behavior: The parameters of this Behavior, which are defined as its directedFeatures, whose values are passed into and/or out of a performance of the Behavior. Step: The parameters of this Step, which are defined as its directedFeatures, whose values are passed into and/or out of a performance of the Step.
PartUsage: The itemDefinitions of this PartUsage that are PartDefinitions.
AcceptActionUsage: An Expression whose result is bound to the payload parameter of this AcceptActionUsage. If provided, the AcceptActionUsage will only accept a Transfer with exactly this payload. SendActionUsage: An Expression whose result is bound to the payload input parameter of this SendActionUsage.
Flow: The ownedFeature of the Flow that is a PayloadFeature (if any).
AcceptActionUsage: The nestedReference of this AcceptActionUsage that redefines the payload output parameter of the base AcceptActionUsage AcceptAction from the Systems Model Library.
Flow: The type of values transferred, which is the type of the payloadFeature of the Flow.
PerformActionUsage: The ActionUsage to be performed by this PerformedActionUsage. It is the eventOccurrence of the PerformActionUsage considered as an EventOccurrenceUsage, which must be an ActionUsage.
PortUsage: The occurrenceDefinitions of this PortUsage, which must all be PortDefinitions. ConjugatedPortTyping: The originalPortDefinition of the conjugatedPortDefinition of this ConjugatedPortTyping.
OccurrenceUsage: The kind of temporal portion (time slice or snapshot) is represented by this OccurrenceUsage. If portionKind is not null, then the owningType of the OccurrenceUsage must be non-null, and the OccurrenceUsage represents portions of the featuring instance of the owningType.
BooleanExpression: The Predicate that types the Expression.
Indicates a Membership is not visible outside its owning Namespace.
An intermediate level of visibility between public and private. By default, it is equivalent to private for the purposes of normal access to and import of Elements from a Namespace. However, other Relationships may be specified to include Memberships with protected visibility in the list of memberships for a Namespace (e.g., Specialization).
Indicates that a Membership is publicly visible outside its owning Namespace.
Element: The full ownership-qualified name of this Element, represented in a form that is valid according to the KerML textual concrete syntax for qualified names (including use of unrestricted name notation and escaped characters, as necessary). The qualifiedName is null if this Element has no owningNamespace or if there is not a complete ownership chain of named Namespaces from a root Namespace to this Element. If the owningNamespace has other Elements with the same name as this one, then the qualifiedName is null for all such Elements other than the first.
AcceptActionUsage: An Expression whose result is bound to the receiver input parameter of this AcceptActionUsage. SendActionUsage: An Expression whose result is bound to the receiver input parameter of this SendActionUsage.
Redefinition: The Feature that is redefined by the redefiningFeature of this Redefinition.
Redefinition: The Feature that is redefining the redefinedFeature of this Redefinition.
FramedConcernMembership: The ConcernUsage that is referenced through this FramedConcernMembership. It is the referencedConstraint of the FramedConcernMembership considered as a RequirementConstraintMembership, which must be a ConcernUsage.
RequirementConstraintMembership: The ConstraintUsage that is referenced through this RequirementConstraintMembership. It is the referencedFeature of the ownedReferenceSubsetting of the ownedConstraint, if there is one, and, otherwise, the ownedConstraint itself.
MetadataAccessExpression: The Element whose metadata is being accessed.
ReferenceSubsetting: The Feature that is referenced by the referencingFeature of this ReferenceSubsetting.
ViewRenderingMembership: The RenderingUsage that is referenced through this ViewRenderingMembership. It is the referencedFeature of the ownedReferenceSubsetting for the ownedRendering, if there is one, and, otherwise, the ownedRendering itself.
ReferenceSubsetting: The Feature that owns this ReferenceSubsetting relationship, which is also its subsettingFeature.
FeatureReferenceExpression: The Feature that is referenced by this FeatureReferenceExpression, which is its first non-parameter member. AssignmentActionUsage: The Feature whose value is to be set.
Relationship: The Elements that are related by this Relationship, derived as the union of the source and target Elements of the Relationship.
Connector: The Features that are related by this Connector considered as a Relationship and that restrict the links it identifies, given by the referenced Features of the connectorEnds of the Connector.
Association: The types of the associationEnds of the Association, which are the relatedElements of the Association considered as a Relationship.
RenderingDefinition: The usages of a RenderingDefinition that are RenderingUsages.
RenderingUsage: The RenderingDefinition that is the definition of this RenderingUsage.
TextualRepresentation: The Element that is represented by this TextualRepresentation.
RequirementUsage: An optional modeler-specified identifier for this RequirementUsage (used, e.g., to link it to an original requirement text in some source document), which is the declaredShortName for the RequirementUsage. RequirementDefinition: An optional modeler-specified identifier for this RequirementDefinition (used, e.g., to link it to an original requirement text in some source document), which is the declaredShortName for the RequirementDefinition.
RequirementUsage: The owned ConstraintUsages that represent requirements of this RequirementUsage, which are the ownedConstraints of the RequirementConstraintMemberships of the RequirementUsage with kind = requirement. RequirementDefinition: The owned ConstraintUsages that represent requirements of this RequirementDefinition, derived as the ownedConstraints of the RequirementConstraintMemberships of the RequirementDefinition with kind = requirement.
Indicates that a member ConstraintUsage of a RequirementDefinition or RequirementUsagerepresents an requirement.
RequirementUsage: The RequirementDefinition that is the single definition of this RequirementUsage.
Expression: result. Function: The object or value that is the result of evaluating the Function.
AnalysisCaseUsage: An Expression used to compute the result of the AnalysisCaseUsage, owned via a ResultExpressionMembership. AnalysisCaseDefinition: An Expression used to compute the result of the AnalysisCaseDefinition, owned via a ResultExpressionMembership.
SatisfyRequirementUsage: The RequirementUsage that is satisfied by the satisfyingSubject of this SatisfyRequirementUsage. It is the assertedConstraint of the SatisfyRequirementUsage considered as an AssertConstraintUsage, which must be a RequirementUsage.
ViewUsage: The nestedRequirements of this ViewUsage that are ViewpointUsages for (additional) viewpoints satisfied by the ViewUsage. ViewDefinition: The composite ownedRequirements of this ViewDefinition that are ViewpointUsages for viewpoints satisfied by the ViewDefinition.
SatisfyRequirementUsage: The Feature that represents the actual subject that is asserted to satisfy the satisfiedRequirement. The satisfyingFeature is bound to the subjectParameter of the SatisfyRequirementUsage.
SendActionUsage: An Expression whose result is bound to the sender input parameter of this SendActionUsage.
ForLoopActionUsage: The Expression whose result provides the sequence of values to which the loopVariable is set for each iterative performance of the bodyAction. It is the Expression whose result is bound to the seq input parameter of this ForLoopActionUsage.
Element: The short name to be used for this Element during name resolution within its owningNamespace. This is derived using the effectiveShortName() operation. By default, it is the same as the declaredShortName, but this is overridden for certain kinds of Elements to compute a shortName even when the declaredName is null.
A snapshot of an Occurrence (a time slice with zero duration).
Relationship: The relatedElements from which this Relationship is considered to be directed. TransitionUsage: The source ActionUsage of this TransitionUsage, which becomes the source of the succession for the TransitionUsage.
Connector: The source relatedFeature for this Connector. It is the first relatedFeature.
Flow: The Feature that provides the items carried by the Flow. It must be a feature of the source of the Flow.
Association: The source relatedType for this Association. It is the first relatedType of the Association.
Specialization: A Type with a subset of all instances of the general Type, which might be the same set.
RequirementUsage: The parameters of this RequirementUsage that represent stakeholders for the requirement. RequirementDefinition: The parameters of this RequirementDefinition that represent stakeholders for th requirement.
StateDefinition: The StateUsages, which are actions in the StateDefinition, that specify the discrete states in the behavior defined by the StateDefinition.
StateUsage: The Behaviors that are the types of this StateUsage. Nominally, these would be StateDefinitions, but kernel Behaviors are also allowed, to permit use of Behaviors from the Kernel Model Libraries.
Behavior: The Steps that make up this Behavior.
Subclassification: The more specific Classifier in this Subclassification.
RequirementUsage: The parameter of this RequirementUsage that represents its subject. RequirementDefinition: The parameter of this RequirementDefinition that represents its subject. CaseUsage: The parameter of this CaseUsage that represents its subject. CaseDefinition: The parameter of this CaseDefinition that represents its subject.
Subsetting: The Feature that is subsetted by the subsettingFeature of this Subsetting.
Subsetting: The Feature that is a subset of the subsettedFeature of this Subsetting.
TransitionUsage: The Succession that is the ownedFeature of this TransitionUsage, which, if the TransitionUsage is triggered, asserts the temporal ordering of the source and target.
Subclassification: The more general Classifier in this Subclassification.
Dependency: The Element or Elements on which the client Elements depend in some respect.
Relationship: The relatedElements to which this Relationship is considered to be directed. TransitionUsage: The target ActionUsage of this TransitionUsage, which is the targetFeature of the succession for the TransitionUsage.
AssignmentActionUsage: The Expression whose value is an occurrence in the domain of the referent Feature, for which the value of the referent will be set to the result of the valueExpression by this AssignmentActionUsage.
Connector: The target relatedFeatures for this Connector. This includes all the relatedFeatures other than the sourceFeature. FeatureChainExpression: The Feature that is accessed by this FeatureChainExpression, which is its first non-parameter member.
Flow: The Feature that receives the values carried by the Flow. It must be a feature of the target of the Flow.
Association: The target relatedTypes for this Association. This includes all the relatedTypes other than the sourceType.
TerminateActionUsage: The Expression that is the featureValue of the terminateOccurrence parameter of this TerminateActionUsage.
RequirementUsage: An optional textual statement of the requirement represented by this RequirementUsage, derived from the bodies of the documentation of the RequirementUsage. RequirementDefinition: An optional textual statement of the requirement represented by this RequirementDefinition, derived from the bodies of the documentation of the RequirementDefinition.
Element: The TextualRepresentations that annotate this Element.
IfActionUsage: The ActionUsage that is to be performed if the result of the ifArgument is true. It is the second parameter of the IfActionUsage.
A time slice of an Occurrence (a portion over time).
TransitionFeatureMembership: The Step that is the ownedMemberFeature of this TransitionFeatureMembership.
Indicates that the transitionFeature of a TransitionFeatureMembership is a triggerAction.
TransitionUsage: The AcceptActionUsages that define the triggers of this TransitionUsage, which are the ownedFeatures of the TransitionUsage related to it by TransitionFeatureMemberships with kind = trigger, which must all be AcceptActionUsages.
Feature: Types that restrict the values of this Feature, such that the values must be instances of all the types. The types of a Feature are derived from its typings and the types of its subsettings. If the Feature is chained, then the types of the last Feature in the chain are also types of the chained Feature. FeatureTyping: The Type that is being applied by this FeatureTyping.
Differencing: Type with interpretations partly determined by differencingType, as described in Type::differencingType.
Disjoining: Type asserted to be disjoint with the disjoiningType.
Intersecting: Type with interpretations partly determined by intersectingType, as described in Type::intersectingType.
Unioning: Type with interpretations partly determined by unioningType, as described in Type::unioningType.
FeatureTyping: The Feature that has a type determined by this FeatureTyping.
Type: The interpretations of a Type with unioningTypes are asserted to be the same as those of all the unioningTypes together, which are the Types derived from the unioningType of the ownedUnionings of this Type. For example, a Classifier for people might be the union of Classifiers for all the sexes. Similarly, a feature for people's children might be the union of features dividing them in the same ways as people in general. Unioning: Type that partly determines interpretations of typeUnioned, as described in Type::unioningType.
WhileLoopActionUsage: The Expression whose result, if false, determines that the bodyAction should continue to be performed. It is the (optional) third owned parameter of the WhileLoopActionUsage.
MultiplicityRange: The Expression whose result is the upper bound of the MultiplicityRange.
Definition: The Usages that are features of this Definition (not necessarily owned). Usage: The Usages that are features of this Usage (not necessarily owned).
UseCaseUsage: The UseCaseDefinition that is the definition of this UseCaseUsage.
IncludeUseCaseUsage: The UseCaseUsage to be included by this IncludeUseCaseUsage. It is the performedAction of the IncludeUseCaseUsage considered as a PerformActionUsage, which must be a UseCaseUsage.
FeatureValue: The Expression that provides the value as a result. LiteralInteger: The Integer value that is the result of evaluating this LiteralInteger. LiteralString: The String value that is the result of evaluating this Expression. LiteralRational: The value whose rational approximation is the result of evaluating this LiteralRational. LiteralBoolean: The Boolean value that is the result of evaluating this LiteralBoolean.
AssignmentActionUsage: The Expression whose result is to be assigned to the referent Feature.
Definition: The Usages which represent the variants of this Definition as a variation point Definition, if isVariation = true. If isVariation = false, the there must be no variants. Usage: The Usages which represent the variants of this Usage as a variation point Usage, if isVariation = true. If isVariation = false, then there must be no variants.
Definition: The ownedMemberships of this Definition that are VariantMemberships. If isVariation = true, then this must be all ownedMemberships of the Definition. If isVariation = false, then variantMembershipmust be empty. Usage: The ownedMemberships of this Usage that are VariantMemberships. If isVariation = true, then this must be all memberships of the Usage. If isVariation = false, then variantMembershipmust be empty.
VerificationCaseUsage: The VerificationCase that is the definition of this VerificationCaseUsage.
VerificationCaseUsage: The RequirementUsages verified by this VerificationCaseUsage, which are the verifiedRequirements of all RequirementVerificationMemberships of the objectiveRequirement. VerificationCaseDefinition: The RequirementUsages verified by this VerificationCaseDefinition, which are the verifiedRequirements of all RequirementVerificationMemberships of the objectiveRequirement. RequirementVerificationMembership: The RequirementUsage that is identified as being verified. It is the referencedConstraint of the RequirementVerificationMembership considered as a RequirementConstraintMembership, which must be a RequirementUsage.
ViewDefinition: The usages of this ViewDefinition that are ViewUsages.
ViewUsage: The Expressions related to this ViewUsage by ElementFilterMemberships, which specify conditions on Elements to be rendered in a view. ViewDefinition: The Expressions related to this ViewDefinition by ElementFilterMemberships, which specify conditions on Elements to be rendered in a view.
ViewUsage: The ViewDefinition that is the definition of this ViewUsage.
ViewUsage: The RenderingUsage to be used to render views defined by this ViewUsage, which is the referencedRendering of the ViewRenderingMembership of the ViewUsage. ViewDefinition: The RenderingUsage to be used to render views defined by this ViewDefinition, which is the referencedRendering of the ViewRenderingMembership of the ViewDefinition.
ViewpointUsage: The ViewpointDefinition that is the definition of this ViewpointUsage.
ViewpointUsage: The PartUsages that identify the stakeholders with concerns framed by this ViewpointUsage, which are the owned and inherited stakeholderParameters of the framedConcerns of this ViewpointUsage. ViewpointDefinition: The PartUsages that identify the stakeholders with concerns framed by this ViewpointDefinition, which are the owned and inherited stakeholderParameters of the framedConcerns of this ViewpointDefinition.
Membership: Whether or not the Membership of the memberElement in the membershipOwningNamespace is publicly visible outside that Namespace. Import: The visibility level of the imported members from this Import relative to the importOwningNamespace. The default is private.
Indicates a change trigger, corresponding to the TriggerWhen Function from the Triggers model in the Kernel Semantic Library.
WhileLoopActionUsage: The Expression whose result, if true, determines that the bodyAction should continue to be performed. It is the first owned parameter of the WhileLoopActionUsage.
All vocabulary URIs defined in the OSLC SysML v2 namespace.