OSLC Systems Modeling Language Version 2.0. Part 2: Vocabulary

All capitalized terms in the following text have the meanings assigned to them in the OASIS Intellectual Property Rights Policy (the "OASIS IPR Policy"). The full Policy may be found at the OASIS website.

For information on whether any patents have been disclosed that may be essential to implementing this specification, and any offers of patent licensing terms, please refer to the Open Projects IPR Statements page.

This document and translations of it may be copied and furnished to others, and derivative works that comment on or otherwise explain it or assist in its implementation may be prepared, copied, published, and distributed, in whole or in part, without restriction of any kind, provided that the above copyright notice and this section are included on all such copies and derivative works. However, this document itself may not be modified in any way, including by removing the copyright notice or references to OASIS, except as needed for the purpose of developing any document or deliverable produced by an OASIS Open Project or OASIS Technical Committee (in which case the rules applicable to copyrights, as set forth in the OASIS IPR Policy, must be followed) or as required to translate it into languages other than English.

The limited permissions granted above are perpetual and will not be revoked by OASIS or its successors or assigns.

This document and the information contained herein is provided on an "AS IS" basis and OASIS DISCLAIMS ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTY THAT THE USE OF THE INFORMATION HEREIN WILL NOT INFRINGE ANY OWNERSHIP RIGHTS OR ANY IMPLIED WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE.

OASIS requests that any OASIS Party or any other party that believes it has patent claims that would necessarily be infringed by implementations of this OASIS Project Specification or OASIS Standard, to notify the OASIS TC Administrator and provide an indication of its willingness to grant patent licenses to such patent claims in a manner consistent with the IPR Mode of the OASIS Technical Committee that produced this specification.

OASIS invites any party to contact the OASIS TC Administrator if it is aware of a claim of ownership of any patent claims that would necessarily be infringed by implementations of this specification by a patent holder that is not willing to provide a license to such patent claims in a manner consistent with the IPR Mode of the OASIS Open Project that produced this specification. OASIS may include such claims on its website, but disclaims any obligation to do so.

OASIS takes no position regarding the validity or scope of any intellectual property or other rights that might be claimed to pertain to the implementation or use of the technology described in this document or the extent to which any license under such rights might or might not be available; neither does it represent that it has made any effort to identify any such rights. Information on OASIS' procedures with respect to rights in any document or deliverable produced by an OASIS Technical Committee can be found on the OASIS website. Copies of claims of rights made available for publication and any assurances of licenses to be made available, or the result of an attempt made to obtain a general license or permission for the use of such proprietary rights by implementers or users of this OASIS Open Project Specification or OASIS Standard, can be obtained from the OASIS TC Administrator. OASIS makes no representation that any information or list of intellectual property rights will at any time be complete, or that any claims in such list are, in fact, Essential Claims.

The name "OASIS" is a trademark of OASIS, the owner and developer of this specification, and should be used only to refer to the organization and its official outputs. OASIS welcomes reference to, and implementation and use of, specifications, while reserving the right to enforce its marks against misleading uses. Please see https://www.oasis-open.org/policies-guidelines/trademark/ for above guidance.

2. SysML v2 Vocabulary Terms

Property value types that are not defined in the following sections, are defined in [OSLCCore3].

OSLC SysML v2 defines a set of properties for OMG SysML v2 resources. However, service implementations are free to extend this set of properties. Clients MUST preserve properties it does not recognize when updating resources. OSLC SysML v2 Servers MAY ignore properties that it does not recognize. Additional properties may come from existing vocabularies (ie. Dublin Core, OWL). When additional properties do not come from a known vocabulary, it is recommended that they exist in their own unique namespace, and providers SHOULD NOT reuse namespaces defined in these specifications. [SML-1]

All RDF/XML resources that include links with annotations MUST begin with an outer <rdf:RDF> element. This outer XML element is required to support the ability to include annotations on ‘link’ properties with additional <rdf:Description> elements reifying statements about the link. [SML-2]

Service implementations and clients MUST be prepared to accept any form of valid RDF/XML. For example the following two resource forms are equivalent. [SML-3]

Example 1

<rdf:RDF
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:oslc="http://open-services.net/ns/core#"
   xmlns:oslc_sysmlv2="http://open-services.net/ns/sysmlv2#"
   xmlns:dcterms="http://purl.org/dc/terms/">

    <oslc_sysmlv2:PartDef rdf:about="https://example.com/resources/res1">
      <dcterms:title>Service Interface</dcterms:title>
      <dcterms:identifier>res1</dcterms:identifier>
      <oslc:serviceProvider rdf:resource="http://open-services.net/ns/sysmlv2#"/>
    </oslc_sysmlv2:PartDef>
</rdf:RDF>

is equivalent to

<rdf:RDF
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:oslc="http://open-services.net/ns/core#"
   xmlns:dcterms="http://purl.org/dc/terms/">

    <rdf:Description rdf:about="https://example.com/resources/res1">
      <dcterms:title>Service Interface</dcterms:title>
      <dcterms:identifier>res1</dcterms:identifier>
      <rdf:type rdf:resource="http://open-services.net/ns/sysmlv2#PartDef" />
      <oslc:serviceProvider rdf:resource="http://open-services.net/ns/sysmlv2#"/>
    </rdf:Description>
</rdf:RDF>

This specification defines a number of specific, commonly occurring vocabulary terms (OWL classes), properties and values. Servers may define additional classes and provide additional properties as needed.

2.1 Vocabulary Details

The namespace URI for this vocabulary is: http://open-services.net/ns/sysmlv2#

All vocabulary URIs defined in the OSLC SysML v2 namespace.

2.1.1 Classes in this namespace (179)

AcceptActionUsage, ActionDefinition, ActionUsage, ActorMembership, AllocationDefinition, AllocationUsage, AnalysisCaseDefinition, AnalysisCaseUsage, AnnotatingElement, Annotation, AssertConstraintUsage, AssignmentActionUsage, Association, AssociationStructure, AttributeDefinition, AttributeUsage, Behavior, BindingConnector, BindingConnectorAsUsage, BooleanExpression, CalculationDefinition, CalculationUsage, CaseDefinition, CaseUsage, Class, Classifier, CollectExpression, Comment, ConcernDefinition, ConcernUsage, ConjugatedPortDefinition, ConjugatedPortTyping, Conjugation, ConnectionDefinition, ConnectionUsage, Connector, ConnectorAsUsage, ConstraintDefinition, ConstraintUsage, ControlNode, DataType, DecisionNode, Definition, Dependency, Differencing, Disjoining, Documentation, Element, ElementFilterMembership, EndFeatureMembership, EnumerationDefinition, EnumerationUsage, EventOccurrenceUsage, ExhibitStateUsage, Expose, Expression, Feature, FeatureChainExpression, FeatureChaining, FeatureDirectionKind, FeatureInverting, FeatureMembership, FeatureReferenceExpression, FeatureTyping, FeatureValue, Featuring, FlowConnectionDefinition, FlowConnectionUsage, ForkNode, ForLoopActionUsage, FramedConcernMembership, Function, IfActionUsage, Import, IncludeUseCaseUsage, Interaction, InterfaceDefinition, InterfaceUsage, Intersecting, Invariant, InvocationExpression, ItemDefinition, ItemFeature, ItemFlow, ItemFlowEnd, ItemUsage, JoinNode, LibraryPackage, LifeClass, LiteralBoolean, LiteralExpression, LiteralInfinity, LiteralInteger, LiteralRational, LiteralString, LoopActionUsage, Membership, MembershipExpose, MembershipImport, MergeNode, Metaclass, MetadataAccessExpression, MetadataDefinition, MetadataFeature, MetadataUsage, Multiplicity, MultiplicityRange, Namespace, NamespaceExpose, NamespaceImport, NullExpression, ObjectiveMembership, OccurrenceDefinition, OccurrenceUsage, OperatorExpression, OwningMembership, Package, ParameterMembership, PartDefinition, PartUsage, PerformActionUsage, PortConjugation, PortDefinition, PortionKind, PortUsage, Predicate, Redefinition, ReferenceSubsetting, ReferenceUsage, Relationship, RenderingDefinition, RenderingUsage, RequirementConstraintKind, RequirementConstraintMembership, RequirementDefinition, RequirementUsage, RequirementVerificationMembership, ResultExpressionMembership, ReturnParameterMembership, SatisfyRequirementUsage, SelectExpression, SendActionUsage, Specialization, StakeholderMembership, StateDefinition, StateSubactionKind, StateSubactionMembership, StateUsage, Step, Structure, Subclassification, SubjectMembership, Subsetting, Succession, SuccessionAsUsage, SuccessionFlowConnectionUsage, SuccessionItemFlow, TextualRepresentation, TransitionFeatureKind, TransitionFeatureMembership, TransitionUsage, TriggerInvocationExpression, TriggerKind, Type, TypeFeaturing, Unioning, Usage, UseCaseDefinition, UseCaseUsage, VariantMembership, VerificationCaseDefinition, VerificationCaseUsage, ViewDefinition, ViewpointDefinition, ViewpointUsage, ViewRenderingMembership, ViewUsage, VisibilityKind, WhileLoopActionUsage

AcceptActionUsage

http://open-services.net/ns/sysmlv2#AcceptActionUsage

AcceptActionUsage is an RDFS class.

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.

ActionDefinition

http://open-services.net/ns/sysmlv2#ActionDefinition

ActionDefinition is an RDFS class.

An ActionDefinition is a Definition that is also a Behavior that defines an Action performed by a system or part of a system.

ActionUsage

http://open-services.net/ns/sysmlv2#ActionUsage

ActionUsage is an RDFS class.

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.

ActorMembership

http://open-services.net/ns/sysmlv2#ActorMembership

ActorMembership is an RDFS class.

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.

AllocationDefinition

http://open-services.net/ns/sysmlv2#AllocationDefinition

AllocationDefinition is an RDFS class.

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.

AllocationUsage

http://open-services.net/ns/sysmlv2#AllocationUsage

AllocationUsage is an RDFS class.

An AllocationUsage is a usage of an AllocationDefinition asserting the allocation of the source feature to the target feature.

AnalysisCaseDefinition

http://open-services.net/ns/sysmlv2#AnalysisCaseDefinition

AnalysisCaseDefinition is an RDFS class.

An AnalysisCaseDefinition is a CaseDefinition for the case of carrying out an analysis.

AnalysisCaseUsage

http://open-services.net/ns/sysmlv2#AnalysisCaseUsage

AnalysisCaseUsage is an RDFS class.

An AnalysisCaseUsage is a Usage of an AnalysisCaseDefinition.

AnnotatingElement

http://open-services.net/ns/sysmlv2#AnnotatingElement

AnnotatingElement is an RDFS class.

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.

Annotation

http://open-services.net/ns/sysmlv2#Annotation

Annotation is an RDFS class.

An Annotation is a Relationship between an AnnotatingElement and the Element that is annotated by that AnnotatingElement.

AssertConstraintUsage

http://open-services.net/ns/sysmlv2#AssertConstraintUsage

AssertConstraintUsage is an RDFS class.

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.

AssignmentActionUsage

http://open-services.net/ns/sysmlv2#AssignmentActionUsage

AssignmentActionUsage is an RDFS class.

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.

Association

http://open-services.net/ns/sysmlv2#Association

Association is an RDFS class.

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.

AssociationStructure

http://open-services.net/ns/sysmlv2#AssociationStructure

AssociationStructure is an RDFS class.

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.

AttributeDefinition

http://open-services.net/ns/sysmlv2#AttributeDefinition

AttributeDefinition is an RDFS class.

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).

AttributeUsage

http://open-services.net/ns/sysmlv2#AttributeUsage

AttributeUsage is an RDFS class.

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).

Behavior

http://open-services.net/ns/sysmlv2#Behavior

Behavior is an RDFS class.

A Behavior coordinates occurrences of other Behaviors, as well as changes in objects. Behaviors can be decomposed into Steps and be characterized by parameters.

BindingConnector

http://open-services.net/ns/sysmlv2#BindingConnector

BindingConnector is an RDFS class.

A BindingConnector is a binary Connector that requires its relatedFeatures to identify the same things (have the same values).

BindingConnectorAsUsage

http://open-services.net/ns/sysmlv2#BindingConnectorAsUsage

BindingConnectorAsUsage is an RDFS class.

A BindingConnectorAsUsage is both a BindingConnector and a ConnectorAsUsage.

BooleanExpression

http://open-services.net/ns/sysmlv2#BooleanExpression

BooleanExpression is an RDFS class.

A BooleanExpression is a Boolean-valued Expression whose type is a Predicate. It represents a logical condition resulting from the evaluation of the Predicate.

CalculationDefinition

http://open-services.net/ns/sysmlv2#CalculationDefinition

CalculationDefinition is an RDFS class.

A CalculationDefinition is an ActionDefinition that also defines a Function producing a result.

CalculationUsage

http://open-services.net/ns/sysmlv2#CalculationUsage

CalculationUsage is an RDFS class.

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.

CaseDefinition

http://open-services.net/ns/sysmlv2#CaseDefinition

CaseDefinition is an RDFS class.

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.

CaseUsage

http://open-services.net/ns/sysmlv2#CaseUsage

CaseUsage is an RDFS class.

A CaseUsage is a Usage of a CaseDefinition.

Class

http://open-services.net/ns/sysmlv2#Class

Class is an RDFS class.

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.

Classifier

http://open-services.net/ns/sysmlv2#Classifier

Classifier is an RDFS class.

A Classifier is a Type that classifies:.

CollectExpression

http://open-services.net/ns/sysmlv2#CollectExpression

CollectExpression is an RDFS class.

A CollectExpression is an OperatorExpression whose operator is "collect", which resolves to the Function ControlFunctions::collect from the Kernel Functions Library.

Comment

http://open-services.net/ns/sysmlv2#Comment

Comment is an RDFS class.

A Comment is an AnnotatingElement whose body in some way describes its annotatedElements.

ConcernDefinition

http://open-services.net/ns/sysmlv2#ConcernDefinition

ConcernDefinition is an RDFS class.

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.

ConcernUsage

http://open-services.net/ns/sysmlv2#ConcernUsage

ConcernUsage is an RDFS class.

A ConcernUsage is a Usage of a ConcernDefinition.

ConjugatedPortDefinition

http://open-services.net/ns/sysmlv2#ConjugatedPortDefinition

ConjugatedPortDefinition is an RDFS class.

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.

ConjugatedPortTyping

http://open-services.net/ns/sysmlv2#ConjugatedPortTyping

ConjugatedPortTyping is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Conjugation

Conjugation is an RDFS class.

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.

ConnectionDefinition

http://open-services.net/ns/sysmlv2#ConnectionDefinition

ConnectionDefinition is an RDFS class.

A ConnectionDefinition is a PartDefinition that is also an AssociationStructure. The end Features of a ConnectionDefinition must be Usages.

ConnectionUsage

http://open-services.net/ns/sysmlv2#ConnectionUsage

ConnectionUsage is an RDFS class.

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.

Connector

http://open-services.net/ns/sysmlv2#Connector

Connector is an RDFS class.

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.

ConnectorAsUsage

http://open-services.net/ns/sysmlv2#ConnectorAsUsage

ConnectorAsUsage is an RDFS class.

A ConnectorAsUsage is both a Connector and a Usage. ConnectorAsUsage cannot itself be instantiated in a SysML model, but it is the base class for the concrete classes BindingConnectorAsUsage, SuccessionAsUsage and ConnectionUsage.

ConstraintDefinition

http://open-services.net/ns/sysmlv2#ConstraintDefinition

ConstraintDefinition is an RDFS class.

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.

ConstraintUsage

http://open-services.net/ns/sysmlv2#ConstraintUsage

ConstraintUsage is an RDFS class.

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.

ControlNode

http://open-services.net/ns/sysmlv2#ControlNode

ControlNode is an RDFS class.

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.

DataType

http://open-services.net/ns/sysmlv2#DataType

DataType is an RDFS class.

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.

DecisionNode

http://open-services.net/ns/sysmlv2#DecisionNode

DecisionNode is an RDFS class.

A DecisionNode is a ControlNode that makes a selection from its outgoing Successions.

Definition

http://open-services.net/ns/sysmlv2#Definition

Definition is an RDFS class.

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).

Dependency

http://open-services.net/ns/sysmlv2#Dependency

Dependency is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Differencing

Differencing is an RDFS class.

Differencing is a Relationship that makes its differencingType one of the differencingTypes of its typeDifferenced.

Disjoining

http://open-services.net/ns/sysmlv2#Disjoining

Disjoining is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Documentation

Documentation is an RDFS class.

Documentation is a Comment that specifically documents a documentedElement, which must be its owner.

Element

http://open-services.net/ns/sysmlv2#Element

Element is an RDFS class.

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

http://open-services.net/ns/sysmlv2#ElementFilterMembership

ElementFilterMembership is an RDFS class.

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

http://open-services.net/ns/sysmlv2#EndFeatureMembership

EndFeatureMembership is an RDFS class.

EndFeatureMembership is a FeatureMembership that requires its memberFeature be owned and have isEnd = true.

EnumerationDefinition

http://open-services.net/ns/sysmlv2#EnumerationDefinition

EnumerationDefinition is an RDFS class.

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.

EnumerationUsage

http://open-services.net/ns/sysmlv2#EnumerationUsage

EnumerationUsage is an RDFS class.

An EnumerationUsage is an AttributeUsage whose attributeDefinition is an EnumerationDefinition.

EventOccurrenceUsage

http://open-services.net/ns/sysmlv2#EventOccurrenceUsage

EventOccurrenceUsage is an RDFS class.

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.

ExhibitStateUsage

http://open-services.net/ns/sysmlv2#ExhibitStateUsage

ExhibitStateUsage is an RDFS class.

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.

Expose

http://open-services.net/ns/sysmlv2#Expose

Expose is an RDFS class.

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).

Expression

http://open-services.net/ns/sysmlv2#Expression

Expression is an RDFS class.

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.

Feature

http://open-services.net/ns/sysmlv2#Feature

Feature is an RDFS class.

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. .

FeatureChainExpression

http://open-services.net/ns/sysmlv2#FeatureChainExpression

FeatureChainExpression is an RDFS class.

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

http://open-services.net/ns/sysmlv2#FeatureChaining

FeatureChaining is an RDFS class.

FeatureChaining is a Relationship that makes its target Feature one of the chainingFeatures of its owning Feature.

FeatureDirectionKind

http://open-services.net/ns/sysmlv2#FeatureDirectionKind

FeatureDirectionKind is an RDFS class.

FeatureDirectionKind enumerates the possible kinds of direction that a Feature may be given as a member of a Type.

FeatureInverting

http://open-services.net/ns/sysmlv2#FeatureInverting

