RequirementVerificationMembership

RequirementVerificationMembership is defined in SysML specification on page 408. Excerpt from the machine readable specification:

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

The following diagram shows the inheritance hierarchy of RequirementVerificationMembership according to the specification:

The following table shows all attributes defined for RequirementVerificationMembership according to the specification together with the documentation from the machine readable specification. Note that in SysIDE API, we use snake case for attribute names instead of Pascal case used in the specification.

Attribute	Documentation from machine readable specification
Attributes defined in RequirementVerificationMembership:
owned_requirement	The owned RequirementUsage that acts as the ownedConstraint for this RequirementVerificationMembership. This will either be the verifiedRequirement, or it will subset the verifiedRequirement.
verified_requirement	The RequirementUsage that is identified as being verified. It is the referencedConstraint of the RequirementVerificationMembership considered as a RequirementConstraintMembership, which must be a RequirementUsage.
Attributes defined in RequirementConstraintMembership:
kind	Whether the RequirementConstraintMembership is for an assumed or required ConstraintUsage.
owned_constraint	The ConstraintUsage that is the ownedMemberFeature of this RequirementConstraintMembership.
referenced_constraint	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.
Attributes defined in FeatureMembership:
owned_member_feature	The Feature that this FeatureMembership relates to its owningType, making it an ownedFeature of the owningType.
owning_type	The Type that owns this FeatureMembership.
Attributes defined in OwningMembership:
owned_member_element	The Element that becomes an ownedMember of the membershipOwningNamespace due to this OwningMembership.
owned_member_element_id	The elementId of the ownedMemberElement.
owned_member_name	The name of the ownedMemberElement.
owned_member_short_name	The shortName of the ownedMemberElement.
Attributes defined in Featuring:
feature	The Feature that is featured by the featuringType.
type	The Type that features the featureOfType.
Attributes defined in Membership:
member_element	The Element that becomes a member of the membershipOwningNamespace due to this Membership.
member_element_id	The elementId of the memberElement.
member_name	The name of the memberElement relative to the membershipOwningNamespace.
member_short_name	The short name of the memberElement relative to the membershipOwningNamespace.
membership_owning_namespace	The Namespace of which the memberElement becomes a member due to this Membership.
visibility	Whether or not the Membership of the memberElement in the membershipOwningNamespace is publicly visible outside that Namespace.
Attributes defined in Relationship:
is_implied	Whether this Relationship was generated by tooling to meet semantic rules, rather than being directly created by a modeler.
owned_related_elements	The relatedElements of this Relationship that are owned by the Relationship.
owning_related_element	The relatedElement of this Relationship that owns the Relationship, if any.
related_elements	The Elements that are related by this Relationship, derived as the union of the source and target Elements of the Relationship.
sources	The relatedElements from which this Relationship is considered to be directed.
targets	The relatedElements to which this Relationship is considered to be directed.
Attributes defined in Element:
declared_name	The declared name of this Element.
declared_short_name	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.
documentation	The Documentation owned by this Element.
element_id	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.
is_implied_included	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.
is_library_element	Whether this Element is contained in the ownership tree of a library model.
name	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.
owned_annotations	The ownedRelationships of this Element that are Annotations, for which this Element is the annotatedElement.
owned_elements	The Elements owned by this Element, derived as the ownedRelatedElements of the ownedRelationships of this Element.
owned_relationships	The Relationships for which this Element is the owningRelatedElement.
owner	The owner of this Element, derived as the owningRelatedElement of the owningRelationship of this Element, if any.
owning_membership	The owningRelationship of this Element, if that Relationship is a Membership.
owning_namespace	The Namespace that owns this Element, which is the membershipOwningNamespace of the owningMembership of this Element, if any.
owning_relationship	The Relationship for which this Element is an ownedRelatedElement, if any.
qualified_name	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.
short_name	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.
textual_representations	The TextualRepresentations that annotate this Element.

The following table lists SysIDE specific attributes available for class RequirementVerificationMembership:

Python Attribute

STD

class RequirementVerificationMembership

__cpp_name__: str = Ellipsis

STD: tuple[type[syside.RequirementVerificationMembership], ...] = ()

property owned_requirement: syside.RequirementUsage | None

property verified_requirement: syside.RequirementUsage | None

property kind: syside.RequirementConstraintKind

try_set_kind(arg: syside.RequirementConstraintKind, /) → bool

property owned_constraint: syside.ConstraintUsage | None

property referenced_constraint: syside.ConstraintUsage | None

property type: syside.Type | None

property feature: syside.Feature | None

property owning_type: syside.Type | None

property owned_member_feature: syside.Feature | None