Snippets (text quotes and extracts from authoritative sources)

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

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

Kind	Snippet quote/extract	Source	UML keywords	SysML keywords	Keywords
INFO	However, the actor parameters of the included use case usages should be explicitly bound to appropriate actors of the containing use case, as necessary.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	The subject of an included use case usage is bound by default to the subject of its containing use case definition or usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	If the declaration of an occurrence usage includes the the keyword individual (and, possibly, timeslice or snapshot), but no kind keyword, then this is equivalent to having included the occurrence keyword ...	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In this case, the occurrence usage must have exactly one definition that is an individual definition.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	An occurrence usage may also be explicitly declared to be an individual usage using the keyword individual, placed after any of the other usage property keywords ... but before a timeslice or snapshot keyword (if any).	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	An occurrence usage (of any kind) is considered to be an individual usage if it has a definition that is an individual definition. An occurrence usage must not have more than one definition that is an individual definition.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In addition, its subject is bound by default to the subject of the objective, which is itself bound to the subject of the verification case.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In any case, since the requirement verification usage itself is a subrequirement, it is automatically considered a required constraint of its containing objective.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	As for an assumed or required constraint, the keyword verify can be used rather than verify requirement to declare a verified requirement using reference subsetting.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A requirement verification usage is a subrequirement of the objective that is indicated by prefixing a requirement usage declaration with the keyword verify.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In addition to assumed and required constraint usages allowed in any requirement usage ... the objective of a verification case may also have requirement verification usages, which indicate the requirements to be verified by the verification case.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In simple cases, the PassIf calculation definition from the VerificationCases library model ... can be used to obtain a pass or fail verdict based on a Boolean value.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	The result of a verification case is a verdict that can have the values pass, fail, inconclusive, or error.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	checkFeatureResultRedefinition: If a Feature is a result parameter of an owningType that is a Function or Expression, then, for each direct supertype of its owningType that is also a Function or Expression, it must redefine the result parameter	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	the KerML checkFeatureParameterRedefinition constraint requires that any owned parameters ... of a ActionUsage redefine corresponding parameters of any Behaviors or Steps it specializes (including ActionDefinitions and ActionUsages)	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	If an action usage has any type of specialization relationship ... with an action definition or usage ... the rules for the redefinition of the parameters ... are the same as given for the redefinition of parameters of an action definition ...	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	If an action definition has a single superclassification, then the specialized action definition may declare fewer owned parameters than the general action definition, inheriting any additional parameters from the general definition ...	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	In addition, the result parameter for a calculation definition or usage can be declared as an out parameter using the keyword return instead of out. Note that a calculation definition or usage always has a result parameter, inherited if not owned.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	A calculation usage is an action usage that is a usage of a calculation definition.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	A calculation definition specifies a reusable computation that returns a result in the result parameter.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	A calculation definition is a kind of action definition ... that has a distinguished parameter with direction out called the result parameter (which is usually the only out parameter).	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	In contrast, if a non-parallel state has substates then, exactly one of the substates shall be active at any point in time in the lifetime of the containing state after completion of the entry action (if any).	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A parallel state is one whose substates are performed concurrently. As such, no transitions are allowed between the substates of a parallel state.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A textual representation is an annotating element whose textual body represents its annotated element (known in this case as the represented element) in a given language.	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	If the textual representation has no short name or name, then the rep keyword can also be omitted.	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A textual representation declaration must also specify the language used for the textual body as a literal string ... following the keyword language.	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A function operation expression is a special syntax for an invocation expression in which the first argument is given before the arrow (->) symbol, which is followed by the name of the function to be invoked and an argument list for any remaining arg...s	OMG Kernel Modeling Language™ (KerML™) Version 1.0
INFO	Note that this means that, if the terminate action usage is in a nested action, it is that nested action that is terminated, not any containing actions of the nested action.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	If a value is not given for the terminated occurrence parameter, then the default is to terminate the immediately containing action of the terminate action usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	An interface is simply a connection all of whose ends are ports. As such, an interface facilitates the specification and reuse of compatible connections between parts.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	An interface usage is a kind of connection that is usage of an interface definition. The ends of an interface usage are restricted to be port usages.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	An interface definition is a kind of connection definition ... whose ends are restricted to be port definitions ...	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	Variants are usage elements. If the containing variation is a definition, then each of its variants is implicitly defined by the variation definition. If the containing variation is a usage, then each of its variants implicitly subsets the variation usage	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	Redefinition is a kind of subsetting. While, in general, a subsetting usage is an additional feature to the subsetted usage, a redefining usage replaces the redefined usage in the context of redefining usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	Note that it is possible for an element to have both owning and non-owning memberships with the same namespace, but it can have at most one owning membership across all namespaces.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	An element may also have a membership in a namespace without being owned by the namespace. In this case, the membership may introduce an alias name for the element relative to the namespace.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	An element may be owned via its membership in a namespace. When a namespace is deleted, all such owned members will also be deleted.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	... an element can be given a name and/or a short name, and it can also have any number of alias names relative to one or more namespaces	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE, Cameo Systems Modeler, Cameo SysMLv2 Plugin, model-based engineering
INFO	The kind of a variant usage must be consistent with the kind of its owning variation.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	All usages declared within the body of a variation definition or usage are declared as variant usages by placing the keyword variant at the beginning of their declarations. Variant usages may only be declared within a variation.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	A definition or usage is specified as a variation by placing the keyword variation before its kind keyword. A variation is always abstract, so the abstract keyword is not used on a variation.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	For the overall requirement to then be satisfied, all such composite ... requirements must be satisfied.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	View usages can be nested and ordered within a composite view to generate composite view artifacts.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	For the overall requirement to then be satisfied, all such composite or referenced requirements must be satisfied.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A requirement definition or usage may also reference another requirement usage as a required constraint.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	Since a requirement usage is a kind of constraint usage, any nested composite requirement usage is automatically considered to be a required constraint of the containing requirement definition or usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A requirement definition or usage may be decomposed into nested requirement usages, which may themselves be further decomposed.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	To simplify doing this, if a subject parameter is not explicitly declared for a subrequirement, it is assumed to have the same subject as its containing requirement definition or usage, with its subject bound to that of the container.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	Subrequirements are considered to automatically be required constraints of the containing requirement definition or usage. This is useful for modeling groups of requirements that are intended to be satisfied together on the same subject.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A composite requirement usage nested in a requirement definition or usage is a subrequirement of the containing requirement definition or usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	(that is, a select expression is a shorthand for invoking the ControlFunctions::select function).	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	The expression body is evaluated on each of the result values from the primary expression, in order, and those for which the expression body evaluates to true are selected for inclusion in the result of the select expression (that is, a select expression	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	A select expression consists of a primary expression and an expression body ... separated by a dot-question-mark (.?) symbol. The expression body must have a single input parameter and a Boolean result.	OMG Kernel Modeling Language™ (KerML™) Version 1.0			SysML2, Systems Modeling Language, SysML, Model-Based Systems Engineering, MBSE
INFO	Instead, the constraint to be asserted is identified by giving a qualified name or feature chain immediately after the assert keyword, and it is then related to the assert constraint usage by a reference subsetting relationship ...	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	An assert constraint usage may also be declared using just the keyword assert instead of assert constraint. In this case, the declaration does not include either a name or short name for the assert constraint usage.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	As a result, both robust automated conversion between quantity values expressed in compatible measurement units or scales is enabled, as well as static type and quantity dimension analysis of expressions and constraints.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	The data model specifies a precise representation of the relationships between quantities, units, scales, quantity dimensions, coordinate frames, coordinate transformations and vectors spaces.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	The visibility of an import is always shown explicitly by placing the keyword private, protected, or public before the import declaration. If the import is private (which is the default in the abstract syntax), then the imported memberships become private	OMG Kernel Modeling Language™ (KerML™) Version 1.0
INFO	The behavior of an AcceptAction is to accept the transfer of a payload received by the given receiver, and then output that payload.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	An AcceptAction has two parameters: 1. an output parameter for a set of payload values; 2. an input parameter giving a receiver occurrence.	OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
INFO	The subject of a viewpoint definition or usage must be a view.	OMG Systems Modeling Language TM (SysML®) Version 2.0 Release 2021-02
INFO	The subject of a viewpoint is a view that is required to address the stakeholder concerns.	OMG Systems Modeling Language TM (SysML®) Version 2.0 Release 2021-02
INFO	SysML enforces its equivalence of navigation and ownership by means of constraints that the block stereotype enforces on the existing UML metamodel.	OMG Systems Modeling Language (SysML) 1.7	Association, Property::isNavigable(), Association::ownedEnd	Block	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	The only form of an association end that SysML allows an association to own directly is an unnamed end used to carry an inverse multiplicity of a reference property. This unnamed end provides a metamodel element to record an inverse multiplicity ...	OMG Systems Modeling Language (SysML) 1.7	Association, Property::isNavigable(), Association::ownedEnd	Block	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	SysML excludes variations of associations in UML in which navigable ends can be owned directly by the association. In SysML, navigation is equivalent to a named property owned directly by a block.	OMG Systems Modeling Language (SysML) 1.7	Association, Property::isNavigable(), Association::ownedEnd	Block	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	The keyword «participant» before a property name indicates the property is stereotyped by ParticipantProperty. They are always the same as the corresponding association end type.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock, ParticipantProperty, ParticipantProperty::end	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	Participant properties can be the ends of connectors owned by an association block. The association block can be the type of multiple other connectors to reuse the same internal structure for all the connectors.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock, ParticipantProperty, ParticipantProperty::end	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	The value of a participant property on an instance (link) of the association block is the value or object at the end of the link corresponding to this end of the association.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock, ParticipantProperty, ParticipantProperty::end	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	To refer to linked objects and values of an instance of an association block, it is necessary for the modeler to specify which (participant) properties of the association block identify the instances being linked at which end of the association.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	Each instance of an association block can link together instances of the end classifiers of the association.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	The Block stereotype extends Class, so it can be applied to any specialization of Class, including Association Classes. These are informally called "association blocks." An association block can own properties and connectors, like any other block.	OMG Systems Modeling Language (SysML) 1.7	AssociationClass	AssociationBlock	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	SysMLv1.7: UMLCompartmentableShapes that have a modelElement stereotyped by Allocated or one of its specializations may have a compartment titled “allocatedElements” and a compartment titled “allocatedToElements.”	OMG Systems Modeling Language (SysML) 1.7		Allocate, Allocate::/getAllocatedFrom(in ref), Allocate::/getAllocatedTo(in ref)	SysMLv1.7
INFO	An Activity shall have ... two ActivityParameterNodes for each inout Parameter.	Unified Modeling Language 2.5.1	Activity, Behavior, Parameter, ActivityParameterNode, ActivityEdge, ParameterDirectionKind::in, ParameterDirectionKind::out, ParameterDirectionKind::inout, ParameterDirectionKind::return
INFO	A multiplicity on the composing end of a composite aggregation must not have an upper bound greater than 1. inv: isComposite and association <> null implies opposite.upperBound() <= 1	Unified Modeling Language 2.5.1	multiplicity, MultiplicityElement::upperValue, MultiplicityElement::upperBound, Property, Property::aggregation, AggregationKind::composite, Property::isComposite
INFO	A NestedConnectorEnd stereotype of a UML ConnectorEnd is automatically applied to any connector end that is nested more than one level deep within a containing context.	OMG Systems Modeling Language (SysML) 1.7	Connector	NestedConnectorEnd
INFO	If there are two or more aggregations to the same aggregate, a conforming tool may as a purely presentational option show them as a tree by merging the aggregation ends into a single segment adorned by the solid or hollow aggregation diamond symbol.	Unified Modeling Language 2.5.1	Association, Association::memberEnd
INFO	Not all links need to be classified by an Association.	Unified Modeling Language 2.5.1	link, Association		Unified Modeling Language
INFO	Those ownedAttributes of a StructuredClassifier that have isComposite = true (see 9.5.3) are called its parts. Hence parts constitute a subset of roles.	Unified Modeling Language 2.5.1	StructuredClassifier::ownedAttribute, StructuredClassifier, Property::isComposite, AggregationKind::composite
INFO	The frame shall designate a model element that is the default namespace for the model elements enclosed in the frame. A qualified name for the model element within the frame shall be provided if it is not contained within default namespace.	OMG Systems Modeling Language (SysML) 1.7	Diagram, diagram frame, Namespace		SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	The frame is a rectangle that is required for SysML diagrams. (Note: the frame is optional in UML).	OMG Systems Modeling Language (SysML) 1.7	Diagram, diagram frame		SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	[DEPRECATED] Atomic flow ports relay items that are classified by a single Block, ValueType, or Signal classifier. A nonatomic flow port relays items of several types as specified by a FlowSpecification.	OMG Systems Modeling Language (SysML) 1.7	Port	flow port, atomic flow port, nonatomic flow port, FlowSpecification	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	[DEPRECATED] We distinguish between atomic flow port and a nonatomic flow port.	OMG Systems Modeling Language (SysML) 1.7	Port	flow port, atomic flow port, nonatomic flow port	SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	A Port of an EncapsulatedClassifier is shown as a small square symbol. The Port symbol may be placed either overlapping the boundary of the rectangle symbol denoting that EncapsulatedClassifier or it may be shown inside the rectangle symbol.	Unified Modeling Language 2.5.1	Property, Property::aggregation, AggregationKind::composite, Port, EncapsulatedClassifier
INFO	A Port is a Property of an EncapsulatedClassifier that specifies a distinct interaction point between that EncapsulatedClassifier and its environment or between the Behavior of the EncapsulatedClassifier and its internal roles. Ports are connected by ...	Unified Modeling Language 2.5.1	Property, Property::aggregation, AggregationKind::composite, Port, EncapsulatedClassifier
INFO	A part may be shown by graphical nesting of a box symbol	Unified Modeling Language 2.5.1	Property, Property::aggregation, AggregationKind::composite, part object
INFO	Composite aggregation is a strong form of aggregation that requires a part object be included in at most one composite object at a time. If a composite object is deleted, all of its part instances that are objects are deleted with it.	Unified Modeling Language 2.5.1	Property, Property::aggregation, AggregationKind::composite, part object
INFO	16.3.2.1 AbstractRequirement: id : String [1] The unique id of the requirement.	OMG Systems Modeling Language (SysML) 1.7
INFO	(Datastore already has an overwrite semantics)	OMG Systems Modeling Language (SysML) 1.7	DataStoreNode		SysML, SysMLv1, Systems Modeling Language, Model-Based Systems Engineering
INFO	An “X” on a single end of an association to indicate that an end is not navigable has similarly been dropped, as has the use of a small filled dot at the end of an association to indicate that the end is owned by the associated classifier.	OMG Systems Modeling Language (SysML) 1.7	Association
INFO	The use of navigation arrowheads on an association has been simplified by excluding the case of arrowheads on both ends, and requiring that such an association always be shown without arrowheads on either end.	OMG Systems Modeling Language (SysML) 1.7	Association
INFO	Notational and metamodel support for n-ary associations and qualified associations has been excluded from SysML.	OMG Systems Modeling Language (SysML) 1.7	Association
INFO	The supported variety of notations for associations and association annotations has been reduced to simplify the burden of teaching, learning, and interpreting SysML diagrams for the systems engineering user.	OMG Systems Modeling Language (SysML) 1.7	Association
INFO	The dot shows that the model includes a Property of the type represented by the Classifier touched by the dot. This Property is owned by the Classifier at the other end.	Unified Modeling Language 2.5.1	Association, Classifier, Property::isNavigable(), Association::navigableOwnedEnd, Association::ownedEnd, Association::memberEnd, Element::owner, AggregationKind, Property::aggregation, ownership dot
INFO	The dot is to be drawn integral to the graphic path of the line, at the point where it meets the Classifier, inserted between the end of the line and the side of the node representing the Classifier.	Unified Modeling Language 2.5.1	Association, Classifier, Property::isNavigable(), Association::navigableOwnedEnd, Association::ownedEnd, Association::memberEnd, Element::owner, AggregationKind, Property::aggregation, ownership dot
INFO	Ownership of Association ends by an associated Classifier may be indicated graphically by a small filled circle, which for brevity we will term a dot.	Unified Modeling Language 2.5.1	Association, Classifier, Property::isNavigable(), Association::navigableOwnedEnd, Association::ownedEnd, Association::memberEnd, Element::owner, AggregationKind, Property::aggregation, ownership dot
INFO	Aggregation type, navigability, and end ownership are separate concepts, each with their own explicit notation. Association ends owned by classes are always navigable, while those owned by associations may be navigable or not.	Unified Modeling Language 2.5.1	Association, Classifier, Property::isNavigable(), Association::navigableOwnedEnd, Association::ownedEnd, Association::memberEnd, Element::owner, AggregationKind, Property::aggregation
INFO	Navigability notation was often used in the past according to an informal convention, whereby non-navigable ends were assumed to be owned by the Association whereas navigable ends were assumed to be owned by the Classifier at the opposite end. DEPRECATED.	Unified Modeling Language 2.5.1	Association, Classifier, Property::isNavigable(), Association::navigableOwnedEnd, Classifier, Association::ownedEnd, Association::memberEnd, Element::owner
INFO	[OBSOLETE] SysMLv1.2: 8.3.1.1.10 Property-specific type Enclosing the type name of a property in square brackets specifies that the type is a local specialization of the referenced type, which may be overridden to specify additional values or ...	OMG Systems Modeling Language (SysML) 1.2
INFO	The notation for properties typed by a property-specific type shows the name of the most specific generalization of the property-specific type that is not a property-specific type (or nothing if there is no generalization) between parentheses after the ..	OMG Systems Modeling Language (SysML) 1.7		PropertySpecificType
SEMANTIC	If a StructuralFeature is marked with isReadOnly true, then it may not be updated once it has been assigned an initial value.	Unified Modeling Language 2.5.1	StructuralFeature::isReadonly, StructuralFeature