FeatureInverting is an RDFS class.

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.

FeatureMembership

http://open-services.net/ns/sysmlv2#FeatureMembership

FeatureMembership is an RDFS class.

A FeatureMembership is an OwningMembership between a Feature in an owningType that is also a Featuring Relationship between the Feature and the Type, in which the featuringType is the source and the featureOfType is the target. A FeatureMembership is always owned by its owningType, which is the featuringType for the FeatureMembership considered as a Featuring.

FeatureReferenceExpression

http://open-services.net/ns/sysmlv2#FeatureReferenceExpression

FeatureReferenceExpression is an RDFS class.

A FeatureReferenceExpression is an Expression whose result is bound to a referent Feature.

FeatureTyping

http://open-services.net/ns/sysmlv2#FeatureTyping

FeatureTyping is an RDFS class.

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.

FeatureValue

http://open-services.net/ns/sysmlv2#FeatureValue

FeatureValue is an RDFS class.

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.

Featuring

http://open-services.net/ns/sysmlv2#Featuring

Featuring is an RDFS class.

Featuring is a Relationship between a Type and a Feature that is featured by that Type. It asserts that every instance in the domain of the feature must be classified by the type.

FlowConnectionDefinition

http://open-services.net/ns/sysmlv2#FlowConnectionDefinition

FlowConnectionDefinition is an RDFS class.

A FlowConnectionDefinition is a ConnectionDefinition and ActionDefinition that is also an Interaction representing flows between Usages.

FlowConnectionUsage

http://open-services.net/ns/sysmlv2#FlowConnectionUsage

FlowConnectionUsage is an RDFS class.

A FlowConnectionUsage is a ConnectionUsage that is also an ItemFlow.

ForkNode

http://open-services.net/ns/sysmlv2#ForkNode

ForkNode is an RDFS class.

A ForkNode is a ControlNode that must be followed by successor Actions as given by all its outgoing Successions.

ForLoopActionUsage

http://open-services.net/ns/sysmlv2#ForLoopActionUsage

ForLoopActionUsage is an RDFS class.

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.

FramedConcernMembership

http://open-services.net/ns/sysmlv2#FramedConcernMembership

FramedConcernMembership is an RDFS class.

A FramedConcernMembership is a RequirementConstraintMembership for a framed ConcernUsage of a RequirementDefinition or RequirementUsage.

Function

http://open-services.net/ns/sysmlv2#Function

Function is an RDFS class.

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.

IfActionUsage

http://open-services.net/ns/sysmlv2#IfActionUsage

IfActionUsage is an RDFS class.

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.

Import

http://open-services.net/ns/sysmlv2#Import

Import is an RDFS class.

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.

IncludeUseCaseUsage

http://open-services.net/ns/sysmlv2#IncludeUseCaseUsage

IncludeUseCaseUsage is an RDFS class.

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.

Interaction

http://open-services.net/ns/sysmlv2#Interaction

Interaction is an RDFS class.

An Interaction is a Behavior that is also an Association, providing a context for multiple objects that have behaviors that impact one another.

InterfaceDefinition

http://open-services.net/ns/sysmlv2#InterfaceDefinition

InterfaceDefinition is an RDFS class.

An InterfaceDefinition is a ConnectionDefinition all of whose ends are PortUsages, defining an interface between elements that interact through such ports.

InterfaceUsage

http://open-services.net/ns/sysmlv2#InterfaceUsage

InterfaceUsage is an RDFS class.

An InterfaceUsage is a Usage of an InterfaceDefinition to represent an interface connecting parts of a system through specific ports.

Intersecting

http://open-services.net/ns/sysmlv2#Intersecting

Intersecting is an RDFS class.

Intersecting is a Relationship that makes its intersectingType one of the intersectingTypes of its typeIntersected.

Invariant

http://open-services.net/ns/sysmlv2#Invariant

Invariant is an RDFS class.

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.

InvocationExpression

http://open-services.net/ns/sysmlv2#InvocationExpression

InvocationExpression is an RDFS class.

An InvocationExpression is an Expression each of whose input parameters are bound to the result of an argument Expression.

ItemDefinition

http://open-services.net/ns/sysmlv2#ItemDefinition

ItemDefinition is an RDFS class.

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.

ItemFeature

http://open-services.net/ns/sysmlv2#ItemFeature

ItemFeature is an RDFS class.

An ItemFeature is the ownedFeature of an ItemFlow that identifies the things carried by the kinds of transfers that are instances of the ItemFlow.

ItemFlow

http://open-services.net/ns/sysmlv2#ItemFlow

ItemFlow is an RDFS class.

An ItemFlow is a Step that represents the transfer of objects or data values from one Feature to another. ItemFlows can take non-zero time to complete.

ItemFlowEnd

http://open-services.net/ns/sysmlv2#ItemFlowEnd

ItemFlowEnd is an RDFS class.

An ItemFlowEnd is a Feature that is one of the connectorEnds giving the source or target of an ItemFlow. For ItemFlows typed by FlowTransfer or its specializations, ItemFlowEnds 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.

ItemUsage

http://open-services.net/ns/sysmlv2#ItemUsage

ItemUsage is an RDFS class.

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.

JoinNode

http://open-services.net/ns/sysmlv2#JoinNode

JoinNode is an RDFS class.

A JoinNode is a ControlNode that waits for the completion of all the predecessor Actions given by incoming Successions.

LibraryPackage

http://open-services.net/ns/sysmlv2#LibraryPackage

LibraryPackage is an RDFS class.

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.

LifeClass

http://open-services.net/ns/sysmlv2#LifeClass

LifeClass is an RDFS class.

A LifeClass is a Class that specializes both the Class Occurrences::Life from the Kernel Semantic Library and a single OccurrenceDefinition, and has a multiplicity of 0..1. This constrains the OccurrenceDefinition being specialized to have at most one instance that is a complete Life.

LiteralBoolean

http://open-services.net/ns/sysmlv2#LiteralBoolean

LiteralBoolean is an RDFS class.

LiteralBoolean is a LiteralExpression that provides a Boolean value as a result. Its result parameter must have type Boolean.

LiteralExpression

http://open-services.net/ns/sysmlv2#LiteralExpression

LiteralExpression is an RDFS class.

A LiteralExpression is an Expression that provides a basic DataValue as a result.

LiteralInfinity

http://open-services.net/ns/sysmlv2#LiteralInfinity

LiteralInfinity is an RDFS class.

A LiteralInfinity is a LiteralExpression that provides the positive infinity value (*). It's result must have the type Positive.

LiteralInteger

http://open-services.net/ns/sysmlv2#LiteralInteger

LiteralInteger is an RDFS class.

A LiteralInteger is a LiteralExpression that provides an Integer value as a result. Its result parameter must have the type Integer.

LiteralRational

http://open-services.net/ns/sysmlv2#LiteralRational

LiteralRational is an RDFS class.

A LiteralRational is a LiteralExpression that provides a Rational value as a result. Its result parameter must have the type Rational.

LiteralString

http://open-services.net/ns/sysmlv2#LiteralString

LiteralString is an RDFS class.

A LiteralString is a LiteralExpression that provides a String value as a result. Its result parameter must have the type String.

LoopActionUsage

http://open-services.net/ns/sysmlv2#LoopActionUsage

LoopActionUsage is an RDFS class.

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.

Membership

http://open-services.net/ns/sysmlv2#Membership

Membership is an RDFS class.

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.

MembershipExpose

http://open-services.net/ns/sysmlv2#MembershipExpose

MembershipExpose is an RDFS class.

A MembershipExpose is an Expose that exposes a specific importedMembership and, if isRecursive = true, additional Memberships recursively.

MembershipImport

http://open-services.net/ns/sysmlv2#MembershipImport

MembershipImport is an RDFS class.

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.

MergeNode

http://open-services.net/ns/sysmlv2#MergeNode

MergeNode is an RDFS class.

A MergeNode is a ControlNode that asserts the merging of its incoming Successions. A MergeNode may have at most one outgoing Successions.

Metaclass

http://open-services.net/ns/sysmlv2#Metaclass

Metaclass is an RDFS class.

A Metaclass is a Structure used to type MetadataFeatures.

MetadataAccessExpression

http://open-services.net/ns/sysmlv2#MetadataAccessExpression

MetadataAccessExpression is an RDFS class.

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.

MetadataDefinition

http://open-services.net/ns/sysmlv2#MetadataDefinition

MetadataDefinition is an RDFS class.

A MetadataDefinition is an ItemDefinition that is also a Metaclass.

MetadataFeature

http://open-services.net/ns/sysmlv2#MetadataFeature

MetadataFeature is an RDFS class.

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.

MetadataUsage

http://open-services.net/ns/sysmlv2#MetadataUsage

MetadataUsage is an RDFS class.

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.

Multiplicity

http://open-services.net/ns/sysmlv2#Multiplicity

Multiplicity is an RDFS class.

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. .

MultiplicityRange

http://open-services.net/ns/sysmlv2#MultiplicityRange

MultiplicityRange is an RDFS class.

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.

Namespace

http://open-services.net/ns/sysmlv2#Namespace

Namespace is an RDFS class.

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.

NamespaceExpose

http://open-services.net/ns/sysmlv2#NamespaceExpose

NamespaceExpose is an RDFS class.

A NamespaceExpose is an Expose Relationship that exposes the Memberships of a specific importedNamespace and, if isRecursive = true, additional Memberships recursively.

NamespaceImport

http://open-services.net/ns/sysmlv2#NamespaceImport

NamespaceImport is an RDFS class.

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.

NullExpression

http://open-services.net/ns/sysmlv2#NullExpression

NullExpression is an RDFS class.

A NullExpression is an Expression that results in a null value.

ObjectiveMembership

http://open-services.net/ns/sysmlv2#ObjectiveMembership

ObjectiveMembership is an RDFS class.

An ObjectiveMembership is a FeatureMembership that indicates that its ownedObjectiveRequirement is the objective RequirementUsage for its owningType, which must be a CaseDefinition or CaseUsage.

OccurrenceDefinition

http://open-services.net/ns/sysmlv2#OccurrenceDefinition

OccurrenceDefinition is an RDFS class.

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.

OccurrenceUsage

http://open-services.net/ns/sysmlv2#OccurrenceUsage

OccurrenceUsage is an RDFS class.

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.

OperatorExpression

http://open-services.net/ns/sysmlv2#OperatorExpression

OperatorExpression is an RDFS class.

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.

OwningMembership

http://open-services.net/ns/sysmlv2#OwningMembership

OwningMembership is an RDFS class.

An OwningMembership is a Membership that owns its memberElement as a ownedRelatedElement. The ownedMemberElement becomes an ownedMember of the membershipOwningNamespace.

Package

http://open-services.net/ns/sysmlv2#Package

Package is an RDFS class.

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.

ParameterMembership

http://open-services.net/ns/sysmlv2#ParameterMembership

ParameterMembership is an RDFS class.

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 or a Step.

PartDefinition

http://open-services.net/ns/sysmlv2#PartDefinition

PartDefinition is an RDFS class.

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.

PartUsage

http://open-services.net/ns/sysmlv2#PartUsage

PartUsage is an RDFS class.

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.

PerformActionUsage

http://open-services.net/ns/sysmlv2#PerformActionUsage

PerformActionUsage is an RDFS class.

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.

PortConjugation

http://open-services.net/ns/sysmlv2#PortConjugation

PortConjugation is an RDFS class.

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.

PortDefinition

http://open-services.net/ns/sysmlv2#PortDefinition

PortDefinition is an RDFS class.

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.

PortionKind

http://open-services.net/ns/sysmlv2#PortionKind

PortionKind is an RDFS class.

PortionKind is an enumeration of the specific kinds of Occurrence portions that can be represented by an OccurrenceUsage.

PortUsage

http://open-services.net/ns/sysmlv2#PortUsage

PortUsage is an RDFS class.

A PortUsage is a usage of a PortDefinition. A PortUsage itself as well as all its nestedUsages must be referential (non-composite).

Predicate

http://open-services.net/ns/sysmlv2#Predicate

Predicate is an RDFS class.

A Predicate is a Function whose result parameter has type Boolean and multiplicity 1..1.

Redefinition

http://open-services.net/ns/sysmlv2#Redefinition

Redefinition is an RDFS class.

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

http://open-services.net/ns/sysmlv2#ReferenceSubsetting

ReferenceSubsetting is an RDFS class.

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 referenceFeature may have a special purpose relative to the referencingFeature. For instance, ReferenceSubsetting is used to identify the relatedFeatures of a Connector.

ReferenceUsage

http://open-services.net/ns/sysmlv2#ReferenceUsage

ReferenceUsage is an RDFS class.

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.

Relationship

http://open-services.net/ns/sysmlv2#Relationship

Relationship is an RDFS class.

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.

RenderingDefinition

http://open-services.net/ns/sysmlv2#RenderingDefinition

RenderingDefinition is an RDFS class.

A RenderingDefinition is a PartDefinition that defines a specific rendering of the content of a model view (e.g., symbols, style, layout, etc.).

RenderingUsage

http://open-services.net/ns/sysmlv2#RenderingUsage

RenderingUsage is an RDFS class.

A RenderingUsage is the usage of a RenderingDefinition to specify the rendering of a specific model view to produce a physical view artifact.

RequirementConstraintKind

http://open-services.net/ns/sysmlv2#RequirementConstraintKind

RequirementConstraintKind is an RDFS class.

A RequirementConstraintKind indicates whether a ConstraintUsage is an assumption or a requirement in a RequirementDefinition or RequirementUsage.

RequirementConstraintMembership

http://open-services.net/ns/sysmlv2#RequirementConstraintMembership

RequirementConstraintMembership is an RDFS class.

A RequirementConstraintMembership is a FeatureMembership for an assumed or required ConstraintUsage of a RequirementDefinition or RequirementUsage.

RequirementDefinition

http://open-services.net/ns/sysmlv2#RequirementDefinition

RequirementDefinition is an RDFS class.

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.

RequirementUsage

http://open-services.net/ns/sysmlv2#RequirementUsage

RequirementUsage is an RDFS class.

A RequirementUsage is a Usage of a RequirementDefinition.

RequirementVerificationMembership

http://open-services.net/ns/sysmlv2#RequirementVerificationMembership

RequirementVerificationMembership is an RDFS class.

A RequirementVerificationMembership is a RequirementConstraintMembership used in the objective of a VerificationCase to identify a RequirementUsage that is verified by the VerificationCase.

ResultExpressionMembership

http://open-services.net/ns/sysmlv2#ResultExpressionMembership

ResultExpressionMembership is an RDFS class.

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.

ReturnParameterMembership

http://open-services.net/ns/sysmlv2#ReturnParameterMembership

ReturnParameterMembership is an RDFS class.

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.

SatisfyRequirementUsage

http://open-services.net/ns/sysmlv2#SatisfyRequirementUsage

SatisfyRequirementUsage is an RDFS class.

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.

SelectExpression

http://open-services.net/ns/sysmlv2#SelectExpression

SelectExpression is an RDFS class.

A SelectExpression is an OperatorExpression whose operator is "select", which resolves to the Function ControlFunctions::select from the Kernel Functions Library.

SendActionUsage

http://open-services.net/ns/sysmlv2#SendActionUsage

SendActionUsage is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Specialization

Specialization is an RDFS class.

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).

StakeholderMembership

http://open-services.net/ns/sysmlv2#StakeholderMembership

StakeholderMembership is an RDFS class.

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.

StateDefinition

http://open-services.net/ns/sysmlv2#StateDefinition

StateDefinition is an RDFS class.

A StateDefinition is the Definition of the Behavior of a system or part of a system in a certain state condition.

StateSubactionKind

http://open-services.net/ns/sysmlv2#StateSubactionKind

StateSubactionKind is an RDFS class.

A StateSubactionKind indicates whether the action of a StateSubactionMembership is an entry, do or exit action.

StateSubactionMembership

http://open-services.net/ns/sysmlv2#StateSubactionMembership

StateSubactionMembership is an RDFS class.

A StateSubactionMembership is a FeatureMembership for an entry, do or exit ActionUsage of a StateDefinition or StateUsage.

StateUsage

http://open-services.net/ns/sysmlv2#StateUsage

StateUsage is an RDFS class.

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 .

Step

http://open-services.net/ns/sysmlv2#Step

Step is an RDFS class.

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 ItemFlows to specify things flowing between their parameters.

Structure

http://open-services.net/ns/sysmlv2#Structure

Structure is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Subclassification

Subclassification is an RDFS class.

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.

SubjectMembership

http://open-services.net/ns/sysmlv2#SubjectMembership

SubjectMembership is an RDFS class.

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

http://open-services.net/ns/sysmlv2#Subsetting

Subsetting is an RDFS class.

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.

Succession

http://open-services.net/ns/sysmlv2#Succession

Succession is an RDFS class.

A Succession is a binary Connector that requires its relatedFeatures to happen separately in time.

SuccessionAsUsage

http://open-services.net/ns/sysmlv2#SuccessionAsUsage

SuccessionAsUsage is an RDFS class.

A SuccessionAsUsage is both a ConnectorAsUsage and a Succession.

SuccessionFlowConnectionUsage

http://open-services.net/ns/sysmlv2#SuccessionFlowConnectionUsage

SuccessionFlowConnectionUsage is an RDFS class.

A SuccessionFlowConnectionUsage is a FlowConnectionUsage that is also a SuccessionItemFlow.

SuccessionItemFlow

http://open-services.net/ns/sysmlv2#SuccessionItemFlow

SuccessionItemFlow is an RDFS class.

A SuccessionItemFlow is an ItemFlow 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.

TextualRepresentation

http://open-services.net/ns/sysmlv2#TextualRepresentation

TextualRepresentation is an RDFS class.

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.

TransitionFeatureKind

http://open-services.net/ns/sysmlv2#TransitionFeatureKind

TransitionFeatureKind is an RDFS class.

A TransitionActionKind indicates whether the transitionFeature of a TransitionFeatureMembership is a trigger, guard or effect.

TransitionFeatureMembership

http://open-services.net/ns/sysmlv2#TransitionFeatureMembership

TransitionFeatureMembership is an RDFS class.

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. .

TransitionUsage

http://open-services.net/ns/sysmlv2#TransitionUsage

TransitionUsage is an RDFS class.

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.

TriggerInvocationExpression

http://open-services.net/ns/sysmlv2#TriggerInvocationExpression

TriggerInvocationExpression is an RDFS class.

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

http://open-services.net/ns/sysmlv2#TriggerKind

TriggerKind is an RDFS class.

TriggerKind enumerates the kinds of triggers that can be represented by a TriggerInvocationExpression.

Type

http://open-services.net/ns/sysmlv2#Type

Type is an RDFS class.

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).

TypeFeaturing

http://open-services.net/ns/sysmlv2#TypeFeaturing

TypeFeaturing is an RDFS class.

A TypeFeaturing is a Featuring Relationship in which the featureOfType is the source and the featuringType is the target.

Unioning

http://open-services.net/ns/sysmlv2#Unioning

Unioning is an RDFS class.

Unioning is a Relationship that makes its unioningType one of the unioningTypes of its typeUnioned.

Usage

http://open-services.net/ns/sysmlv2#Usage

Usage is an RDFS class.

A Usage is a usage of a Definition. A Usage may only be an ownedFeature of a Definition or another Usage.

UseCaseDefinition

http://open-services.net/ns/sysmlv2#UseCaseDefinition

UseCaseDefinition is an RDFS class.

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.

UseCaseUsage

http://open-services.net/ns/sysmlv2#UseCaseUsage

UseCaseUsage is an RDFS class.

A UseCaseUsage is a Usage of a UseCaseDefinition.

VariantMembership

http://open-services.net/ns/sysmlv2#VariantMembership

VariantMembership is an RDFS class.

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.

VerificationCaseDefinition

http://open-services.net/ns/sysmlv2#VerificationCaseDefinition

VerificationCaseDefinition is an RDFS class.

A VerificationCaseDefinition is a CaseDefinition for the purpose of verification of the subject of the case against its requirements.

VerificationCaseUsage

http://open-services.net/ns/sysmlv2#VerificationCaseUsage

VerificationCaseUsage is an RDFS class.

A VerificationCaseUsage is a Usage of a VerificationCaseDefinition.

ViewDefinition

http://open-services.net/ns/sysmlv2#ViewDefinition

ViewDefinition is an RDFS class.

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.

ViewpointDefinition

http://open-services.net/ns/sysmlv2#ViewpointDefinition

ViewpointDefinition is an RDFS class.

A ViewpointDefinition is a RequirementDefinition that specifies one or more stakeholder concerns that are to be satisfied by creating a view of a model.

ViewpointUsage

http://open-services.net/ns/sysmlv2#ViewpointUsage

ViewpointUsage is an RDFS class.

A ViewpointUsage is a Usage of a ViewpointDefinition.

ViewRenderingMembership

http://open-services.net/ns/sysmlv2#ViewRenderingMembership

ViewRenderingMembership is an RDFS class.

A ViewRenderingMembership is a FeatureMembership that identifies the viewRendering of a ViewDefinition or ViewUsage.

ViewUsage

http://open-services.net/ns/sysmlv2#ViewUsage

ViewUsage is an RDFS class.

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.

VisibilityKind

http://open-services.net/ns/sysmlv2#VisibilityKind

VisibilityKind is an RDFS class.

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).

WhileLoopActionUsage

http://open-services.net/ns/sysmlv2#WhileLoopActionUsage

WhileLoopActionUsage is an RDFS class.

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.

2.1.2 Properties in this namespace (412)

acceptActionUsage_PayloadArgument, acceptActionUsage_PayloadParameter, acceptActionUsage_ReceiverArgument, actionDefinition_Action, actionUsage_ActionDefinition, actorMembership_OwnedActorParameter, allocationDefinition_Allocation, allocationUsage_AllocationDefinition, analysisCaseDefinition_AnalysisAction, analysisCaseDefinition_ResultExpression, analysisCaseUsage_AnalysisAction, analysisCaseUsage_AnalysisCaseDefinition, analysisCaseUsage_ResultExpression, annotatingElement_AnnotatedElement, annotatingElement_Annotation, annotatingElement_OwnedAnnotatingRelationship, annotation_AnnotatedElement, annotation_AnnotatingElement, annotation_OwningAnnotatedElement, annotation_OwningAnnotatingElement, assertConstraintUsage_AssertedConstraint, assignmentActionUsage_Referent, assignmentActionUsage_TargetArgument, assignmentActionUsage_ValueExpression, association_AssociationEnd, association_RelatedType, association_SourceType, association_TargetType, attributeUsage_AttributeDefinition, behavior_Parameter, behavior_Step, booleanExpression_Predicate, calculationDefinition_Calculation, calculationUsage_CalculationDefinition, caseDefinition_ActorParameter, caseDefinition_ObjectiveRequirement, caseDefinition_SubjectParameter, caseUsage_ActorParameter, caseUsage_CaseDefinition, caseUsage_ObjectiveRequirement, caseUsage_SubjectParameter, classifier_OwnedSubclassification, comment_Body, comment_Locale, concernUsage_ConcernDefinition, conjugatedPortDefinition_OriginalPortDefinition, conjugatedPortDefinition_OwnedPortConjugator, conjugatedPortTyping_ConjugatedPortDefinition, conjugatedPortTyping_PortDefinition, conjugation_ConjugatedType, conjugation_OriginalType, conjugation_OwningType, connectionDefinition_ConnectionEnd, connectionUsage_ConnectionDefinition, connector_Association, connector_ConnectorEnd, connector_RelatedFeature, connector_SourceFeature, connector_TargetFeature, constraintUsage_ConstraintDefinition, definition_DirectedUsage, definition_IsVariation, definition_OwnedAction, definition_OwnedAllocation, definition_OwnedAnalysisCase, definition_OwnedAttribute, definition_OwnedCalculation, definition_OwnedCase, definition_OwnedConcern, definition_OwnedConnection, definition_OwnedConstraint, definition_OwnedEnumeration, definition_OwnedFlow, definition_OwnedInterface, definition_OwnedItem, definition_OwnedMetadata, definition_OwnedOccurrence, definition_OwnedPart, definition_OwnedPort, definition_OwnedReference, definition_OwnedRendering, definition_OwnedRequirement, definition_OwnedState, definition_OwnedTransition, definition_OwnedUsage, definition_OwnedUseCase, definition_OwnedVerificationCase, definition_OwnedView, definition_OwnedViewpoint, definition_Usage, definition_Variant, definition_VariantMembership, dependency_Client, dependency_Supplier, differencing_DifferencingType, differencing_TypeDifferenced, disjoining_DisjoiningType, disjoining_OwningType, disjoining_TypeDisjoined, documentation_DocumentedElement, element_AliasIds, element_DeclaredName, element_DeclaredShortName, element_Documentation, element_ElementId, element_IsImpliedIncluded, element_IsLibraryElement, element_Name, element_OwnedAnnotation, element_OwnedElement, element_OwnedRelationship, element_Owner, element_OwningMembership, element_OwningNamespace, element_OwningRelationship, element_QualifiedName, element_ShortName, element_TextualRepresentation, elementFilterMembership_Condition, enumerationDefinition_EnumeratedValue, enumerationUsage_EnumerationDefinition, eventOccurrenceUsage_EventOccurrence, exhibitStateUsage_ExhibitedState, expression_Function, expression_IsModelLevelEvaluable, expression_Result, feature_ChainingFeature, feature_Direction, feature_EndOwningType, feature_FeaturingType, feature_IsComposite, feature_IsDerived, feature_IsEnd, feature_IsNonunique, feature_IsOrdered, feature_IsPortion, feature_IsReadOnly, feature_IsUnique, feature_OwnedFeatureChaining, feature_OwnedFeatureInverting, feature_OwnedRedefinition, feature_OwnedReferenceSubsetting, feature_OwnedSubsetting, feature_OwnedTypeFeaturing, feature_OwnedTyping, feature_OwningFeatureMembership, feature_OwningType, feature_Type, featureChainExpression_TargetFeature, featureChaining_ChainingFeature, featureChaining_FeatureChained, featureInverting_FeatureInverted, featureInverting_InvertingFeature, featureInverting_OwningFeature, featureMembership_OwnedMemberFeature, featureMembership_OwningType, featureReferenceExpression_Referent, featureTyping_OwningFeature, featureTyping_Type, featureTyping_TypedFeature, featureValue_FeatureWithValue, featureValue_IsDefault, featureValue_IsInitial, featureValue_Value, featuring_Feature, featuring_Type, flowConnectionUsage_FlowConnectionDefinition, forLoopActionUsage_LoopVariable, forLoopActionUsage_SeqArgument, framedConcernMembership_OwnedConcern, framedConcernMembership_ReferencedConcern, function_Expression, function_IsModelLevelEvaluable, function_Result, ifActionUsage_ElseAction, ifActionUsage_IfArgument, ifActionUsage_ThenAction, import_ImportedElement, import_ImportOwningNamespace, import_IsImportAll, import_IsRecursive, import_Visibility, includeUseCaseUsage_UseCaseIncluded, interfaceDefinition_InterfaceEnd, interfaceUsage_InterfaceDefinition, intersecting_IntersectingType, intersecting_TypeIntersected, invariant_IsNegated, invocationExpression_Argument, invocationExpression_Operand, itemFlow_Interaction, itemFlow_ItemFeature, itemFlow_ItemFlowEnd, itemFlow_ItemType, itemFlow_SourceOutputFeature, itemFlow_TargetInputFeature, itemUsage_ItemDefinition, libraryPackage_IsStandard, literalBoolean_Value, literalInteger_Value, literalRational_Value, literalString_Value, loopActionUsage_BodyAction, membership_MemberElement, membership_MemberElementId, membership_MemberName, membership_MembershipOwningNamespace, membership_MemberShortName, membership_Visibility, membershipImport_ImportedMembership, metadataAccessExpression_ReferencedElement, metadataFeature_Metaclass, metadataUsage_MetadataDefinition, multiplicityRange_Bound, multiplicityRange_LowerBound, multiplicityRange_UpperBound, namespace_ImportedMembership, namespace_Member, namespace_Membership, namespace_OwnedImport, namespace_OwnedMember, namespace_OwnedMembership, namespaceImport_ImportedNamespace, objectiveMembership_OwnedObjectiveRequirement, occurrenceDefinition_IsIndividual, occurrenceDefinition_LifeClass, occurrenceUsage_IndividualDefinition, occurrenceUsage_IsIndividual, occurrenceUsage_OccurrenceDefinition, occurrenceUsage_PortionKind, operatorExpression_Operator, owningMembership_OwnedMemberElement, owningMembership_OwnedMemberElementId, owningMembership_OwnedMemberName, owningMembership_OwnedMemberShortName, package_FilterCondition, parameterMembership_OwnedMemberParameter, partUsage_PartDefinition, performActionUsage_PerformedAction, portConjugation_ConjugatedPortDefinition, portConjugation_OriginalPortDefinition, portDefinition_ConjugatedPortDefinition, portUsage_PortDefinition, redefinition_RedefinedFeature, redefinition_RedefiningFeature, referenceSubsetting_ReferencedFeature, referenceSubsetting_ReferencingFeature, relationship_IsImplied, relationship_OwnedRelatedElement, relationship_OwningRelatedElement, relationship_RelatedElement, relationship_Source, relationship_Target, renderingDefinition_Rendering, renderingUsage_RenderingDefinition, requirementConstraintMembership_Kind, requirementConstraintMembership_OwnedConstraint, requirementConstraintMembership_ReferencedConstraint, requirementDefinition_ActorParameter, requirementDefinition_AssumedConstraint, requirementDefinition_FramedConcern, requirementDefinition_ReqId, requirementDefinition_RequiredConstraint, requirementDefinition_StakeholderParameter, requirementDefinition_SubjectParameter, requirementDefinition_Text, requirementUsage_ActorParameter, requirementUsage_AssumedConstraint, requirementUsage_FramedConcern, requirementUsage_ReqId, requirementUsage_RequiredConstraint, requirementUsage_RequirementDefinition, requirementUsage_StakeholderParameter, requirementUsage_SubjectParameter, requirementUsage_Text, requirementVerificationMembership_OwnedRequirement, requirementVerificationMembership_VerifiedRequirement, resultExpressionMembership_OwnedResultExpression, satisfyRequirementUsage_SatisfiedRequirement, satisfyRequirementUsage_SatisfyingFeature, sendActionUsage_PayloadArgument, sendActionUsage_ReceiverArgument, sendActionUsage_SenderArgument, specialization_General, specialization_OwningType, specialization_Specific, stakeholderMembership_OwnedStakeholderParameter, stateDefinition_DoAction, stateDefinition_EntryAction, stateDefinition_ExitAction, stateDefinition_IsParallel, stateDefinition_State, stateSubactionMembership_Action, stateSubactionMembership_Kind, stateUsage_DoAction, stateUsage_EntryAction, stateUsage_ExitAction, stateUsage_IsParallel, stateUsage_StateDefinition, step_Behavior, step_Parameter, subclassification_OwningClassifier, subclassification_Subclassifier, subclassification_Superclassifier, subjectMembership_OwnedSubjectParameter, subsetting_OwningFeature, subsetting_SubsettedFeature, subsetting_SubsettingFeature, succession_EffectStep, succession_GuardExpression, succession_TransitionStep, succession_TriggerStep, textualRepresentation_Body, textualRepresentation_Language, textualRepresentation_RepresentedElement, transitionFeatureMembership_Kind, transitionFeatureMembership_TransitionFeature, transitionUsage_EffectAction, transitionUsage_GuardExpression, transitionUsage_Source, transitionUsage_Succession, transitionUsage_Target, transitionUsage_TriggerAction, triggerInvocationExpression_Kind, type_DifferencingType, type_DirectedFeature, type_EndFeature, type_Feature, type_FeatureMembership, type_InheritedFeature, type_InheritedMembership, type_Input, type_IntersectingType, type_IsAbstract, type_IsConjugated, type_IsSufficient, type_Multiplicity, type_Output, type_OwnedConjugator, type_OwnedDifferencing, type_OwnedDisjoining, type_OwnedEndFeature, type_OwnedFeature, type_OwnedFeatureMembership, type_OwnedIntersecting, type_OwnedSpecialization, type_OwnedUnioning, type_UnioningType, typeFeaturing_FeatureOfType, typeFeaturing_FeaturingType, typeFeaturing_OwningFeatureOfType, unioning_TypeUnioned, unioning_UnioningType, usage_Definition, usage_DirectedUsage, usage_IsReference, usage_IsVariation, usage_NestedAction, usage_NestedAllocation, usage_NestedAnalysisCase, usage_NestedAttribute, usage_NestedCalculation, usage_NestedCase, usage_NestedConcern, usage_NestedConnection, usage_NestedConstraint, usage_NestedEnumeration, usage_NestedFlow, usage_NestedInterface, usage_NestedItem, usage_NestedMetadata, usage_NestedOccurrence, usage_NestedPart, usage_NestedPort, usage_NestedReference, usage_NestedRendering, usage_NestedRequirement, usage_NestedState, usage_NestedTransition, usage_NestedUsage, usage_NestedUseCase, usage_NestedVerificationCase, usage_NestedView, usage_NestedViewpoint, usage_OwningDefinition, usage_OwningUsage, usage_Usage, usage_Variant, usage_VariantMembership, useCaseDefinition_IncludedUseCase, useCaseUsage_IncludedUseCase, useCaseUsage_UseCaseDefinition, variantMembership_OwnedVariantUsage, verificationCaseDefinition_VerifiedRequirement, verificationCaseUsage_VerificationCaseDefinition, verificationCaseUsage_VerifiedRequirement, viewDefinition_SatisfiedViewpoint, viewDefinition_View, viewDefinition_ViewCondition, viewDefinition_ViewRendering, viewpointDefinition_ViewpointStakeholder, viewpointUsage_ViewpointDefinition, viewpointUsage_ViewpointStakeholder, viewRenderingMembership_OwnedRendering, viewRenderingMembership_ReferencedRendering, viewUsage_ExposedElement, viewUsage_SatisfiedViewpoint, viewUsage_ViewCondition, viewUsage_ViewDefinition, viewUsage_ViewRendering, whileLoopActionUsage_UntilArgument, whileLoopActionUsage_WhileArgument

acceptActionUsage_PayloadArgument

http://open-services.net/ns/sysmlv2#acceptActionUsage_PayloadArgument

acceptActionUsage_PayloadArgument is an RDF property.

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.

acceptActionUsage_PayloadParameter

http://open-services.net/ns/sysmlv2#acceptActionUsage_PayloadParameter

acceptActionUsage_PayloadParameter is an RDF property.

The nestedReference of this AcceptActionUsage that redefines the payload output parameter of the base AcceptActionUsage AcceptAction from the Systems Model Library.

acceptActionUsage_ReceiverArgument

http://open-services.net/ns/sysmlv2#acceptActionUsage_ReceiverArgument

acceptActionUsage_ReceiverArgument is an RDF property.

An Expression whose result is bound to the receiver input parameter of this AcceptActionUsage.

actionDefinition_Action

http://open-services.net/ns/sysmlv2#actionDefinition_Action

actionDefinition_Action is an RDF property.

The ActionUsages that are steps in this ActionDefinition, which define the actions that specify the behavior of the ActionDefinition.

actionUsage_ActionDefinition

http://open-services.net/ns/sysmlv2#actionUsage_ActionDefinition

actionUsage_ActionDefinition is an RDF property.

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.

actorMembership_OwnedActorParameter

http://open-services.net/ns/sysmlv2#actorMembership_OwnedActorParameter

actorMembership_OwnedActorParameter is an RDF property.

The PartUsage specifying the actor.

allocationDefinition_Allocation

http://open-services.net/ns/sysmlv2#allocationDefinition_Allocation

allocationDefinition_Allocation is an RDF property.

The AllocationUsages that refine the allocation mapping defined by this AllocationDefinition.

allocationUsage_AllocationDefinition

http://open-services.net/ns/sysmlv2#allocationUsage_AllocationDefinition

allocationUsage_AllocationDefinition is an RDF property.

The AllocationDefinitions that are the types of this AllocationUsage.

analysisCaseDefinition_AnalysisAction

http://open-services.net/ns/sysmlv2#analysisCaseDefinition_AnalysisAction

analysisCaseDefinition_AnalysisAction is an RDF property.

The composite actions of the AnalysisCaseDefinition that are defined as AnalysisActions.

analysisCaseDefinition_ResultExpression

http://open-services.net/ns/sysmlv2#analysisCaseDefinition_ResultExpression

analysisCaseDefinition_ResultExpression is an RDF property.

An Expression used to compute the result of the AnalysisCaseDefinition, owned via a ResultExpressionMembership.

analysisCaseUsage_AnalysisAction

http://open-services.net/ns/sysmlv2#analysisCaseUsage_AnalysisAction

analysisCaseUsage_AnalysisAction is an RDF property.

The composite usages of the AnalysisCaseUsage that are defined as AnalysisActions.

analysisCaseUsage_AnalysisCaseDefinition

http://open-services.net/ns/sysmlv2#analysisCaseUsage_AnalysisCaseDefinition

analysisCaseUsage_AnalysisCaseDefinition is an RDF property.

The AnalysisCaseDefinition that is the definition of this AnalysisCaseUsage.

analysisCaseUsage_ResultExpression

http://open-services.net/ns/sysmlv2#analysisCaseUsage_ResultExpression

analysisCaseUsage_ResultExpression is an RDF property.

An Expression used to compute the result of the AnalysisCaseUsage, owned via a ResultExpressionMembership.

annotatingElement_AnnotatedElement

http://open-services.net/ns/sysmlv2#annotatingElement_AnnotatedElement

annotatingElement_AnnotatedElement is an RDF property.

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.

annotatingElement_Annotation

http://open-services.net/ns/sysmlv2#annotatingElement_Annotation

annotatingElement_Annotation is an RDF property.

The Annotations that relate this AnnotatingElement to its annotatedElements.

annotatingElement_OwnedAnnotatingRelationship

http://open-services.net/ns/sysmlv2#annotatingElement_OwnedAnnotatingRelationship

annotatingElement_OwnedAnnotatingRelationship is an RDF property.

The ownedRelationships of this AnnotatingElement that are Annotations, for which this AnnotatingElement is the annotatingElement.

annotation_AnnotatedElement

http://open-services.net/ns/sysmlv2#annotation_AnnotatedElement

annotation_AnnotatedElement is an RDF property.

The Element that is annotated by the annotatingElement of this Annotation.

annotation_AnnotatingElement

http://open-services.net/ns/sysmlv2#annotation_AnnotatingElement

annotation_AnnotatingElement is an RDF property.

The AnnotatingElement that annotates the annotatedElement of this Annotation.

annotation_OwningAnnotatedElement

http://open-services.net/ns/sysmlv2#annotation_OwningAnnotatedElement

annotation_OwningAnnotatedElement is an RDF property.

The annotatedElement of this Annotation, when it is also its owningRelatedElement.

annotation_OwningAnnotatingElement

http://open-services.net/ns/sysmlv2#annotation_OwningAnnotatingElement

annotation_OwningAnnotatingElement is an RDF property.

The annotatingElement of this Annotation, when it is also its owningRelatedElement.

assertConstraintUsage_AssertedConstraint

http://open-services.net/ns/sysmlv2#assertConstraintUsage_AssertedConstraint

assertConstraintUsage_AssertedConstraint is an RDF property.

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.

assignmentActionUsage_Referent

http://open-services.net/ns/sysmlv2#assignmentActionUsage_Referent

assignmentActionUsage_Referent is an RDF property.

The Feature whose value is to be set.

assignmentActionUsage_TargetArgument

http://open-services.net/ns/sysmlv2#assignmentActionUsage_TargetArgument

assignmentActionUsage_TargetArgument is an RDF property.

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.

assignmentActionUsage_ValueExpression

http://open-services.net/ns/sysmlv2#assignmentActionUsage_ValueExpression

assignmentActionUsage_ValueExpression is an RDF property.

The Expression whose result is to be assigned to the referent Feature.

association_AssociationEnd

http://open-services.net/ns/sysmlv2#association_AssociationEnd

association_AssociationEnd is an RDF property.

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.

association_RelatedType

http://open-services.net/ns/sysmlv2#association_RelatedType

association_RelatedType is an RDF property.

The types of the associationEnds of the Association, which are the relatedElements of the Association considered as a Relationship.

association_SourceType

http://open-services.net/ns/sysmlv2#association_SourceType

association_SourceType is an RDF property.

The source relatedType for this Association. It is the first relatedType of the Association.

association_TargetType

http://open-services.net/ns/sysmlv2#association_TargetType

association_TargetType is an RDF property.

The target relatedTypes for this Association. This includes all the relatedTypes other than the sourceType.

attributeUsage_AttributeDefinition

http://open-services.net/ns/sysmlv2#attributeUsage_AttributeDefinition

attributeUsage_AttributeDefinition is an RDF property.

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.

behavior_Parameter

http://open-services.net/ns/sysmlv2#behavior_Parameter

behavior_Parameter is an RDF property.

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.

behavior_Step

http://open-services.net/ns/sysmlv2#behavior_Step

behavior_Step is an RDF property.

The Steps that make up this Behavior.

booleanExpression_Predicate

http://open-services.net/ns/sysmlv2#booleanExpression_Predicate

booleanExpression_Predicate is an RDF property.

The Predicate that types this BooleanExpression.

calculationDefinition_Calculation

http://open-services.net/ns/sysmlv2#calculationDefinition_Calculation

calculationDefinition_Calculation is an RDF property.

The actions of this CalculationDefinition that are CalculationUsages.

calculationUsage_CalculationDefinition

http://open-services.net/ns/sysmlv2#calculationUsage_CalculationDefinition

calculationUsage_CalculationDefinition is an RDF property.

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.

caseDefinition_ActorParameter

http://open-services.net/ns/sysmlv2#caseDefinition_ActorParameter

caseDefinition_ActorParameter is an RDF property.

The parameters of this CaseDefinition that represent actors involved in the case.

caseDefinition_ObjectiveRequirement

http://open-services.net/ns/sysmlv2#caseDefinition_ObjectiveRequirement

caseDefinition_ObjectiveRequirement is an RDF property.

The RequirementUsage representing the objective of this CaseDefinition.

caseDefinition_SubjectParameter

http://open-services.net/ns/sysmlv2#caseDefinition_SubjectParameter

caseDefinition_SubjectParameter is an RDF property.

The parameter of this CaseDefinition that represents its subject.

caseUsage_ActorParameter

http://open-services.net/ns/sysmlv2#caseUsage_ActorParameter

caseUsage_ActorParameter is an RDF property.

The parameters of this CaseUsage that represent actors involved in the case.

caseUsage_CaseDefinition

http://open-services.net/ns/sysmlv2#caseUsage_CaseDefinition

caseUsage_CaseDefinition is an RDF property.

The CaseDefinition that is the type of this CaseUsage.

caseUsage_ObjectiveRequirement

http://open-services.net/ns/sysmlv2#caseUsage_ObjectiveRequirement

caseUsage_ObjectiveRequirement is an RDF property.

The RequirementUsage representing the objective of this CaseUsage.

caseUsage_SubjectParameter

http://open-services.net/ns/sysmlv2#caseUsage_SubjectParameter

caseUsage_SubjectParameter is an RDF property.

The parameter of this CaseUsage that represents its subject.

classifier_OwnedSubclassification

http://open-services.net/ns/sysmlv2#classifier_OwnedSubclassification

classifier_OwnedSubclassification is an RDF property.

The ownedSpecializations of this Classifier that are Subclassifications, for which this Classifier is the subclassifier.

comment_Body

http://open-services.net/ns/sysmlv2#comment_Body

comment_Body is an RDF property.

The annotation text for the Comment.

comment_Locale

http://open-services.net/ns/sysmlv2#comment_Locale

comment_Locale is an RDF property.

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]].

concernUsage_ConcernDefinition

http://open-services.net/ns/sysmlv2#concernUsage_ConcernDefinition

concernUsage_ConcernDefinition is an RDF property.

The ConcernDefinition that is the single type of this ConcernUsage.

conjugatedPortDefinition_OriginalPortDefinition

http://open-services.net/ns/sysmlv2#conjugatedPortDefinition_OriginalPortDefinition

conjugatedPortDefinition_OriginalPortDefinition is an RDF property.

The original PortDefinition for this ConjugatedPortDefinition, which is the owningNamespace of the ConjugatedPortDefinition.

conjugatedPortDefinition_OwnedPortConjugator

http://open-services.net/ns/sysmlv2#conjugatedPortDefinition_OwnedPortConjugator

conjugatedPortDefinition_OwnedPortConjugator is an RDF property.

The PortConjugation that is the ownedConjugator of this ConjugatedPortDefinition, linking it to its originalPortDefinition.

conjugatedPortTyping_ConjugatedPortDefinition

http://open-services.net/ns/sysmlv2#conjugatedPortTyping_ConjugatedPortDefinition

conjugatedPortTyping_ConjugatedPortDefinition is an RDF property.

The type of this ConjugatedPortTyping considered as a FeatureTyping, which must be a ConjugatedPortDefinition.

conjugatedPortTyping_PortDefinition

http://open-services.net/ns/sysmlv2#conjugatedPortTyping_PortDefinition

conjugatedPortTyping_PortDefinition is an RDF property.

The originalPortDefinition of the conjugatedPortDefinition of this ConjugatedPortTyping.

conjugation_ConjugatedType

http://open-services.net/ns/sysmlv2#conjugation_ConjugatedType

conjugation_ConjugatedType is an RDF property.

The Type that is the result of applying Conjugation to the originalType.

conjugation_OriginalType

http://open-services.net/ns/sysmlv2#conjugation_OriginalType

conjugation_OriginalType is an RDF property.

The Type to be conjugated.

conjugation_OwningType

http://open-services.net/ns/sysmlv2#conjugation_OwningType

conjugation_OwningType is an RDF property.

The conjugatedType of this Conjugation that is also its owningRelatedElement.

connectionDefinition_ConnectionEnd

http://open-services.net/ns/sysmlv2#connectionDefinition_ConnectionEnd

connectionDefinition_ConnectionEnd is an RDF property.

The Usages that define the things related by the ConnectionDefinition.

connectionUsage_ConnectionDefinition

http://open-services.net/ns/sysmlv2#connectionUsage_ConnectionDefinition

connectionUsage_ConnectionDefinition is an RDF property.

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.

connector_Association

http://open-services.net/ns/sysmlv2#connector_Association

connector_Association is an RDF property.

The Associations that type the Connector.

connector_ConnectorEnd

http://open-services.net/ns/sysmlv2#connector_ConnectorEnd

connector_ConnectorEnd is an RDF property.

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.

connector_RelatedFeature

http://open-services.net/ns/sysmlv2#connector_RelatedFeature

connector_RelatedFeature is an RDF property.

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.

connector_SourceFeature

http://open-services.net/ns/sysmlv2#connector_SourceFeature

connector_SourceFeature is an RDF property.

The source relatedFeature for this Connector. It is the first relatedFeature.

connector_TargetFeature

http://open-services.net/ns/sysmlv2#connector_TargetFeature

connector_TargetFeature is an RDF property.

The target relatedFeatures for this Connector. This includes all the relatedFeatures other than the sourceFeature.

constraintUsage_ConstraintDefinition

http://open-services.net/ns/sysmlv2#constraintUsage_ConstraintDefinition

constraintUsage_ConstraintDefinition is an RDF property.

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.

definition_DirectedUsage

http://open-services.net/ns/sysmlv2#definition_DirectedUsage

definition_DirectedUsage is an RDF property.

The usages of this Definition that are directedFeatures.

definition_IsVariation

http://open-services.net/ns/sysmlv2#definition_IsVariation

definition_IsVariation is an RDF property.

Whether this Definition is for a variation point or not. If true, then all the memberships of the Definition must be VariantMemberships.

definition_OwnedAction

http://open-services.net/ns/sysmlv2#definition_OwnedAction

definition_OwnedAction is an RDF property.

The ActionUsages that are ownedUsages of this Definition.

definition_OwnedAllocation

http://open-services.net/ns/sysmlv2#definition_OwnedAllocation

definition_OwnedAllocation is an RDF property.

The AllocationUsages that are ownedUsages of this Definition.

definition_OwnedAnalysisCase

http://open-services.net/ns/sysmlv2#definition_OwnedAnalysisCase

definition_OwnedAnalysisCase is an RDF property.

The AnalysisCaseUsages that are ownedUsages of this Definition.

definition_OwnedAttribute

http://open-services.net/ns/sysmlv2#definition_OwnedAttribute

definition_OwnedAttribute is an RDF property.

The AttributeUsages that are ownedUsages of this Definition.

definition_OwnedCalculation

http://open-services.net/ns/sysmlv2#definition_OwnedCalculation

definition_OwnedCalculation is an RDF property.

The CalculationUsages that are ownedUsages of this Definition.

definition_OwnedCase

http://open-services.net/ns/sysmlv2#definition_OwnedCase

definition_OwnedCase is an RDF property.

The code>CaseUsages that are ownedUsages of this Definition.

definition_OwnedConcern

http://open-services.net/ns/sysmlv2#definition_OwnedConcern

definition_OwnedConcern is an RDF property.

The ConcernUsages that are ownedUsages of this Definition.

definition_OwnedConnection

http://open-services.net/ns/sysmlv2#definition_OwnedConnection

definition_OwnedConnection is an RDF property.

The ConnectorAsUsages that are ownedUsages of this Definition. Note that this list includes BindingConnectorAsUsages and SuccessionAsUsages, even though these are ConnectorAsUsages but not ConnectionUsages.

definition_OwnedConstraint

http://open-services.net/ns/sysmlv2#definition_OwnedConstraint

definition_OwnedConstraint is an RDF property.

The ConstraintUsages that are ownedUsages of this Definition.

definition_OwnedEnumeration

http://open-services.net/ns/sysmlv2#definition_OwnedEnumeration

definition_OwnedEnumeration is an RDF property.

The EnumerationUsages that are ownedUsages of this Definition.

definition_OwnedFlow

http://open-services.net/ns/sysmlv2#definition_OwnedFlow

definition_OwnedFlow is an RDF property.

The FlowConnectionUsages that are ownedUsages of this Definition.

definition_OwnedInterface

http://open-services.net/ns/sysmlv2#definition_OwnedInterface

definition_OwnedInterface is an RDF property.

The InterfaceUsages that are ownedUsages of this Definition.

definition_OwnedItem

http://open-services.net/ns/sysmlv2#definition_OwnedItem

definition_OwnedItem is an RDF property.

The ItemUsages that are ownedUsages of this Definition.

definition_OwnedMetadata

http://open-services.net/ns/sysmlv2#definition_OwnedMetadata

definition_OwnedMetadata is an RDF property.

The MetadataUsages that are ownedUsages of this Definition.

definition_OwnedOccurrence

http://open-services.net/ns/sysmlv2#definition_OwnedOccurrence

definition_OwnedOccurrence is an RDF property.

The OccurrenceUsages that are ownedUsages of this Definition.

definition_OwnedPart

http://open-services.net/ns/sysmlv2#definition_OwnedPart

definition_OwnedPart is an RDF property.

The PartUsages that are ownedUsages of this Definition.

definition_OwnedPort

http://open-services.net/ns/sysmlv2#definition_OwnedPort

definition_OwnedPort is an RDF property.

The PortUsages that are ownedUsages of this Definition.

definition_OwnedReference

http://open-services.net/ns/sysmlv2#definition_OwnedReference

definition_OwnedReference is an RDF property.

The ReferenceUsages that are ownedUsages of this Definition.

definition_OwnedRendering

http://open-services.net/ns/sysmlv2#definition_OwnedRendering

definition_OwnedRendering is an RDF property.

The RenderingUsages that are ownedUsages of this Definition.

definition_OwnedRequirement

http://open-services.net/ns/sysmlv2#definition_OwnedRequirement

definition_OwnedRequirement is an RDF property.

The RequirementUsages that are ownedUsages of this Definition.

definition_OwnedState

http://open-services.net/ns/sysmlv2#definition_OwnedState

definition_OwnedState is an RDF property.

The StateUsages that are ownedUsages of this Definition.

definition_OwnedTransition

http://open-services.net/ns/sysmlv2#definition_OwnedTransition

definition_OwnedTransition is an RDF property.

The TransitionUsages that are ownedUsages of this Definition.

definition_OwnedUsage

http://open-services.net/ns/sysmlv2#definition_OwnedUsage

definition_OwnedUsage is an RDF property.

The Usages that are ownedFeatures of this Definition.

definition_OwnedUseCase

http://open-services.net/ns/sysmlv2#definition_OwnedUseCase

definition_OwnedUseCase is an RDF property.

The UseCaseUsages that are ownedUsages of this Definition.

definition_OwnedVerificationCase

http://open-services.net/ns/sysmlv2#definition_OwnedVerificationCase

definition_OwnedVerificationCase is an RDF property.

The VerificationCaseUsages that are ownedUsages of this Definition.

definition_OwnedView

http://open-services.net/ns/sysmlv2#definition_OwnedView

definition_OwnedView is an RDF property.

The ViewUsages that are ownedUsages of this Definition.

definition_OwnedViewpoint

http://open-services.net/ns/sysmlv2#definition_OwnedViewpoint

definition_OwnedViewpoint is an RDF property.

The ViewpointUsages that are ownedUsages of this Definition.

definition_Usage

http://open-services.net/ns/sysmlv2#definition_Usage

definition_Usage is an RDF property.

The Usages that are features of this Definition (not necessarily owned).

definition_Variant

http://open-services.net/ns/sysmlv2#definition_Variant

definition_Variant is an RDF property.

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.

definition_VariantMembership

http://open-services.net/ns/sysmlv2#definition_VariantMembership

definition_VariantMembership is an RDF property.

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.

dependency_Client

http://open-services.net/ns/sysmlv2#dependency_Client

dependency_Client is an RDF property.

The Element or Elements dependent on the supplier Elements.

dependency_Supplier

http://open-services.net/ns/sysmlv2#dependency_Supplier

dependency_Supplier is an RDF property.

The Element or Elements on which the client Elements depend in some respect.

differencing_DifferencingType

http://open-services.net/ns/sysmlv2#differencing_DifferencingType

differencing_DifferencingType is an RDF property.

Type that partly determines interpretations of typeDifferenced, as described in Type::differencingType.

differencing_TypeDifferenced

http://open-services.net/ns/sysmlv2#differencing_TypeDifferenced

differencing_TypeDifferenced is an RDF property.

Type with interpretations partly determined by differencingType, as described in Type::differencingType.

disjoining_DisjoiningType

http://open-services.net/ns/sysmlv2#disjoining_DisjoiningType

disjoining_DisjoiningType is an RDF property.

Type asserted to be disjoint with the typeDisjoined.

disjoining_OwningType

http://open-services.net/ns/sysmlv2#disjoining_OwningType

disjoining_OwningType is an RDF property.

A typeDisjoined that is also an owningRelatedElement.

disjoining_TypeDisjoined

http://open-services.net/ns/sysmlv2#disjoining_TypeDisjoined

disjoining_TypeDisjoined is an RDF property.

Type asserted to be disjoint with the disjoiningType.

documentation_DocumentedElement

http://open-services.net/ns/sysmlv2#documentation_DocumentedElement

documentation_DocumentedElement is an RDF property.

The Element that is documented by this Documentation.

element_AliasIds

http://open-services.net/ns/sysmlv2#element_AliasIds

element_AliasIds is an RDF property.

Various alternative identifiers for this Element. Generally, these will be set by tools.

element_DeclaredName

http://open-services.net/ns/sysmlv2#element_DeclaredName

element_DeclaredName is an RDF property.

The declared name of this Element.

element_DeclaredShortName

http://open-services.net/ns/sysmlv2#element_DeclaredShortName

element_DeclaredShortName is an RDF property.

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.

element_Documentation

http://open-services.net/ns/sysmlv2#element_Documentation

element_Documentation is an RDF property.

The Documentation owned by this Element.

element_ElementId

http://open-services.net/ns/sysmlv2#element_ElementId

element_ElementId is an RDF property.

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.

element_IsImpliedIncluded

http://open-services.net/ns/sysmlv2#element_IsImpliedIncluded

element_IsImpliedIncluded is an RDF property.

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.

element_IsLibraryElement

http://open-services.net/ns/sysmlv2#element_IsLibraryElement

element_IsLibraryElement is an RDF property.

Whether this Element is contained in the ownership tree of a library model.

element_Name

http://open-services.net/ns/sysmlv2#element_Name

element_Name is an RDF property.

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.

element_OwnedAnnotation

http://open-services.net/ns/sysmlv2#element_OwnedAnnotation

element_OwnedAnnotation is an RDF property.

The ownedRelationships of this Element that are Annotations, for which this Element is the annotatedElement.

element_OwnedElement

http://open-services.net/ns/sysmlv2#element_OwnedElement

element_OwnedElement is an RDF property.

The Elements owned by this Element, derived as the ownedRelatedElements of the ownedRelationships of this Element.

element_OwnedRelationship

http://open-services.net/ns/sysmlv2#element_OwnedRelationship

element_OwnedRelationship is an RDF property.

The Relationships for which this Element is the owningRelatedElement.

element_Owner

http://open-services.net/ns/sysmlv2#element_Owner

element_Owner is an RDF property.

The owner of this Element, derived as the owningRelatedElement of the owningRelationship of this Element, if any.

element_OwningMembership

http://open-services.net/ns/sysmlv2#element_OwningMembership

element_OwningMembership is an RDF property.

The owningRelationship of this Element, if that Relationship is a Membership.

element_OwningNamespace

http://open-services.net/ns/sysmlv2#element_OwningNamespace

element_OwningNamespace is an RDF property.

The Namespace that owns this Element, which is the membershipOwningNamespace of the owningMembership of this Element, if any.

element_OwningRelationship

http://open-services.net/ns/sysmlv2#element_OwningRelationship

element_OwningRelationship is an RDF property.

The Relationship for which this Element is an ownedRelatedElement, if any.

element_QualifiedName

http://open-services.net/ns/sysmlv2#element_QualifiedName

element_QualifiedName is an RDF property.

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.

element_ShortName

http://open-services.net/ns/sysmlv2#element_ShortName

element_ShortName is an RDF property.

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.

element_TextualRepresentation

http://open-services.net/ns/sysmlv2#element_TextualRepresentation

element_TextualRepresentation is an RDF property.

The TextualRepresentations that annotate this Element.

elementFilterMembership_Condition

http://open-services.net/ns/sysmlv2#elementFilterMembership_Condition

elementFilterMembership_Condition is an RDF property.

The model-level evaluable Boolean-valued Expression used to filter the imported members of the membershipOwningNamespace of this ElementFilterMembership.

enumerationDefinition_EnumeratedValue

http://open-services.net/ns/sysmlv2#enumerationDefinition_EnumeratedValue

enumerationDefinition_EnumeratedValue is an RDF property.

EnumerationUsages of this EnumerationDefinitionthat have distinct, fixed values. Each enumeratedValue specifies one of the allowed instances of the EnumerationDefinition.

enumerationUsage_EnumerationDefinition

http://open-services.net/ns/sysmlv2#enumerationUsage_EnumerationDefinition

enumerationUsage_EnumerationDefinition is an RDF property.

The single EnumerationDefinition that is the type of this EnumerationUsage.

eventOccurrenceUsage_EventOccurrence

http://open-services.net/ns/sysmlv2#eventOccurrenceUsage_EventOccurrence

eventOccurrenceUsage_EventOccurrence is an RDF property.

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_ExhibitedState

http://open-services.net/ns/sysmlv2#exhibitStateUsage_ExhibitedState

exhibitStateUsage_ExhibitedState is an RDF property.

The StateUsage to be exhibited by the ExhibitStateUsage. It is the performedAction of the ExhibitStateUsage considered as a PerformActionUsage, which must be a StateUsage.

expression_Function

http://open-services.net/ns/sysmlv2#expression_Function

expression_Function is an RDF property.

The Function that types this Expression.

expression_IsModelLevelEvaluable

http://open-services.net/ns/sysmlv2#expression_IsModelLevelEvaluable

expression_IsModelLevelEvaluable is an RDF property.

Whether this Expression meets the constraints necessary to be evaluated at model level, that is, using metadata within the model.

expression_Result

http://open-services.net/ns/sysmlv2#expression_Result

expression_Result is an RDF property.

result.

feature_ChainingFeature

http://open-services.net/ns/sysmlv2#feature_ChainingFeature

feature_ChainingFeature is an RDF property.

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.

feature_Direction

http://open-services.net/ns/sysmlv2#feature_Direction

feature_Direction is an RDF property.

Indicates how values of this Feature are determined or used (as specified for the FeatureDirectionKind).

feature_EndOwningType

http://open-services.net/ns/sysmlv2#feature_EndOwningType

feature_EndOwningType is an RDF property.

The Type that is related to this Feature by an EndFeatureMembership in which the Feature is an ownedMemberFeature.

feature_FeaturingType

http://open-services.net/ns/sysmlv2#feature_FeaturingType

feature_FeaturingType is an RDF property.

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.

feature_IsComposite

http://open-services.net/ns/sysmlv2#feature_IsComposite

feature_IsComposite is an RDF property.

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.

feature_IsDerived

http://open-services.net/ns/sysmlv2#feature_IsDerived

feature_IsDerived is an RDF property.

Whether the values of this Feature can always be computed from the values of other Features.

feature_IsEnd

http://open-services.net/ns/sysmlv2#feature_IsEnd

feature_IsEnd is an RDF property.

Whether or not the this Feature is an end Feature, requiring a different interpretation of the multiplicity of the Feature.

feature_IsNonunique

http://open-services.net/ns/sysmlv2#feature_IsNonunique

feature_IsNonunique is an RDF property.

isNonunique.

feature_IsOrdered

http://open-services.net/ns/sysmlv2#feature_IsOrdered

feature_IsOrdered is an RDF property.

Whether an order exists for the values of this Feature or not.

feature_IsPortion

http://open-services.net/ns/sysmlv2#feature_IsPortion

feature_IsPortion is an RDF property.

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.

feature_IsReadOnly

http://open-services.net/ns/sysmlv2#feature_IsReadOnly

feature_IsReadOnly is an RDF property.

Whether the values of this Feature can change over the lifetime of an instance of the domain.

feature_IsUnique

http://open-services.net/ns/sysmlv2#feature_IsUnique

feature_IsUnique is an RDF property.

Whether or not values for this Feature must have no duplicates or not.

feature_OwnedFeatureChaining

http://open-services.net/ns/sysmlv2#feature_OwnedFeatureChaining

feature_OwnedFeatureChaining is an RDF property.

The ownedRelationships of this Feature that are FeatureChainings, for which the Feature will be the featureChained.

feature_OwnedFeatureInverting

http://open-services.net/ns/sysmlv2#feature_OwnedFeatureInverting

feature_OwnedFeatureInverting is an RDF property.

The ownedRelationships of this Feature that are FeatureInvertings and for which the Feature is the featureInverted.

feature_OwnedRedefinition

http://open-services.net/ns/sysmlv2#feature_OwnedRedefinition

feature_OwnedRedefinition is an RDF property.

The ownedSubsettings of this Feature that are Redefinitions, for which the Feature is the redefiningFeature.

feature_OwnedReferenceSubsetting

http://open-services.net/ns/sysmlv2#feature_OwnedReferenceSubsetting

feature_OwnedReferenceSubsetting is an RDF property.

The one ownedSubsetting of this Feature, if any, that is a ReferenceSubsetting, for which the Feature is the referencingFeature.

feature_OwnedSubsetting

http://open-services.net/ns/sysmlv2#feature_OwnedSubsetting

feature_OwnedSubsetting is an RDF property.

The ownedSpecializations of this Feature that are Subsettings, for which the Feature is the subsettingFeature.

feature_OwnedTypeFeaturing

http://open-services.net/ns/sysmlv2#feature_OwnedTypeFeaturing

feature_OwnedTypeFeaturing is an RDF property.

The ownedRelationships of this Feature that are TypeFeaturings and for which the Feature is the featureOfType.

feature_OwnedTyping

http://open-services.net/ns/sysmlv2#feature_OwnedTyping

feature_OwnedTyping is an RDF property.

The ownedSpecializations of this Feature that are FeatureTypings, for which the Feature is the typedFeature.

feature_OwningFeatureMembership

http://open-services.net/ns/sysmlv2#feature_OwningFeatureMembership

feature_OwningFeatureMembership is an RDF property.

The FeatureMembership that owns this Feature as an ownedMemberFeature, determining its owningType.

feature_OwningType

http://open-services.net/ns/sysmlv2#feature_OwningType

feature_OwningType is an RDF property.

The Type that is the owningType of the owningFeatureMembership of this Feature.

feature_Type

http://open-services.net/ns/sysmlv2#feature_Type

feature_Type is an RDF property.

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.

featureChainExpression_TargetFeature

http://open-services.net/ns/sysmlv2#featureChainExpression_TargetFeature

featureChainExpression_TargetFeature is an RDF property.

The Feature that is accessed by this FeatureChainExpression, which is its first non-parameter member.

featureChaining_ChainingFeature

http://open-services.net/ns/sysmlv2#featureChaining_ChainingFeature

featureChaining_ChainingFeature is an RDF property.

The Feature whose values partly determine values of featureChained, as described in Feature::chainingFeature.

featureChaining_FeatureChained

http://open-services.net/ns/sysmlv2#featureChaining_FeatureChained

featureChaining_FeatureChained is an RDF property.

The Feature whose values are partly determined by values of the chainingFeature, as described in Feature::chainingFeature.

featureInverting_FeatureInverted

http://open-services.net/ns/sysmlv2#featureInverting_FeatureInverted

featureInverting_FeatureInverted is an RDF property.

The Feature that is an inverse of the invertingFeature.

featureInverting_InvertingFeature

http://open-services.net/ns/sysmlv2#featureInverting_InvertingFeature

featureInverting_InvertingFeature is an RDF property.

The Feature that is an inverse of the invertedFeature.

featureInverting_OwningFeature

http://open-services.net/ns/sysmlv2#featureInverting_OwningFeature

featureInverting_OwningFeature is an RDF property.

A featureInverted that is also the owningRelatedElement of this FeatureInverting.

featureMembership_OwnedMemberFeature

http://open-services.net/ns/sysmlv2#featureMembership_OwnedMemberFeature

featureMembership_OwnedMemberFeature is an RDF property.

The Feature that this FeatureMembership relates to its owningType, making it an ownedFeature of the owningType.

featureMembership_OwningType

http://open-services.net/ns/sysmlv2#featureMembership_OwningType

featureMembership_OwningType is an RDF property.

The Type that owns this FeatureMembership.

featureReferenceExpression_Referent

http://open-services.net/ns/sysmlv2#featureReferenceExpression_Referent

featureReferenceExpression_Referent is an RDF property.

The Feature that is referenced by this FeatureReferenceExpression, which is its first non-parameter member.

featureTyping_OwningFeature

http://open-services.net/ns/sysmlv2#featureTyping_OwningFeature

featureTyping_OwningFeature is an RDF property.

A typedFeature that is also the owningRelatedElement of this FeatureTyping.

featureTyping_Type

http://open-services.net/ns/sysmlv2#featureTyping_Type

featureTyping_Type is an RDF property.

The Type that is being applied by this FeatureTyping.

featureTyping_TypedFeature

http://open-services.net/ns/sysmlv2#featureTyping_TypedFeature

featureTyping_TypedFeature is an RDF property.

The Feature that has a type determined by this FeatureTyping.

featureValue_FeatureWithValue

http://open-services.net/ns/sysmlv2#featureValue_FeatureWithValue

featureValue_FeatureWithValue is an RDF property.

The Feature to be provided a value.

featureValue_IsDefault

http://open-services.net/ns/sysmlv2#featureValue_IsDefault

featureValue_IsDefault is an RDF property.

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.

featureValue_IsInitial

http://open-services.net/ns/sysmlv2#featureValue_IsInitial

featureValue_IsInitial is an RDF property.

Whether this FeatureValue specifies a bound value or an initial value for the featureWithValue.

featureValue_Value

http://open-services.net/ns/sysmlv2#featureValue_Value

featureValue_Value is an RDF property.

The Expression that provides the value of the featureWithValue as its result.

featuring_Feature

http://open-services.net/ns/sysmlv2#featuring_Feature

featuring_Feature is an RDF property.

The Feature that is featured by the featuringType.

featuring_Type

http://open-services.net/ns/sysmlv2#featuring_Type

featuring_Type is an RDF property.

The Type that features the featureOfType.

flowConnectionUsage_FlowConnectionDefinition

http://open-services.net/ns/sysmlv2#flowConnectionUsage_FlowConnectionDefinition

flowConnectionUsage_FlowConnectionDefinition is an RDF property.

The Interactions that are the types of this FlowConnectionUsage. Nominally, these are FlowConnectionDefinitions, but other kinds of Kernel Interactions are also allowed, to permit use of Interactions from the Kernel Model Libraries.

forLoopActionUsage_LoopVariable

http://open-services.net/ns/sysmlv2#forLoopActionUsage_LoopVariable

forLoopActionUsage_LoopVariable is an RDF property.

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.

forLoopActionUsage_SeqArgument

http://open-services.net/ns/sysmlv2#forLoopActionUsage_SeqArgument

forLoopActionUsage_SeqArgument is an RDF property.

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.

framedConcernMembership_OwnedConcern

http://open-services.net/ns/sysmlv2#framedConcernMembership_OwnedConcern

framedConcernMembership_OwnedConcern is an RDF property.

The ConcernUsage that is the ownedConstraint of this FramedConcernMembership.

framedConcernMembership_ReferencedConcern

http://open-services.net/ns/sysmlv2#framedConcernMembership_ReferencedConcern

framedConcernMembership_ReferencedConcern is an RDF property.

The ConcernUsage that is referenced through this FramedConcernMembership. It is the referencedConstraint of the FramedConcernMembership considered as a RequirementConstraintMembership, which must be a ConcernUsage.

function_Expression

http://open-services.net/ns/sysmlv2#function_Expression

function_Expression is an RDF property.

The Expressions that are steps in the calculation of the result of this Function.

function_IsModelLevelEvaluable

http://open-services.net/ns/sysmlv2#function_IsModelLevelEvaluable

function_IsModelLevelEvaluable is an RDF property.

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.

function_Result

http://open-services.net/ns/sysmlv2#function_Result

function_Result is an RDF property.

The result parameter of the Function, which is owned by the Function via a ReturnParameterMembership.

ifActionUsage_ElseAction

http://open-services.net/ns/sysmlv2#ifActionUsage_ElseAction

ifActionUsage_ElseAction is an RDF property.

The ActionUsage that is to be performed if the result of the ifArgument is false. It is the (optional) third parameter of the IfActionUsage.

ifActionUsage_IfArgument

http://open-services.net/ns/sysmlv2#ifActionUsage_IfArgument

ifActionUsage_IfArgument is an RDF property.

The Expression whose result determines whether the thenAction or (optionally) the elseAction is performed. It is the first parameter of the IfActionUsage.

ifActionUsage_ThenAction

http://open-services.net/ns/sysmlv2#ifActionUsage_ThenAction

ifActionUsage_ThenAction is an RDF property.

The ActionUsage that is to be performed if the result of the ifArgument is true. It is the second parameter of the IfActionUsage.

import_ImportedElement

http://open-services.net/ns/sysmlv2#import_ImportedElement

import_ImportedElement is an RDF property.

The effectively imported Element for this Import. For a MembershipImport, this is the memberElement of the importedMembership. For a NamespaceImport, it is the importedNamespace.

import_ImportOwningNamespace

http://open-services.net/ns/sysmlv2#import_ImportOwningNamespace

import_ImportOwningNamespace is an RDF property.

The Namespace into which Memberships are imported by this Import, which must be the owningRelatedElement of the Import.

import_IsImportAll

http://open-services.net/ns/sysmlv2#import_IsImportAll

import_IsImportAll is an RDF property.

Whether to import memberships without regard to declared visibility.

import_IsRecursive

http://open-services.net/ns/sysmlv2#import_IsRecursive

import_IsRecursive is an RDF property.

Whether to recursively import Memberships from visible, owned sub-Namespaces.

import_Visibility

http://open-services.net/ns/sysmlv2#import_Visibility

import_Visibility is an RDF property.

The visibility level of the imported members from this Import relative to the importOwningNamespace.

includeUseCaseUsage_UseCaseIncluded

http://open-services.net/ns/sysmlv2#includeUseCaseUsage_UseCaseIncluded

includeUseCaseUsage_UseCaseIncluded is an RDF property.

The UseCaseUsage to be included by this IncludeUseCaseUsage. It is the performedAction of the IncludeUseCaseUsage considered as a PerformActionUsage, which must be a UseCaseUsage.

interfaceDefinition_InterfaceEnd

http://open-services.net/ns/sysmlv2#interfaceDefinition_InterfaceEnd

interfaceDefinition_InterfaceEnd is an RDF property.

The PortUsages that are the connectionEnds of this InterfaceDefinition. .

interfaceUsage_InterfaceDefinition

http://open-services.net/ns/sysmlv2#interfaceUsage_InterfaceDefinition

interfaceUsage_InterfaceDefinition is an RDF property.

The InterfaceDefinitions that type this InterfaceUsage.

intersecting_IntersectingType

http://open-services.net/ns/sysmlv2#intersecting_IntersectingType

intersecting_IntersectingType is an RDF property.

Type that partly determines interpretations of typeIntersected, as described in Type::intersectingType.

intersecting_TypeIntersected

http://open-services.net/ns/sysmlv2#intersecting_TypeIntersected

intersecting_TypeIntersected is an RDF property.

Type with interpretations partly determined by intersectingType, as described in Type::intersectingType.

invariant_IsNegated

http://open-services.net/ns/sysmlv2#invariant_IsNegated

invariant_IsNegated is an RDF property.

Whether this Invariant is asserted to be false rather than true.

invocationExpression_Argument

http://open-services.net/ns/sysmlv2#invocationExpression_Argument

invocationExpression_Argument is an RDF property.

The value Expressions of the FeatureValues of the owned input parameters of the InvocationExpression.

invocationExpression_Operand

http://open-services.net/ns/sysmlv2#invocationExpression_Operand

invocationExpression_Operand is an RDF property.

operand.

itemFlow_Interaction

http://open-services.net/ns/sysmlv2#itemFlow_Interaction

itemFlow_Interaction is an RDF property.

The Interactions that type this ItemFlow. Interactions are both Associations and Behaviors, which can type Connectors and Steps, respectively.

itemFlow_ItemFeature

http://open-services.net/ns/sysmlv2#itemFlow_ItemFeature

itemFlow_ItemFeature is an RDF property.

The ownedFeature of the ItemFlow that is an ItemFeature (if any).

itemFlow_ItemFlowEnd

http://open-services.net/ns/sysmlv2#itemFlow_ItemFlowEnd

itemFlow_ItemFlowEnd is an RDF property.

The connectorEnds of this ItemFlow that are ItemFlowEnds.

itemFlow_ItemType

http://open-services.net/ns/sysmlv2#itemFlow_ItemType

itemFlow_ItemType is an RDF property.

The type of values transferred, which is the type of the itemFeature of the ItemFlow.

itemFlow_SourceOutputFeature

http://open-services.net/ns/sysmlv2#itemFlow_SourceOutputFeature

itemFlow_SourceOutputFeature is an RDF property.

The Feature that provides the items carried by the ItemFlow. It must be an owned output of the source of the ItemFlow.

itemFlow_TargetInputFeature

http://open-services.net/ns/sysmlv2#itemFlow_TargetInputFeature

itemFlow_TargetInputFeature is an RDF property.

The Feature that receives the values carried by the ItemFlow. It must be an owned output of the target participant of the ItemFlow.

itemUsage_ItemDefinition

http://open-services.net/ns/sysmlv2#itemUsage_ItemDefinition

itemUsage_ItemDefinition is an RDF property.

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.

libraryPackage_IsStandard

http://open-services.net/ns/sysmlv2#libraryPackage_IsStandard

libraryPackage_IsStandard is an RDF property.

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.

literalBoolean_Value

http://open-services.net/ns/sysmlv2#literalBoolean_Value

literalBoolean_Value is an RDF property.

The Boolean value that is the result of evaluating this LiteralBoolean.

literalInteger_Value

http://open-services.net/ns/sysmlv2#literalInteger_Value

literalInteger_Value is an RDF property.

The Integer value that is the result of evaluating this LiteralInteger.

literalRational_Value

http://open-services.net/ns/sysmlv2#literalRational_Value

literalRational_Value is an RDF property.

The value whose rational approximation is the result of evaluating this LiteralRational.

literalString_Value

http://open-services.net/ns/sysmlv2#literalString_Value

literalString_Value is an RDF property.

The String value that is the result of evaluating this LiteralString.

loopActionUsage_BodyAction

http://open-services.net/ns/sysmlv2#loopActionUsage_BodyAction

loopActionUsage_BodyAction is an RDF property.

The ActionUsage to be performed repeatedly by the LoopActionUsage. It is the second parameter of the LoopActionUsage.

membership_MemberElement

http://open-services.net/ns/sysmlv2#membership_MemberElement

membership_MemberElement is an RDF property.

The Element that becomes a member of the membershipOwningNamespace due to this Membership.

membership_MemberElementId

http://open-services.net/ns/sysmlv2#membership_MemberElementId

membership_MemberElementId is an RDF property.

The elementId of the memberElement.

membership_MemberName

http://open-services.net/ns/sysmlv2#membership_MemberName

membership_MemberName is an RDF property.

The name of the memberElement relative to the membershipOwningNamespace.

membership_MembershipOwningNamespace

http://open-services.net/ns/sysmlv2#membership_MembershipOwningNamespace

membership_MembershipOwningNamespace is an RDF property.

The Namespace of which the memberElement becomes a member due to this Membership.

membership_MemberShortName

http://open-services.net/ns/sysmlv2#membership_MemberShortName

membership_MemberShortName is an RDF property.

The short name of the memberElement relative to the membershipOwningNamespace.

membership_Visibility

http://open-services.net/ns/sysmlv2#membership_Visibility

membership_Visibility is an RDF property.

Whether or not the Membership of the memberElement in the membershipOwningNamespace is publicly visible outside that Namespace.

membershipImport_ImportedMembership

http://open-services.net/ns/sysmlv2#membershipImport_ImportedMembership

membershipImport_ImportedMembership is an RDF property.

The Membership to be imported.

metadataAccessExpression_ReferencedElement

http://open-services.net/ns/sysmlv2#metadataAccessExpression_ReferencedElement

metadataAccessExpression_ReferencedElement is an RDF property.

The Element whose metadata is being accessed.

metadataFeature_Metaclass

http://open-services.net/ns/sysmlv2#metadataFeature_Metaclass

metadataFeature_Metaclass is an RDF property.

The type of this MetadataFeature, which must be a Metaclass.

metadataUsage_MetadataDefinition

http://open-services.net/ns/sysmlv2#metadataUsage_MetadataDefinition

metadataUsage_MetadataDefinition is an RDF property.

The MetadataDefinition that is the definition of this MetadataUsage.

multiplicityRange_Bound

http://open-services.net/ns/sysmlv2#multiplicityRange_Bound

multiplicityRange_Bound is an RDF property.

The owned Expressions of the MultiplicityRange whose results provide its bounds. These must be the only ownedMembers of the MultiplicityRange.

multiplicityRange_LowerBound

http://open-services.net/ns/sysmlv2#multiplicityRange_LowerBound

multiplicityRange_LowerBound is an RDF property.

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.

multiplicityRange_UpperBound

http://open-services.net/ns/sysmlv2#multiplicityRange_UpperBound

multiplicityRange_UpperBound is an RDF property.

The Expression whose result is the upper bound of the MultiplicityRange.

namespace_ImportedMembership

http://open-services.net/ns/sysmlv2#namespace_ImportedMembership

namespace_ImportedMembership is an RDF property.

The Memberships in this Namespace that result from the ownedImports of this Namespace.

namespace_Member

http://open-services.net/ns/sysmlv2#namespace_Member

namespace_Member is an RDF property.

The set of all member Elements of this Namespace, which are the memberElements of all memberships of the Namespace.

namespace_Membership

http://open-services.net/ns/sysmlv2#namespace_Membership

namespace_Membership is an RDF property.

All Memberships in this Namespace, including (at least) the union of ownedMemberships and importedMemberships.

namespace_OwnedImport

http://open-services.net/ns/sysmlv2#namespace_OwnedImport

namespace_OwnedImport is an RDF property.

The ownedRelationships of this Namespace that are Imports, for which the Namespace is the importOwningNamespace.

namespace_OwnedMember

http://open-services.net/ns/sysmlv2#namespace_OwnedMember

namespace_OwnedMember is an RDF property.

The owned members of this Namespace, which are the ownedMemberElements of the ownedMemberships of the .

namespace_OwnedMembership

http://open-services.net/ns/sysmlv2#namespace_OwnedMembership

namespace_OwnedMembership is an RDF property.

The ownedRelationships of this Namespace that are Memberships, for which the Namespace is the membershipOwningNamespace.

namespaceImport_ImportedNamespace

http://open-services.net/ns/sysmlv2#namespaceImport_ImportedNamespace

namespaceImport_ImportedNamespace is an RDF property.

The Namespace whose visible Memberships are imported by this NamespaceImport.

objectiveMembership_OwnedObjectiveRequirement

http://open-services.net/ns/sysmlv2#objectiveMembership_OwnedObjectiveRequirement

objectiveMembership_OwnedObjectiveRequirement is an RDF property.

The RequirementUsage that is the ownedMemberFeature of this RequirementUsage.

occurrenceDefinition_IsIndividual

http://open-services.net/ns/sysmlv2#occurrenceDefinition_IsIndividual

occurrenceDefinition_IsIndividual is an RDF property.

Whether this OccurrenceDefinition is constrained to represent single individual.

occurrenceDefinition_LifeClass

http://open-services.net/ns/sysmlv2#occurrenceDefinition_LifeClass

occurrenceDefinition_LifeClass is an RDF property.

If isIndividual is true, a LifeClass that specializes this OccurrenceDefinition, restricting it to represent an individual.

occurrenceUsage_IndividualDefinition

http://open-services.net/ns/sysmlv2#occurrenceUsage_IndividualDefinition

occurrenceUsage_IndividualDefinition is an RDF property.

The at most one occurrenceDefinition that has isIndividual = true.

occurrenceUsage_IsIndividual

http://open-services.net/ns/sysmlv2#occurrenceUsage_IsIndividual

occurrenceUsage_IsIndividual is an RDF property.

Whether this OccurrenceUsage represents the usage of the specific individual (or portion of it) represented by its individualDefinition.

occurrenceUsage_OccurrenceDefinition

http://open-services.net/ns/sysmlv2#occurrenceUsage_OccurrenceDefinition

occurrenceUsage_OccurrenceDefinition is an RDF property.

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.

occurrenceUsage_PortionKind

http://open-services.net/ns/sysmlv2#occurrenceUsage_PortionKind

occurrenceUsage_PortionKind is an RDF property.

The kind of (temporal) portion of the life of the occurrenceDefinition represented by this OccurrenceUsage, if it is so restricted.

operatorExpression_Operator

http://open-services.net/ns/sysmlv2#operatorExpression_Operator

operatorExpression_Operator is an RDF property.

An operator symbol that names a corresponding Function from one of the standard packages from the Kernel Function Library .

owningMembership_OwnedMemberElement

http://open-services.net/ns/sysmlv2#owningMembership_OwnedMemberElement

owningMembership_OwnedMemberElement is an RDF property.

The Element that becomes an ownedMember of the membershipOwningNamespace due to this OwningMembership.

owningMembership_OwnedMemberElementId

http://open-services.net/ns/sysmlv2#owningMembership_OwnedMemberElementId

owningMembership_OwnedMemberElementId is an RDF property.

The elementId of the ownedMemberElement.

owningMembership_OwnedMemberName

http://open-services.net/ns/sysmlv2#owningMembership_OwnedMemberName

owningMembership_OwnedMemberName is an RDF property.

The name of the ownedMemberElement.

owningMembership_OwnedMemberShortName

http://open-services.net/ns/sysmlv2#owningMembership_OwnedMemberShortName

owningMembership_OwnedMemberShortName is an RDF property.

The shortName of the ownedMemberElement.

package_FilterCondition

http://open-services.net/ns/sysmlv2#package_FilterCondition

package_FilterCondition is an RDF property.

The model-level evaluable Boolean-valued Expression used to filter the members of this Package, which are owned by the Package are via ElementFilterMemberships.

parameterMembership_OwnedMemberParameter

http://open-services.net/ns/sysmlv2#parameterMembership_OwnedMemberParameter

parameterMembership_OwnedMemberParameter is an RDF property.

The Feature that is identified as a parameter by this ParameterMembership.

partUsage_PartDefinition

http://open-services.net/ns/sysmlv2#partUsage_PartDefinition

partUsage_PartDefinition is an RDF property.

The itemDefinitions of this PartUsage that are PartDefinitions.

performActionUsage_PerformedAction

http://open-services.net/ns/sysmlv2#performActionUsage_PerformedAction

performActionUsage_PerformedAction is an RDF property.

The ActionUsage to be performed by this PerformedActionUsage. It is the eventOccurrence of the PerformActionUsage considered as an EventOccurrenceUsage, which must be an ActionUsage.

portConjugation_ConjugatedPortDefinition

http://open-services.net/ns/sysmlv2#portConjugation_ConjugatedPortDefinition

portConjugation_ConjugatedPortDefinition is an RDF property.

The ConjugatedPortDefinition that is conjugate to the originalPortDefinition.

portConjugation_OriginalPortDefinition

http://open-services.net/ns/sysmlv2#portConjugation_OriginalPortDefinition

portConjugation_OriginalPortDefinition is an RDF property.

The PortDefinition being conjugated.

portDefinition_ConjugatedPortDefinition

http://open-services.net/ns/sysmlv2#portDefinition_ConjugatedPortDefinition

portDefinition_ConjugatedPortDefinition is an RDF property.

The that is conjugate to this PortDefinition.

portUsage_PortDefinition

http://open-services.net/ns/sysmlv2#portUsage_PortDefinition

portUsage_PortDefinition is an RDF property.

The occurrenceDefinitions of this PortUsage, which must all be PortDefinitions.

redefinition_RedefinedFeature

http://open-services.net/ns/sysmlv2#redefinition_RedefinedFeature

redefinition_RedefinedFeature is an RDF property.

The Feature that is redefined by the redefiningFeature of this Redefinition.

redefinition_RedefiningFeature

http://open-services.net/ns/sysmlv2#redefinition_RedefiningFeature

redefinition_RedefiningFeature is an RDF property.

The Feature that is redefining the redefinedFeature of this Redefinition.

referenceSubsetting_ReferencedFeature

http://open-services.net/ns/sysmlv2#referenceSubsetting_ReferencedFeature

referenceSubsetting_ReferencedFeature is an RDF property.

The Feature that is referenced by the referencingFeature of this ReferenceSubsetting.

referenceSubsetting_ReferencingFeature

http://open-services.net/ns/sysmlv2#referenceSubsetting_ReferencingFeature

referenceSubsetting_ReferencingFeature is an RDF property.

The Feature that owns this ReferenceSubsetting relationship, which is also its subsettingFeature.

relationship_IsImplied

http://open-services.net/ns/sysmlv2#relationship_IsImplied

relationship_IsImplied is an RDF property.

Whether this Relationship was generated by tooling to meet semantic rules, rather than being directly created by a modeler.

relationship_OwnedRelatedElement

http://open-services.net/ns/sysmlv2#relationship_OwnedRelatedElement

relationship_OwnedRelatedElement is an RDF property.

The relatedElements of this Relationship that are owned by the Relationship.

relationship_OwningRelatedElement

http://open-services.net/ns/sysmlv2#relationship_OwningRelatedElement

relationship_OwningRelatedElement is an RDF property.

The relatedElement of this Relationship that owns the Relationship, if any.

relationship_RelatedElement

http://open-services.net/ns/sysmlv2#relationship_RelatedElement

relationship_RelatedElement is an RDF property.

The Elements that are related by this Relationship, derived as the union of the source and target Elements of the Relationship.

relationship_Source

http://open-services.net/ns/sysmlv2#relationship_Source

relationship_Source is an RDF property.

The relatedElements from which this Relationship is considered to be directed.

relationship_Target

http://open-services.net/ns/sysmlv2#relationship_Target

relationship_Target is an RDF property.

The relatedElements to which this Relationship is considered to be directed.

renderingDefinition_Rendering

http://open-services.net/ns/sysmlv2#renderingDefinition_Rendering

renderingDefinition_Rendering is an RDF property.

The usages of a RenderingDefinition that are RenderingUsages.

renderingUsage_RenderingDefinition

http://open-services.net/ns/sysmlv2#renderingUsage_RenderingDefinition

renderingUsage_RenderingDefinition is an RDF property.

The RenderingDefinition that is the definition of this RenderingUsage.

requirementConstraintMembership_Kind

http://open-services.net/ns/sysmlv2#requirementConstraintMembership_Kind

requirementConstraintMembership_Kind is an RDF property.

Whether the RequirementConstraintMembership is for an assumed or required ConstraintUsage.

requirementConstraintMembership_OwnedConstraint

http://open-services.net/ns/sysmlv2#requirementConstraintMembership_OwnedConstraint

requirementConstraintMembership_OwnedConstraint is an RDF property.

The ConstraintUsage that is the ownedMemberFeature of this RequirementConstraintMembership.

requirementConstraintMembership_ReferencedConstraint

http://open-services.net/ns/sysmlv2#requirementConstraintMembership_ReferencedConstraint

requirementConstraintMembership_ReferencedConstraint is an RDF property.

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.

requirementDefinition_ActorParameter

http://open-services.net/ns/sysmlv2#requirementDefinition_ActorParameter

requirementDefinition_ActorParameter is an RDF property.

The parameters of this RequirementDefinition that represent actors involved in the requirement.

requirementDefinition_AssumedConstraint

http://open-services.net/ns/sysmlv2#requirementDefinition_AssumedConstraint

requirementDefinition_AssumedConstraint is an RDF property.

The owned ConstraintUsages that represent assumptions of this RequirementDefinition, which are the ownedConstraints of the RequirementConstraintMemberships of the RequirementDefinition with kind = assumption.

requirementDefinition_FramedConcern

http://open-services.net/ns/sysmlv2#requirementDefinition_FramedConcern

requirementDefinition_FramedConcern is an RDF property.

The ConcernUsages framed by this RequirementDefinition, which are the ownedConcerns of all FramedConcernMemberships of the RequirementDefinition.

requirementDefinition_ReqId

http://open-services.net/ns/sysmlv2#requirementDefinition_ReqId

requirementDefinition_ReqId is an RDF property.

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.

requirementDefinition_RequiredConstraint

http://open-services.net/ns/sysmlv2#requirementDefinition_RequiredConstraint

requirementDefinition_RequiredConstraint is an RDF property.

The owned ConstraintUsages that represent requirements of this RequirementDefinition, derived as the ownedConstraints of the RequirementConstraintMemberships of the RequirementDefinition with kind = requirement.

requirementDefinition_StakeholderParameter

http://open-services.net/ns/sysmlv2#requirementDefinition_StakeholderParameter

requirementDefinition_StakeholderParameter is an RDF property.

The parameters of this RequirementDefinition that represent stakeholders for th requirement.

requirementDefinition_SubjectParameter

http://open-services.net/ns/sysmlv2#requirementDefinition_SubjectParameter

requirementDefinition_SubjectParameter is an RDF property.

The parameter of this RequirementDefinition that represents its subject.

requirementDefinition_Text

http://open-services.net/ns/sysmlv2#requirementDefinition_Text

requirementDefinition_Text is an RDF property.

An optional textual statement of the requirement represented by this RequirementDefinition, derived from the bodies of the documentation of the RequirementDefinition.

requirementUsage_ActorParameter

http://open-services.net/ns/sysmlv2#requirementUsage_ActorParameter

requirementUsage_ActorParameter is an RDF property.

The parameters of this RequirementUsage that represent actors involved in the requirement.

requirementUsage_AssumedConstraint

http://open-services.net/ns/sysmlv2#requirementUsage_AssumedConstraint

requirementUsage_AssumedConstraint is an RDF property.

The owned ConstraintUsages that represent assumptions of this RequirementUsage, derived as the ownedConstraints of the RequirementConstraintMemberships of the RequirementUsage with kind = assumption.

requirementUsage_FramedConcern

http://open-services.net/ns/sysmlv2#requirementUsage_FramedConcern

requirementUsage_FramedConcern is an RDF property.

The ConcernUsages framed by this RequirementUsage, which are the ownedConcerns of all FramedConcernMemberships of the RequirementUsage.

requirementUsage_ReqId

http://open-services.net/ns/sysmlv2#requirementUsage_ReqId

requirementUsage_ReqId is an RDF property.

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.

requirementUsage_RequiredConstraint

http://open-services.net/ns/sysmlv2#requirementUsage_RequiredConstraint

requirementUsage_RequiredConstraint is an RDF property.

The owned ConstraintUsages that represent requirements of this RequirementUsage, which are the ownedConstraints of the RequirementConstraintMemberships of the RequirementUsage with kind = requirement.

requirementUsage_RequirementDefinition

http://open-services.net/ns/sysmlv2#requirementUsage_RequirementDefinition

requirementUsage_RequirementDefinition is an RDF property.

The RequirementDefinition that is the single definition of this RequirementUsage.

requirementUsage_StakeholderParameter

http://open-services.net/ns/sysmlv2#requirementUsage_StakeholderParameter

requirementUsage_StakeholderParameter is an RDF property.

The parameters of this RequirementUsage that represent stakeholders for the requirement.

requirementUsage_SubjectParameter

http://open-services.net/ns/sysmlv2#requirementUsage_SubjectParameter

requirementUsage_SubjectParameter is an RDF property.

The parameter of this RequirementUsage that represents its subject.

requirementUsage_Text

http://open-services.net/ns/sysmlv2#requirementUsage_Text

requirementUsage_Text is an RDF property.

An optional textual statement of the requirement represented by this RequirementUsage, derived from the bodies of the documentation of the RequirementUsage.

requirementVerificationMembership_OwnedRequirement

http://open-services.net/ns/sysmlv2#requirementVerificationMembership_OwnedRequirement

requirementVerificationMembership_OwnedRequirement is an RDF property.

The owned RequirementUsage that acts as the ownedConstraint for this RequirementVerificationMembership. This will either be the verifiedRequirement, or it will subset the verifiedRequirement.

requirementVerificationMembership_VerifiedRequirement

http://open-services.net/ns/sysmlv2#requirementVerificationMembership_VerifiedRequirement

requirementVerificationMembership_VerifiedRequirement is an RDF property.

The RequirementUsage that is identified as being verified. It is the referencedConstraint of the RequirementVerificationMembership considered as a RequirementConstraintMembership, which must be a RequirementUsage.

resultExpressionMembership_OwnedResultExpression

http://open-services.net/ns/sysmlv2#resultExpressionMembership_OwnedResultExpression

resultExpressionMembership_OwnedResultExpression is an RDF property.

The Expression that provides the result for the owner of the ResultExpressionMembership.

satisfyRequirementUsage_SatisfiedRequirement

http://open-services.net/ns/sysmlv2#satisfyRequirementUsage_SatisfiedRequirement

satisfyRequirementUsage_SatisfiedRequirement is an RDF property.

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.

satisfyRequirementUsage_SatisfyingFeature

http://open-services.net/ns/sysmlv2#satisfyRequirementUsage_SatisfyingFeature

satisfyRequirementUsage_SatisfyingFeature is an RDF property.

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_PayloadArgument

http://open-services.net/ns/sysmlv2#sendActionUsage_PayloadArgument

sendActionUsage_PayloadArgument is an RDF property.

An Expression whose result is bound to the payload input parameter of this SendActionUsage.

sendActionUsage_ReceiverArgument

http://open-services.net/ns/sysmlv2#sendActionUsage_ReceiverArgument

sendActionUsage_ReceiverArgument is an RDF property.

An Expression whose result is bound to the receiver input parameter of this SendActionUsage.

sendActionUsage_SenderArgument

http://open-services.net/ns/sysmlv2#sendActionUsage_SenderArgument

sendActionUsage_SenderArgument is an RDF property.

An Expression whose result is bound to the sender input parameter of this SendActionUsage.

specialization_General

http://open-services.net/ns/sysmlv2#specialization_General

specialization_General is an RDF property.

A Type with a superset of all instances of the specific Type, which might be the same set.

specialization_OwningType

http://open-services.net/ns/sysmlv2#specialization_OwningType

specialization_OwningType is an RDF property.

The Type that is the specific Type of this Specialization and owns it as its owningRelatedElement.

specialization_Specific

http://open-services.net/ns/sysmlv2#specialization_Specific

specialization_Specific is an RDF property.

A Type with a subset of all instances of the general Type, which might be the same set.

stakeholderMembership_OwnedStakeholderParameter

http://open-services.net/ns/sysmlv2#stakeholderMembership_OwnedStakeholderParameter

stakeholderMembership_OwnedStakeholderParameter is an RDF property.

The PartUsage specifying the stakeholder.

stateDefinition_DoAction

http://open-services.net/ns/sysmlv2#stateDefinition_DoAction

stateDefinition_DoAction is an RDF property.

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.

stateDefinition_EntryAction

http://open-services.net/ns/sysmlv2#stateDefinition_EntryAction

stateDefinition_EntryAction is an RDF property.

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.

stateDefinition_ExitAction

http://open-services.net/ns/sysmlv2#stateDefinition_ExitAction

stateDefinition_ExitAction is an RDF property.

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.

stateDefinition_IsParallel

http://open-services.net/ns/sysmlv2#stateDefinition_IsParallel

stateDefinition_IsParallel is an RDF property.

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.

stateDefinition_State

http://open-services.net/ns/sysmlv2#stateDefinition_State

stateDefinition_State is an RDF property.

The StateUsages, which are actions in the StateDefinition, that specify the discrete states in the behavior defined by the StateDefinition.

stateSubactionMembership_Action

http://open-services.net/ns/sysmlv2#stateSubactionMembership_Action

stateSubactionMembership_Action is an RDF property.

The ActionUsage that is the ownedMemberFeature of this StateSubactionMembership.

stateSubactionMembership_Kind

http://open-services.net/ns/sysmlv2#stateSubactionMembership_Kind

stateSubactionMembership_Kind is an RDF property.

Whether this StateSubactionMembership is for an entry, do or exit ActionUsage.

stateUsage_DoAction

http://open-services.net/ns/sysmlv2#stateUsage_DoAction

stateUsage_DoAction is an RDF property.

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.

stateUsage_EntryAction

http://open-services.net/ns/sysmlv2#stateUsage_EntryAction

stateUsage_EntryAction is an RDF property.

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.

stateUsage_ExitAction

http://open-services.net/ns/sysmlv2#stateUsage_ExitAction

stateUsage_ExitAction is an RDF property.

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.

stateUsage_IsParallel

http://open-services.net/ns/sysmlv2#stateUsage_IsParallel

stateUsage_IsParallel is an RDF property.

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.

stateUsage_StateDefinition

http://open-services.net/ns/sysmlv2#stateUsage_StateDefinition

stateUsage_StateDefinition is an RDF property.

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.

step_Behavior

http://open-services.net/ns/sysmlv2#step_Behavior

step_Behavior is an RDF property.

The Behaviors that type this Step.

step_Parameter

http://open-services.net/ns/sysmlv2#step_Parameter

step_Parameter is an RDF property.

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.

subclassification_OwningClassifier

http://open-services.net/ns/sysmlv2#subclassification_OwningClassifier

subclassification_OwningClassifier is an RDF property.

The Classifier that owns this Subclassification relationship, which must also be its subclassifier.

subclassification_Subclassifier

http://open-services.net/ns/sysmlv2#subclassification_Subclassifier

subclassification_Subclassifier is an RDF property.

The more specific Classifier in this Subclassification.

subclassification_Superclassifier

http://open-services.net/ns/sysmlv2#subclassification_Superclassifier

subclassification_Superclassifier is an RDF property.

The more general Classifier in this Subclassification.

subjectMembership_OwnedSubjectParameter

http://open-services.net/ns/sysmlv2#subjectMembership_OwnedSubjectParameter

subjectMembership_OwnedSubjectParameter is an RDF property.

The UsageownedMemberParameter of this SubjectMembership.

subsetting_OwningFeature

http://open-services.net/ns/sysmlv2#subsetting_OwningFeature

subsetting_OwningFeature is an RDF property.

A subsettingFeature that is also the owningRelatedElement of this Subsetting.

subsetting_SubsettedFeature

http://open-services.net/ns/sysmlv2#subsetting_SubsettedFeature

subsetting_SubsettedFeature is an RDF property.

The Feature that is subsetted by the subsettingFeature of this Subsetting.

subsetting_SubsettingFeature

http://open-services.net/ns/sysmlv2#subsetting_SubsettingFeature

subsetting_SubsettingFeature is an RDF property.

The Feature that is a subset of the subsettedFeature of this Subsetting.

succession_EffectStep

http://open-services.net/ns/sysmlv2#succession_EffectStep

succession_EffectStep is an RDF property.

Steps that represent occurrences that are side effects of the transitionStep occurring.

succession_GuardExpression

http://open-services.net/ns/sysmlv2#succession_GuardExpression

succession_GuardExpression is an RDF property.

Expressions that must evaluate to true before the transitionStep can occur.

succession_TransitionStep

http://open-services.net/ns/sysmlv2#succession_TransitionStep

succession_TransitionStep is an RDF property.

A Step that is typed by the Behavior TransitionPerformances::TransitionPerformance (from the Kernel Semantic Library) that has this Succession as its transitionLink.

succession_TriggerStep

http://open-services.net/ns/sysmlv2#succession_TriggerStep

succession_TriggerStep is an RDF property.

Steps that map incoming events to the timing of occurrences of the transitionStep. The values of triggerStep subset the list of acceptable events to be received by a Behavior or the object that performs it.

textualRepresentation_Body

http://open-services.net/ns/sysmlv2#textualRepresentation_Body

textualRepresentation_Body is an RDF property.

The textual representation of the representedElement in the given language.

textualRepresentation_Language

http://open-services.net/ns/sysmlv2#textualRepresentation_Language

textualRepresentation_Language is an RDF property.

The natural or artifical language in which the body text is written.

textualRepresentation_RepresentedElement

http://open-services.net/ns/sysmlv2#textualRepresentation_RepresentedElement

textualRepresentation_RepresentedElement is an RDF property.

The Element that is represented by this TextualRepresentation.

transitionFeatureMembership_Kind

http://open-services.net/ns/sysmlv2#transitionFeatureMembership_Kind

transitionFeatureMembership_Kind is an RDF property.

Whether this TransitionFeatureMembership is for a trigger, guard or effect.

transitionFeatureMembership_TransitionFeature

http://open-services.net/ns/sysmlv2#transitionFeatureMembership_TransitionFeature

transitionFeatureMembership_TransitionFeature is an RDF property.

The Step that is the ownedMemberFeature of this TransitionFeatureMembership.

transitionUsage_EffectAction

http://open-services.net/ns/sysmlv2#transitionUsage_EffectAction

transitionUsage_EffectAction is an RDF property.

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.

transitionUsage_GuardExpression

http://open-services.net/ns/sysmlv2#transitionUsage_GuardExpression

transitionUsage_GuardExpression is an RDF property.

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.

transitionUsage_Source

http://open-services.net/ns/sysmlv2#transitionUsage_Source

transitionUsage_Source is an RDF property.

The source ActionUsage of this TransitionUsage, which becomes the source of the succession for the TransitionUsage.

transitionUsage_Succession

http://open-services.net/ns/sysmlv2#transitionUsage_Succession

transitionUsage_Succession is an RDF property.

The Succession that is the ownedFeature of this TransitionUsage, which, if the TransitionUsage is triggered, asserts the temporal ordering of the source and target.

transitionUsage_Target

http://open-services.net/ns/sysmlv2#transitionUsage_Target

transitionUsage_Target is an RDF property.

The target ActionUsage of this TransitionUsage, which is the targetFeature of the succession for the TransitionUsage.

transitionUsage_TriggerAction

http://open-services.net/ns/sysmlv2#transitionUsage_TriggerAction

transitionUsage_TriggerAction is an RDF property.

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.

triggerInvocationExpression_Kind

http://open-services.net/ns/sysmlv2#triggerInvocationExpression_Kind

triggerInvocationExpression_Kind is an RDF property.

Indicates which of the Functions from the Triggers model in the Kernel Semantic Library is to be invoked by this TriggerInvocationExpression.

type_DifferencingType

http://open-services.net/ns/sysmlv2#type_DifferencingType

type_DifferencingType is an RDF property.

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).

type_DirectedFeature

http://open-services.net/ns/sysmlv2#type_DirectedFeature

type_DirectedFeature is an RDF property.

The features of this Type that have a non-null direction.

type_EndFeature

http://open-services.net/ns/sysmlv2#type_EndFeature

type_EndFeature is an RDF property.

All features of this Type with isEnd = true.

type_Feature

http://open-services.net/ns/sysmlv2#type_Feature

type_Feature is an RDF property.

The ownedMemberFeatures of the featureMemberships of this Type.

type_FeatureMembership

http://open-services.net/ns/sysmlv2#type_FeatureMembership

type_FeatureMembership is an RDF property.

The FeatureMemberships for features of this Type, which include all ownedFeatureMemberships and those inheritedMemberships that are FeatureMemberships (but does not include any importedMemberships).

type_InheritedFeature

http://open-services.net/ns/sysmlv2#type_InheritedFeature

type_InheritedFeature is an RDF property.

All the memberFeatures of the inheritedMemberships of this Type that are FeatureMemberships.

type_InheritedMembership

http://open-services.net/ns/sysmlv2#type_InheritedMembership

type_InheritedMembership is an RDF property.

All Memberships inherited by this Type via Specialization or Conjugation. These are included in the derived union for the memberships of the Type.

type_Input

http://open-services.net/ns/sysmlv2#type_Input

type_Input is an RDF property.

All features related to this Type by FeatureMemberships that have direction in or inout.

type_IntersectingType

http://open-services.net/ns/sysmlv2#type_IntersectingType

type_IntersectingType is an RDF property.

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).

type_IsAbstract

http://open-services.net/ns/sysmlv2#type_IsAbstract

type_IsAbstract is an RDF property.

Indicates whether instances of this Type must also be instances of at least one of its specialized Types.

type_IsConjugated

http://open-services.net/ns/sysmlv2#type_IsConjugated

type_IsConjugated is an RDF property.

Indicates whether this Type has an ownedConjugator.

type_IsSufficient

http://open-services.net/ns/sysmlv2#type_IsSufficient

type_IsSufficient is an RDF property.

Whether all things that meet the classification conditions of this Type must be classified by the Type.

type_Multiplicity

http://open-services.net/ns/sysmlv2#type_Multiplicity

type_Multiplicity is an RDF property.

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.

type_Output

http://open-services.net/ns/sysmlv2#type_Output

type_Output is an RDF property.

All features related to this Type by FeatureMemberships that have direction out or inout.

type_OwnedConjugator

http://open-services.net/ns/sysmlv2#type_OwnedConjugator

type_OwnedConjugator is an RDF property.

A Conjugation owned by this Type for which the Type is the originalType.

type_OwnedDifferencing

http://open-services.net/ns/sysmlv2#type_OwnedDifferencing

type_OwnedDifferencing is an RDF property.

The ownedRelationships of this Type that are Differencings, having this Type as their typeDifferenced.

type_OwnedDisjoining

http://open-services.net/ns/sysmlv2#type_OwnedDisjoining

type_OwnedDisjoining is an RDF property.

The ownedRelationships of this Type that are Disjoinings, for which the Type is the typeDisjoined Type.

type_OwnedEndFeature

http://open-services.net/ns/sysmlv2#type_OwnedEndFeature

type_OwnedEndFeature is an RDF property.

All endFeatures of this Type that are ownedFeatures.

type_OwnedFeature

http://open-services.net/ns/sysmlv2#type_OwnedFeature

type_OwnedFeature is an RDF property.

The ownedMemberFeatures of the ownedFeatureMemberships of this Type.

type_OwnedFeatureMembership

http://open-services.net/ns/sysmlv2#type_OwnedFeatureMembership

type_OwnedFeatureMembership is an RDF property.

The ownedMemberships of this Type that are FeatureMemberships, for which the Type is the owningType. Each such FeatureMembership identifies an ownedFeature of the Type.

type_OwnedIntersecting

http://open-services.net/ns/sysmlv2#type_OwnedIntersecting

type_OwnedIntersecting is an RDF property.

The ownedRelationships of this Type that are Intersectings, have the Type as their typeIntersected.

type_OwnedSpecialization

http://open-services.net/ns/sysmlv2#type_OwnedSpecialization

type_OwnedSpecialization is an RDF property.

The ownedRelationships of this Type that are Specializations, for which the Type is the specific Type.

type_OwnedUnioning

http://open-services.net/ns/sysmlv2#type_OwnedUnioning

type_OwnedUnioning is an RDF property.

The ownedRelationships of this Type that are Unionings, having the Type as their typeUnioned.

type_UnioningType

http://open-services.net/ns/sysmlv2#type_UnioningType

type_UnioningType is an RDF property.

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.

typeFeaturing_FeatureOfType

http://open-services.net/ns/sysmlv2#typeFeaturing_FeatureOfType

typeFeaturing_FeatureOfType is an RDF property.

The Feature that is featured by the featuringType. It is the source of the TypeFeaturing.

typeFeaturing_FeaturingType

http://open-services.net/ns/sysmlv2#typeFeaturing_FeaturingType

typeFeaturing_FeaturingType is an RDF property.

The Type that features the featureOfType. It is the target of the TypeFeaturing.

typeFeaturing_OwningFeatureOfType

http://open-services.net/ns/sysmlv2#typeFeaturing_OwningFeatureOfType

typeFeaturing_OwningFeatureOfType is an RDF property.

A featureOfType that is also the owningRelatedElement of this TypeFeaturing.

unioning_TypeUnioned

http://open-services.net/ns/sysmlv2#unioning_TypeUnioned

unioning_TypeUnioned is an RDF property.

Type with interpretations partly determined by unioningType, as described in Type::unioningType.

unioning_UnioningType

http://open-services.net/ns/sysmlv2#unioning_UnioningType

unioning_UnioningType is an RDF property.

Type that partly determines interpretations of typeUnioned, as described in Type::unioningType.

usage_Definition

http://open-services.net/ns/sysmlv2#usage_Definition

usage_Definition is an RDF property.

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.

usage_DirectedUsage

http://open-services.net/ns/sysmlv2#usage_DirectedUsage

usage_DirectedUsage is an RDF property.

The usages of this Usage that are directedFeatures.

usage_IsReference

http://open-services.net/ns/sysmlv2#usage_IsReference

usage_IsReference is an RDF property.

Whether this Usage is a referential Usage, that is, it has isComposite = false.

usage_IsVariation

http://open-services.net/ns/sysmlv2#usage_IsVariation

usage_IsVariation is an RDF property.

Whether this Usage is for a variation point or not. If true, then all the memberships of the Usage must be VariantMemberships.

usage_NestedAction

http://open-services.net/ns/sysmlv2#usage_NestedAction

usage_NestedAction is an RDF property.

The ActionUsages that are nestedUsages of this Usage.

usage_NestedAllocation

http://open-services.net/ns/sysmlv2#usage_NestedAllocation

usage_NestedAllocation is an RDF property.

The AllocationUsages that are nestedUsages of this Usage.

usage_NestedAnalysisCase

http://open-services.net/ns/sysmlv2#usage_NestedAnalysisCase

usage_NestedAnalysisCase is an RDF property.

The AnalysisCaseUsages that are nestedUsages of this Usage.

usage_NestedAttribute

http://open-services.net/ns/sysmlv2#usage_NestedAttribute

usage_NestedAttribute is an RDF property.

The code>AttributeUsages that are nestedUsages of this Usage.

usage_NestedCalculation

http://open-services.net/ns/sysmlv2#usage_NestedCalculation

usage_NestedCalculation is an RDF property.

The CalculationUsage that are nestedUsages of this Usage.

usage_NestedCase

http://open-services.net/ns/sysmlv2#usage_NestedCase

usage_NestedCase is an RDF property.

The CaseUsages that are nestedUsages of this Usage.

usage_NestedConcern

http://open-services.net/ns/sysmlv2#usage_NestedConcern

usage_NestedConcern is an RDF property.

The ConcernUsages that are nestedUsages of this Usage.

usage_NestedConnection

http://open-services.net/ns/sysmlv2#usage_NestedConnection

usage_NestedConnection is an RDF property.

The ConnectorAsUsages that are nestedUsages of this Usage. Note that this list includes BindingConnectorAsUsages and SuccessionAsUsages, even though these are ConnectorAsUsages but not ConnectionUsages.

usage_NestedConstraint

http://open-services.net/ns/sysmlv2#usage_NestedConstraint

usage_NestedConstraint is an RDF property.

The ConstraintUsages that are nestedUsages of this Usage.

usage_NestedEnumeration

http://open-services.net/ns/sysmlv2#usage_NestedEnumeration

usage_NestedEnumeration is an RDF property.

The code>EnumerationUsages that are nestedUsages of this Usage.

usage_NestedFlow

http://open-services.net/ns/sysmlv2#usage_NestedFlow

usage_NestedFlow is an RDF property.

The code>FlowConnectionUsages that are nestedUsages of this Usage.

usage_NestedInterface

http://open-services.net/ns/sysmlv2#usage_NestedInterface

usage_NestedInterface is an RDF property.

The InterfaceUsages that are nestedUsages of this Usage.

usage_NestedItem

http://open-services.net/ns/sysmlv2#usage_NestedItem

usage_NestedItem is an RDF property.

The ItemUsages that are nestedUsages of this Usage.

usage_NestedMetadata

http://open-services.net/ns/sysmlv2#usage_NestedMetadata

usage_NestedMetadata is an RDF property.

The MetadataUsages that are nestedUsages of this of this Usage.

usage_NestedOccurrence

http://open-services.net/ns/sysmlv2#usage_NestedOccurrence

usage_NestedOccurrence is an RDF property.

The OccurrenceUsages that are nestedUsages of this Usage.

usage_NestedPart

http://open-services.net/ns/sysmlv2#usage_NestedPart

usage_NestedPart is an RDF property.

The PartUsages that are nestedUsages of this Usage.

usage_NestedPort

http://open-services.net/ns/sysmlv2#usage_NestedPort

usage_NestedPort is an RDF property.

The PortUsages that are nestedUsages of this Usage.

usage_NestedReference

http://open-services.net/ns/sysmlv2#usage_NestedReference

usage_NestedReference is an RDF property.

The ReferenceUsages that are nestedUsages of this Usage.

usage_NestedRendering

http://open-services.net/ns/sysmlv2#usage_NestedRendering

usage_NestedRendering is an RDF property.

The RenderingUsages that are nestedUsages of this Usage.

usage_NestedRequirement

http://open-services.net/ns/sysmlv2#usage_NestedRequirement

usage_NestedRequirement is an RDF property.

The RequirementUsages that are nestedUsages of this Usage.

usage_NestedState

http://open-services.net/ns/sysmlv2#usage_NestedState

usage_NestedState is an RDF property.

The StateUsages that are nestedUsages of this Usage.

usage_NestedTransition

http://open-services.net/ns/sysmlv2#usage_NestedTransition

usage_NestedTransition is an RDF property.

The TransitionUsages that are nestedUsages of this Usage.

usage_NestedUsage

http://open-services.net/ns/sysmlv2#usage_NestedUsage

usage_NestedUsage is an RDF property.

The Usages that are ownedFeatures of this Usage.

usage_NestedUseCase

http://open-services.net/ns/sysmlv2#usage_NestedUseCase

usage_NestedUseCase is an RDF property.

The UseCaseUsages that are nestedUsages of this Usage.

usage_NestedVerificationCase

http://open-services.net/ns/sysmlv2#usage_NestedVerificationCase

usage_NestedVerificationCase is an RDF property.

The VerificationCaseUsages that are nestedUsages of this Usage.

usage_NestedView

http://open-services.net/ns/sysmlv2#usage_NestedView

usage_NestedView is an RDF property.

The ViewUsages that are nestedUsages of this Usage.

usage_NestedViewpoint

http://open-services.net/ns/sysmlv2#usage_NestedViewpoint

usage_NestedViewpoint is an RDF property.

The ViewpointUsages that are nestedUsages of this Usage.

usage_OwningDefinition

http://open-services.net/ns/sysmlv2#usage_OwningDefinition

usage_OwningDefinition is an RDF property.

The Definition that owns this Usage (if any).

usage_OwningUsage

http://open-services.net/ns/sysmlv2#usage_OwningUsage

usage_OwningUsage is an RDF property.

The Usage in which this Usage is nested (if any).

usage_Usage

http://open-services.net/ns/sysmlv2#usage_Usage

usage_Usage is an RDF property.

The Usages that are features of this Usage (not necessarily owned).

usage_Variant

http://open-services.net/ns/sysmlv2#usage_Variant

usage_Variant is an RDF property.

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.

usage_VariantMembership

http://open-services.net/ns/sysmlv2#usage_VariantMembership

usage_VariantMembership is an RDF property.

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.

useCaseDefinition_IncludedUseCase

http://open-services.net/ns/sysmlv2#useCaseDefinition_IncludedUseCase

useCaseDefinition_IncludedUseCase is an RDF property.

The UseCaseUsages that are included by this UseCaseDefinition, which are the useCaseIncludeds of the IncludeUseCaseUsages owned by this UseCaseDefinition.

useCaseUsage_IncludedUseCase

http://open-services.net/ns/sysmlv2#useCaseUsage_IncludedUseCase

useCaseUsage_IncludedUseCase is an RDF property.

The UseCaseUsages that are included by this UseCaseUse, which are the useCaseIncludeds of the IncludeUseCaseUsages owned by this UseCaseUsage.

useCaseUsage_UseCaseDefinition

http://open-services.net/ns/sysmlv2#useCaseUsage_UseCaseDefinition

useCaseUsage_UseCaseDefinition is an RDF property.

The UseCaseDefinition that is the definition of this UseCaseUsage.

variantMembership_OwnedVariantUsage

http://open-services.net/ns/sysmlv2#variantMembership_OwnedVariantUsage

variantMembership_OwnedVariantUsage is an RDF property.

The Usage that represents a variant in the context of the owningVariationDefinition or owningVariationUsage.

verificationCaseDefinition_VerifiedRequirement

http://open-services.net/ns/sysmlv2#verificationCaseDefinition_VerifiedRequirement

verificationCaseDefinition_VerifiedRequirement is an RDF property.

The RequirementUsages verified by this VerificationCaseDefinition, which are the verifiedRequirements of all RequirementVerificationMemberships of the objectiveRequirement.

verificationCaseUsage_VerificationCaseDefinition

http://open-services.net/ns/sysmlv2#verificationCaseUsage_VerificationCaseDefinition

verificationCaseUsage_VerificationCaseDefinition is an RDF property.

The VerificationCase that is the definition of this VerificationCaseUsage.

verificationCaseUsage_VerifiedRequirement

http://open-services.net/ns/sysmlv2#verificationCaseUsage_VerifiedRequirement

verificationCaseUsage_VerifiedRequirement is an RDF property.

The RequirementUsages verified by this VerificationCaseUsage, which are the verifiedRequirements of all RequirementVerificationMemberships of the objectiveRequirement.

viewDefinition_SatisfiedViewpoint

http://open-services.net/ns/sysmlv2#viewDefinition_SatisfiedViewpoint

viewDefinition_SatisfiedViewpoint is an RDF property.

The composite ownedRequirements of this ViewDefinition that are ViewpointUsages for viewpoints satisfied by the ViewDefinition.

viewDefinition_View

http://open-services.net/ns/sysmlv2#viewDefinition_View

viewDefinition_View is an RDF property.

The usages of this ViewDefinition that are ViewUsages.

viewDefinition_ViewCondition

http://open-services.net/ns/sysmlv2#viewDefinition_ViewCondition

viewDefinition_ViewCondition is an RDF property.

The Expressions related to this ViewDefinition by ElementFilterMemberships, which specify conditions on Elements to be rendered in a view.

viewDefinition_ViewRendering

http://open-services.net/ns/sysmlv2#viewDefinition_ViewRendering

viewDefinition_ViewRendering is an RDF property.

The RenderingUsage to be used to render views defined by this ViewDefinition, which is the referencedRendering of the ViewRenderingMembership of the ViewDefinition.

viewpointDefinition_ViewpointStakeholder

http://open-services.net/ns/sysmlv2#viewpointDefinition_ViewpointStakeholder

viewpointDefinition_ViewpointStakeholder is an RDF property.

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.

viewpointUsage_ViewpointDefinition

http://open-services.net/ns/sysmlv2#viewpointUsage_ViewpointDefinition

viewpointUsage_ViewpointDefinition is an RDF property.

The ViewpointDefinition that is the definition of this ViewpointUsage.

viewpointUsage_ViewpointStakeholder

http://open-services.net/ns/sysmlv2#viewpointUsage_ViewpointStakeholder

viewpointUsage_ViewpointStakeholder is an RDF property.

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.

viewRenderingMembership_OwnedRendering

http://open-services.net/ns/sysmlv2#viewRenderingMembership_OwnedRendering

viewRenderingMembership_OwnedRendering is an RDF property.

The owned RenderingUsage that is either itself the referencedRendering or subsets the referencedRendering.

viewRenderingMembership_ReferencedRendering

http://open-services.net/ns/sysmlv2#viewRenderingMembership_ReferencedRendering

viewRenderingMembership_ReferencedRendering is an RDF property.

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.

viewUsage_ExposedElement

http://open-services.net/ns/sysmlv2#viewUsage_ExposedElement

viewUsage_ExposedElement is an RDF property.

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.

viewUsage_SatisfiedViewpoint

http://open-services.net/ns/sysmlv2#viewUsage_SatisfiedViewpoint

viewUsage_SatisfiedViewpoint is an RDF property.

The nestedRequirements of this ViewUsage that are ViewpointUsages for (additional) viewpoints satisfied by the ViewUsage.

viewUsage_ViewCondition

http://open-services.net/ns/sysmlv2#viewUsage_ViewCondition

viewUsage_ViewCondition is an RDF property.

The Expressions related to this ViewUsage by ElementFilterMemberships, which specify conditions on Elements to be rendered in a view.

viewUsage_ViewDefinition

http://open-services.net/ns/sysmlv2#viewUsage_ViewDefinition

viewUsage_ViewDefinition is an RDF property.

The ViewDefinition that is the definition of this ViewUsage.

viewUsage_ViewRendering

http://open-services.net/ns/sysmlv2#viewUsage_ViewRendering

viewUsage_ViewRendering is an RDF property.

The RenderingUsage to be used to render views defined by this ViewUsage, which is the referencedRendering of the ViewRenderingMembership of the ViewUsage.

whileLoopActionUsage_UntilArgument

http://open-services.net/ns/sysmlv2#whileLoopActionUsage_UntilArgument

whileLoopActionUsage_UntilArgument is an RDF property.

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.

whileLoopActionUsage_WhileArgument

http://open-services.net/ns/sysmlv2#whileLoopActionUsage_WhileArgument

whileLoopActionUsage_WhileArgument is an RDF property.

The Expression whose result, if true, determines that the bodyAction should continue to be performed. It is the first owned parameter of the WhileLoopActionUsage.

2.1.3 Resources (Individuals) in this namespace (19)

featureDirectionKind_In, featureDirectionKind_Inout, featureDirectionKind_Out, portionKind_Snapshot, portionKind_Timeslice, requirementConstraintKind_Assumption, requirementConstraintKind_Requirement, stateSubactionKind_Do, stateSubactionKind_Entry, stateSubactionKind_Exit, transitionFeatureKind_Effect, transitionFeatureKind_Guard, transitionFeatureKind_Trigger, triggerKind_After, triggerKind_At, triggerKind_When, visibilityKind_Private, visibilityKind_Protected, visibilityKind_Public

featureDirectionKind_In

http://open-services.net/ns/sysmlv2#featureDirectionKind_In

featureDirectionKind_In is an RDF individual.

Values of the Feature on each instance of its domain are determined externally to that instance and used internally.

featureDirectionKind_Inout

http://open-services.net/ns/sysmlv2#featureDirectionKind_Inout

featureDirectionKind_Inout is an RDF individual.

Values of the Feature on each instance are determined either as in or out directions, or both.

featureDirectionKind_Out

http://open-services.net/ns/sysmlv2#featureDirectionKind_Out

featureDirectionKind_Out is an RDF individual.

Values of the Feature on each instance of its domain are determined internally to that instance and used externally.

portionKind_Snapshot

http://open-services.net/ns/sysmlv2#portionKind_Snapshot

portionKind_Snapshot is an RDF individual.

A snapshot of an Occurrence (a time slice with zero duration).

portionKind_Timeslice

http://open-services.net/ns/sysmlv2#portionKind_Timeslice

portionKind_Timeslice is an RDF individual.

A time slice of an Occurrence (a portion over time).

requirementConstraintKind_Assumption

http://open-services.net/ns/sysmlv2#requirementConstraintKind_Assumption

requirementConstraintKind_Assumption is an RDF individual.

Indicates that a member ConstraintUsage of a RequirementDefinition or RequirementUsage represents an assumption.

requirementConstraintKind_Requirement

http://open-services.net/ns/sysmlv2#requirementConstraintKind_Requirement

requirementConstraintKind_Requirement is an RDF individual.

Indicates that a member ConstraintUsage of a RequirementDefinition or RequirementUsagerepresents an requirement.

stateSubactionKind_Do

http://open-services.net/ns/sysmlv2#stateSubactionKind_Do

stateSubactionKind_Do is an RDF individual.

Indicates that the action of a StateSubactionMembership is a doAction.

stateSubactionKind_Entry

http://open-services.net/ns/sysmlv2#stateSubactionKind_Entry

stateSubactionKind_Entry is an RDF individual.

Indicates that the action of a StateSubactionMembership is an entryAction.

stateSubactionKind_Exit

http://open-services.net/ns/sysmlv2#stateSubactionKind_Exit

stateSubactionKind_Exit is an RDF individual.

Indicates that the action of a StateSubactionMembership is an exitAction.

transitionFeatureKind_Effect

http://open-services.net/ns/sysmlv2#transitionFeatureKind_Effect

transitionFeatureKind_Effect is an RDF individual.

Indicates that the transitionFeature of a TransitionFeatureMembership is an effectAction.

transitionFeatureKind_Guard

http://open-services.net/ns/sysmlv2#transitionFeatureKind_Guard

transitionFeatureKind_Guard is an RDF individual.

Indicates that the transitionFeature of a TransitionFeatureMembership is a guardExpression.

transitionFeatureKind_Trigger

http://open-services.net/ns/sysmlv2#transitionFeatureKind_Trigger

transitionFeatureKind_Trigger is an RDF individual.

Indicates that the transitionFeature of a TransitionFeatureMembership is a triggerAction.

triggerKind_After

http://open-services.net/ns/sysmlv2#triggerKind_After

triggerKind_After is an RDF individual.

Indicates a relative time trigger, corresponding to the TriggerAfter Function from the Triggers model in the Kernel Semantic Library.

triggerKind_At

http://open-services.net/ns/sysmlv2#triggerKind_At

triggerKind_At is an RDF individual.

Indicates an absolute time trigger, corresponding to the TriggerAt Function from the Triggers model in the Kernel Semantic Library.

triggerKind_When

http://open-services.net/ns/sysmlv2#triggerKind_When

triggerKind_When is an RDF individual.

Indicates a change trigger, corresponding to the TriggerWhen Function from the Triggers model in the Kernel Semantic Library.

visibilityKind_Private

http://open-services.net/ns/sysmlv2#visibilityKind_Private

visibilityKind_Private is an RDF individual.

Indicates a Membership is not visible outside its owning Namespace.

visibilityKind_Protected

http://open-services.net/ns/sysmlv2#visibilityKind_Protected

visibilityKind_Protected is an RDF individual.

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).

visibilityKind_Public

http://open-services.net/ns/sysmlv2#visibilityKind_Public

visibilityKind_Public is an RDF individual.

Indicates that a Membership is publicly visible outside its owning Namespace.

Clause Number	Requirement
SML-1	OSLC SysML v2 defines a set of properties for OMG SysML v2 resources. However, service implementations are free to extend this set of properties. Clients *MUST* preserve properties it does not recognize when updating resources. OSLC SysML v2 Servers *MAY* ignore properties that it does not recognize. Additional properties may come from existing vocabularies (ie. Dublin Core, OWL). When additional properties do not come from a known vocabulary, it is recommended that they exist in their own unique namespace, and providers *SHOULD NOT* reuse namespaces defined in these specifications.
SML-2	All RDF/XML resources that include links with annotations MUST begin with an outer `<rdf:RDF>` element. This outer XML element is required to support the ability to include annotations on ‘link’ properties with additional `<rdf:Description>` elements reifying statements about the link.
SML-3	Service implementations and clients MUST be prepared to accept any form of valid RDF/XML. For example the following two resource forms are equivalent.

Notices

Table of Contents

1. Introduction

1.1 Terminology

1.2 References

1.2.1 Normative references

1.2.2 Informative references

1.3 Typographical Conventions and Use of RFC Terms