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 Sort descending Source UML keywords SysML keywords Keywords
INFO For example, one valid state configuration for an execution of the StateMachine depicted in Figure 14.9 is: <CourseAttempt - Studying – (Studying::Lab2, Studying::TermProject, Studying::FinalTest)>. Unified Modeling Language 2.5.1 State, StateMachine, Region, composite State, State::/isComposite, State::/isSimple, state configuration, valid state configuration
INFO For example, tanks might include a flow property that can accept fluid as an input. In a particular use of tanks, “gasoline” flows across a connector into a tank, and in another use of tanks, “water” flows across a connector into a tank. OMG Systems Modeling Language (SysML) 1.6 ItemFlow
INFO For example, the antiparticle of the electron is the antielectron (which is often referred to as positron). Wikipedia
INFO For example, the block definition diagram and internal block diagram are similar to the UML class diagram and composite structure diagram respectively, but include extensions ... OMG Systems Modeling Language (SysML) 1.6 Diagram, Class Diagram, Composite Structure Diagram SysML Block Definition Diagram, SysML Internal Block Diagram
EXAMPLE, INFO For example, the ICE block specifies the provided operations setMixture and setThrottle, the provided properties RPM, temperature, and isKnocking, and required property isControlOn, as shown in Figure D.20. This block types the ctrl port of ... OMG Systems Modeling Language (SysML) 1.6 Property, Operation HSUV sample problem, provided Feature, required Feature, part property, Block
INFO For example, the ports supporting torque flows in the transmission example might have nested ports for physical links to the engine or the driveshaft. OMG Systems Modeling Language (SysML) 1.6 Port nested Port
INFO For example, the security viewpoint may require the security requirements, security functional and physical architecture, and security test cases. OMG Systems Modeling Language (SysML) 1.6 Viewpoint, Stakeholder, Stakeholder::/concern, Viewpoint::/concern, View
EXAMPLE, INFO For example, the SysML "Real" ValueType expresses the mathematical concept of a real number, but does not impose any restrictions on the precision or scale of a fixed or floating-point representation that expresses this concept. OMG Systems Modeling Language (SysML) 1.6 DataType ValueType, Real
EXAMPLE, INFO For illustration purposes, however, the interaction shown in Figure D.35 was generated based on the constraints and parameters of the StraightLineVehicleDynamics constraintBlock, as described in the Figure D.33. OMG Systems Modeling Language (SysML) 1.6 Timing Diagram, Constraint constraint parameter, ConstraintBlock
INFO For object nodes that are the target of continuous flows, «nobuffer» and «overwrite» have the same effect. OMG Systems Modeling Language (SysML) 1.6 ObjectNode, ActivityNode::outgoing, InputPin, Action::/input «noBuffer», NoBuffer, Continuous, «continuous», «overwrite», Overwrite
INFO For object nodes that are the target of continuous flows, «overwrite» and «nobuffer» have the same effect. OMG Systems Modeling Language (SysML) 1.6 ObjectNode, MultiplicityElement::/upper, InputPin, Action::/input, token Overwrite, «overwrite», Continuous, «continuous», NoBuffer, «noBuffer»
EXAMPLE For purposes of example, the ports, flows, and related point-to-point connectors in Figure D.19 are being refined into a common bus architecture. For this example, ports with flow properties have been used to model the bus architecture. OMG Systems Modeling Language (SysML) 1.6 Signal, Connector, Port FlowProperty, "standard" Port, HSUV sample problem
INFO For some kinds of Classifiers, optionally in the right hand corner an icon denoting the kind of Classifier can be displayed. Unified Modeling Language 2.5.1 role, Property, Class, Classifier, Stereotype, Stereotype:icon, icon secondary stereotype, UML, MagicDraw UML
INFO For structured Actions (StructuredActivityNodes ... ), data can remain on InputPins during Action execution, otherwise they are immediately removed from the InputPins by the ActionExecution. Unified Modeling Language 2.5.1 Activity, Activity Diagram, Action, execution, InputPin, Action::/input, StructuredActivityNode, ActionExecution
INFO For this reason, the near infrared region of the spectrum is commonly incorporated as part of the "optical" spectrum, along with the near ultraviolet. Wikipedia far infrared, near infrared, infrared astronomy
INFO For upper bounds greater than one, the token removed is the one that has been in the object node the longest. For FIFO ordering, this is the token that is next to be selected, for LIFO it is the token that would be last to be selected. OMG Systems Modeling Language (SysML) 1.6 ObjectNode, MultiplicityElement::/upper, InputPin, Action::/input, token, ObjectNodeOrderingKind::FIFO, ObjectNodeOrderingKind::LIFO, ObjectNodeOrderingKind Overwrite, «overwrite»
SEMANTIC fork – fork Pseudostates serve to split an incoming Transition into two or more Transitions terminating on Vertices in orthogonal Regions of a composite State. Unified Modeling Language 2.5.1 Pseudostate, Transition, Region, composite State, orthogonal Region, PseudostateKind::fork
INFO Four closely related Δ baryons exist: Δ++ (constituent quarks: uuu), Δ+ (uud), Δ0 (udd), and Δ− (ddd), which respectively carry an electric charge of +2 e, +1 e, 0 e, and −1 e. Wikipedia
INFO Four general categories of properties of blocks are recognized in SysML: parts, references, value properties, and constraint properties. OMG Systems Modeling Language (SysML) 1.6 Property part property, value property, constraint property, reference property, MD:PartProperty, MD:ConstraintProperty, MD:ReferenceProperty, MD:ValueProperty
INFO Full ports cannot be behavioral in the UML sense of standing in for the owning object, because they handle features themselves, rather than exposing features of their owners, or internal parts of their owners. OMG Systems Modeling Language (SysML) 1.6 Port, Port::isBehavior FullPort
INFO Full ports specify a separate element of the system from the owning block or its internal parts. They might have their own internal parts and behaviors to support interaction with the owning block, its internal parts, or external blocks. OMG Systems Modeling Language (SysML) 1.6 Port, internal part, Behavior FullPort, Block, part property, MD:PartProperty
CONSTRAINT FullPort::1_not_proxy Full ports shall not also be proxy ports. This applies even if some of the stereotypes are on subsetted or redefined ports. OMG Systems Modeling Language (SysML) 1.6 Port FullPort, ProxyPort
CONSTRAINT FullPort::2_not_bound_to_fullport Binding connectors shall not link full ports (either directly or indirectly through other binding connectors) to other composite properties of the block owning the full port (or that blocks generalizations or specializati OMG Systems Modeling Language (SysML) 1.6 Port, internal part, AggregationKind::composite, Generalization FullPort, Block, part property, owning Block, value property, block property, BindingConnector
CONSTRAINT FullPort::3_not_behavioral Full ports shall not be behavioral (isBehavior=false). OMG Systems Modeling Language (SysML) 1.6 Port::isBehavior FullPort
INFO fUML-1.4: 7.6.2.1: Reception: [1] fuml_reception_no_method: A reception must not have an associated method.self.method->isEmpty() Action Language for Foundational UML 1.1 Reception, Signal, receptions compartment
INFO fUML1.4: 7.11.2.5: CreateObjectAction [1] fuml_create_object_action_is_class: The given classifier must be a class. self.classifier.oclIsKindOf(Class) Semantics of a Foundational Subset for Executable UML Models 1.4 Class, CreateObjectAction, CreateObjectAction::classifier fUML, Foundational UML
INFO fUML1.4: 7.11.2.6 ExpansionNode: [2] fuml_expansion_node_no_crossing_edges: Edges may not cross into or out of an expansion region. Semantics of a Foundational Subset for Executable UML Models 1.4 ExpansionRegion fUML, Foundational UML
INFO Furthermore, it means that a lepton can have only two possible spin states, namely up or down. Wikipedia
INFO Generally, the ControlNodes and ObjectNodes in an Activity are largely there to control the sequencing and to manage the flow of data between the ExecutableNodes of the Activity. Unified Modeling Language 2.5.1 Behavior, Activity, Activity Diagram, ExecutableNode, ActivityNode, execution, ControlNode, ObjectNode
EXAMPLE, INFO Goal-level Use Cases associated with “Operate the Vehicle” are depicted in the following diagram. These use cases help flesh out the specific kind of goals associated with driving and parking the vehicle. OMG Systems Modeling Language (SysML) 1.6 UseCase, UseCase Diagram
INFO Grouped elements are the annotated elements of the comment to which the stereotype is applied. This has several implications: OMG Systems Modeling Language (SysML) 1.6 Comment, Comment::annotatedElement ElementGroup, ElementGroup::/member
INFO Hadrons contain, along with the valence quarks that contribute to their quantum numbers, virtual quark–antiquark pairs known as sea quarks. Wikipedia
INFO Heat is energy in transfer to or from a thermodynamic system, by a mechanism that involves the microscopic atomic modes of motion or the corresponding macroscopic properties. Wikipedia heat, thermodynamics, energy, energy transfer
INFO Heat released by a system into its surroundings is by convention a negative quantity (Q < 0); when a system absorbs heat from its surroundings, it is positive (Q > 0). Wikipedia heat, thermodynamics, energy, energy transfer
CONSTRAINT Held object tokens are offered to outgoing flows according to the general ordering rules for ObjectNodes. When an offer for a token is accepted by a downstream object node, that token is removed from the CentralBufferNode and moved to the accepting ... Unified Modeling Language 2.5.1 Activity, CentralBufferNode, token, object token, ObjectFlow
INFO Hot humid day 90°F and 90% RH. Condition the air to 70°F at about 50% RH. Chill the air to condense out enough moisture to dehumidify it: goal is air with absolute humidity not exceeding 0.008 lbs of moisture per pound of air. Show processes. CED Engineering course PDF: 'Air Conditioning Psychrometrics (A.Bhatia)' thermodynamics, Psychrometrics, humid air, temperature, dry bulb temperature, wet bulb temperature, relative humidity, absolute humidity, sensible heat, heat, energy, energy transfer, water, moisture
INFO How much moisture is added to 20 lb of air going from 50°F, 50% RH to 80°F, 60% RH? CED Engineering course PDF: 'Air Conditioning Psychrometrics (A.Bhatia)' thermodynamics, Psychrometrics, humid air, temperature, dry bulb temperature, wet bulb temperature, relative humidity, absolute humidity, sensible heat, heat, energy, energy transfer, water, moisture
INFO However, blocks can be defined with non-behavioral proxy ports that do not have internal connectors, with the expectation that these will be added in specialized blocks. OMG Systems Modeling Language (SysML) 1.6 Port::isBehavior ProxyPort
INFO However, if the Action is an invocation of a Behavior with streaming Parameters ... then the Action execution may also post data to OutputPins corresponding to streaming output Parameters before completion of the execution ... Unified Modeling Language 2.5.1 Activity, Activity Diagram, Action, execution, completion, termination, Action::/output, OutputPin, InvocationAction, Parameter::isStreaming, ParameterDirectionKind::out
SEMANTIC However, in addition, an AcceptEventAction with no incoming edges remains enabled after it accepts an Event occurrence. Unified Modeling Language 2.5.1 AcceptEventAction, Activity, Event
INFO However, the same token can only be accepted at one target at a time (unless it is copied, whereupon it is not the same token, see ForkNodes ... and ExecutableNodes ...). Unified Modeling Language 2.5.1 ForkNode, ActivityEdge, ActivityNode::outgoing, ActivityNode, token, ExecutableNode
SEMANTIC However, whereas encapsulated composite States and their internals are contained within the StateMachine in which they are defined, submachines are, like programming language macros, distinct Behavior specification ... Unified Modeling Language 2.5.1 State, StateMachine, submachine, Behavior, composite State
INFO If a DataType has attributes (i.e., Properties owned by it and in its namespace) it is called a structured DataType. Instances of a structured DataType contain attribute values matching its attributes. Unified Modeling Language 2.5.1 Type, DataType, Classifier, structured DataType
INFO If a DecisionNode has a decisionInputFlow, then a token must be offered on both the primary incoming edge and the decisionInputFlow before the token from the primary incoming edge is offered to the outgoing edges. Unified Modeling Language 2.5.1 DecisionNode, DecisionNode::decisionInput, DecisionNode::decisionInputFlow UML, Unified Modeling Language
CONSTRAINT If a JoinNode does not have a joinSpec, then this is equivalent to a joinSpec Expression with the Boolean operator “and.” That is, the implicit default joinSpec condition is that there is at least one token offered on each incoming ActivityEdge. Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, JoinNode, ActivityNode::incoming, ActivityEdge, JoinNode::joinSpec, Boolean
INFO If a LoopNode has loopVariable OutputPins, then it must also have matching sets of loopVariableInput InputPins, bodyOutput OutputPins (owned by Actions within the bodyPart), and result OutputPins. Unified Modeling Language 2.5.1 Activity, Activity Diagram, LoopNode, LoopNode::loopVariable, OutputPin, LoopNode::loopVariableInput, LoopNode::bodyOutput, LoopNode::result, InputPin
SEMANTIC If a matching Event occurrence for an AcceptEventAction is dispatched from the event pool, then the AcceptEventAction is enabled to continue. However, if the containing Behavior execution has more than one waiting Trigger that matches ... Unified Modeling Language 2.5.1 Behavior, Activity, Action, AcceptEventAction, execution
INFO If a Property has a specified default, and the Property redefines another Property with a specified default, then the redefining Property’s default is used in place of the more general default from the redefined Property. Unified Modeling Language 2.5.1 Property, Property::redefinedProperty, Property::defaultValue
INFO If a Property has a specified default, and the Property redefines another Property with a specified default, then the redefining Property’s default is used in place of the more general default from the redefined Property. Unified Modeling Language 2.5.1 Property, Property::defaultValue UML, Unified Modeling Language
INFO If a reply Message does not have a signature, then the only argument that may be specified for it is a return argument as specified above. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification, Operation, ParameterDirectionKind::return, Parameter
INFO If a reply Message does not have a signature, then the only argument that may be specified for it is a return argument as specified above. However, if the Message has a signature that is an Operation with out or inout ownedParameters, then ... Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification, Operation, ParameterDirectionKind::return, Parameter
INFO If a reply-message-label does not include an output-argument-list and the Message has a signature, then this denotes that the Message has wildcard arguments corresponding to all out and inout ownedParameters of the signature Operation (if any). Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification, Operation, Parameter, Behavior::ownedParameter
INFO If a request-message-label does not include an input-argument-list and the Message has a signature, then this denotes that the Message has wildcard arguments corresponding to all in and inout ownedParameters of an Operation or attributes of a Signal ... Unified Modeling Language 2.5.1 request-message-label, Message, Message::messageSort, MessageSort, Operation, Signal, Parameter, BehavioralFeature::ownedParameterSet
INFO If a role is typed by a classifier other than Class, the name compartment of the part box symbol contains the appropriate keyword (e.g., «component») above the name. Unified Modeling Language 2.5.1 role, Property, Class, Classifier, «keyword», Stereotype, Component, «component» secondary stereotype, UML, MagicDraw UML
INFO If a token is offered to multiple ActivityNodes at the same time, it shall be accepted by at most one of them, but exactly which one is not completely determined by the Activity flow semantics. Unified Modeling Language 2.5.1 ActivityEdge, ActivityNode::outgoing, ActivityNode, token
If an accept signal action has isUnmarshall=false, then it must have a single result OutputPin on which the Signal instance associated with an accepted SignalEvent occurrence is placed. Unified Modeling Language 2.5.1 AcceptEventAction, accept signal action, AcceptEventAction::isUnmarshall, OutputPin, Trigger, SignalEvent, Signal
RULE If an AcceptEventAction is used in an Activity, there are special rules for when it is enabled .. Unified Modeling Language 2.5.1 AcceptEventAction, Activity
SEMANTIC If an Activity has more than one InitialNode, then invoking the Activity starts multiple concurrent control flows, one for each InitialNode. (Additional concurrent flows may begin at input ActivityParameterNodes and enabled ExecutableNodes ... Unified Modeling Language 2.5.1 Activity, InitialNode, ControlNode, ActivityParameterNode, ExecutableNode
INFO If an input Parameter is streaming, then argument values may be provided for the Parameter during the course of a Behavior execution rather than just at invocation. Unified Modeling Language 2.5.1 Behavior, Parameter::isStreaming, Parameter, execution, ParameterDirectionKind::in
INFO If an output Parameter is streaming, then a Behavior execution may provide result values for the Parameter during its course rather than just at completion. Unified Modeling Language 2.5.1 Behavior, Parameter::isStreaming, Parameter, execution, ParameterDirectionKind::out
INFO If an output-argument does not have an explicit assignment-target specified, it is considered to have an unknown assignment target. In this case, it is required to include a value-specification, which denotes the returned value for the argument. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification
CONSTRAINT If any of the incoming edges of a JoinNode are ObjectFlows, the outgoing edge shall be an ObjectFlow. Otherwise the outgoing edge shall be a ControlFlow. Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, JoinNode, ActivityNode::outgoing, ActivityNode::incoming, ActivityEdge
INFO, NOTATION If any of the properties named in the path name string identifies a reference property, the property box is shown with a dashed-outline box, just as for any reference property on an internal block diagram. OMG Systems Modeling Language (SysML) 1.6 Property multi-level property path, pathname dot notation, reference property, MD:ReferenceProperty, MD:SharedProperty, shared property
INFO If isControlType=true for an ObjectNode, ControlFlows may be incoming to and outgoing from the ObjectNode, objects tokens can come into or go out of the ObjectNode along ControlFlows, and these tokens can flow along ControlFlows reached downstream ... Semantics of a Foundational Subset for Executable UML Models 1.4 ObjectNode, ObjectNode::isControlType, ControlFlow, token, object token
SEMANTIC If isReplaceAll is false and the StructuralFeature is unordered and unique, then adding a value that is already contained in the StructuralFeature has no effect. Unified Modeling Language 2.5.1 StructuralFeature, AddStructuralFeatureValueAction, StructuralFeatureAction, AddStructuralFeatureValueAction::isReplaceAll
RULE If isReplaceAll is true ... The StructuralFeature always has a single value when the Action completes, even if the lower multiplicity of the StructuralFeature is greater than 1. Unified Modeling Language 2.5.1 StructuralFeature, AddStructuralFeatureValueAction, StructuralFeatureAction, AddStructuralFeatureValueAction::isReplaceAll, Action
RULE If isReplaceAll is true, then the existing values of the StructuralFeature are removed before the new value is added, except if the StructuralFeature already contains the new value, in which case it is not removed under this option. Unified Modeling Language 2.5.1 StructuralFeature, AddStructuralFeatureValueAction, StructuralFeatureAction, AddStructuralFeatureValueAction::isReplaceAll
If it has isUnmarshall=true, then it must have result OutputPins corresponding to each of the attributes of the Signal of the SignalEvent (in order), and the attribute values of the Signal instance associated with an accepted SignalEvent occurrence ... Unified Modeling Language 2.5.1 AcceptEventAction, accept signal action, AcceptEventAction::isUnmarshall, OutputPin, Trigger, SignalEvent, Signal, Classifier::attribute
SEMANTIC If it has two incoming edges, then one shall be identified as the decisionInputFlow, the other being called the primary incoming edge. If the DecisionNode has only one incoming edge, then it is the primary incoming edge. Unified Modeling Language 2.5.1 DecisionNode, ControlNode, ActivityEdge, ActivityNode::incoming, primary incoming edge, DecisionNode::decisionInputFlow
INFO If onPort is given, then the Port shall be an owned or inherited feature of the type of the target InputPin of the Action. Unified Modeling Language 2.5.1 InvocationAction::onPort, SendSignalAction, SendSignalAction::target
SEMANTIC If the AcceptEventAction has no incoming edges, by the usual rules, it is enabled when its immediately containing Activity (or StructuredActivityNode) begins execution. Unified Modeling Language 2.5.1 AcceptEventAction, Activity
INFO If the Action is an invocation of a Behavior with streaming Parameters ... the Action execution may consume additional data supplied to InputPins corresponding to streaming input Parameters ... Otherwise ... any additional data on InputPins has no effect Unified Modeling Language 2.5.1 Activity, Activity Diagram, Action, execution, InputPin, Action::/input, Parameter::isStreaming
INFO If the composite State has an exit Behavior defined, it is executed after any effect Behavior of the incoming inside Transition and before any effect Behavior of the outgoing external Transition. Unified Modeling Language 2.5.1 State, StateMachine, Transition, PseudostateKind, PseudostateKind::exitPoint, Vertex, TransitionKind::external
INFO If the composite State is also an orthogonal State with multiple Regions, each of its Regions is also entered, either by default or explicitly. Unified Modeling Language 2.5.1 State, StateMachine, Transition, composite State, orthogonal Region, State::/isOrthogonal, Region
INFO If the DecisionNode does not have a decisionInput, then the value contained in the object token on the decisionInputFlow is made available to the guards on each outgoing edge, regardless of whether the primary incoming flow is a ControlFlow or an ObjectFl Unified Modeling Language 2.5.1 DecisionNode, DecisionNode::decisionInput, DecisionNode::decisionInputFlow UML, Unified Modeling Language
INFO If the exit occurs through an exitPoint Pseudostate, then the exit Behavior of the State is executed after the effect Behavior of the Transition terminating on the exit point. Unified Modeling Language 2.5.1 State, StateMachine, Behavior, State::exit, composite State, State::/isComposite, PseudostateKind::exitPoint, Transition, Transition::effect
INFO If the general ports had both behaviors and internal binding connectors, then both specializations would be invalid. OMG Systems Modeling Language (SysML) 1.6 Port FullPort, "standard" Port, ProxyPort
INFO If the identity of a reply Message is obvious (e.g., when its sendEvent is the only reply within the extent of an ExecutionOccurence where there is only one receipt of an Operation call message), the label may be omitted to simplify the diagram. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ExecutionOccurence, Operation
CAVEAT If the incoming edge is a ControlFlow, then all outgoing edges shall be ControlFlows and, if the incoming edge is an ObjectFlow, then all outgoing edges shall be ObjectFlows. Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, ForkNode, ActivityNode::incoming, ActivityNode::outgoing, ControlFlow, ObjectFlow
SEMANTIC If the input object is an instantiated Behavior that is not already executing, then it begins executing. If the input object has a classifierBehavior that is not already executing, then it is instantiated and started. In either case ... Unified Modeling Language 2.5.1 Action, InvocationAction, CallAction, Behavior, CallBehaviorAction, StartObjectBehaviorAction::object, BehavioredClassifier::classifierBehavior, InputPin
CONSTRAINT If the insertAt InputPin is present, it has type UnlimitedNatural and multiplicity 1..1 Unified Modeling Language 2.5.1 StructuralFeature, AddStructuralFeatureValueAction, StructuralFeatureAction, AddStructuralFeatureValueAction::insertAt, UnlimitedNatural, multiplicity
CONSTRAINT If the joinSpec ValueSpecification is given by a textual expression, then the names of the incoming edges may be used to denote ... the value associated with an object token offered from an ObjectFlow (if any). Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, JoinNode, ActivityNode::incoming, ActivityEdge, JoinNode::joinSpec, Boolean, ValueSpecification
CONSTRAINT If the joinSpec ValueSpecification is given by a textual expression, then the names of the incoming edges may be used to denote a Boolean value indicating the presence (true) or absence (false) of an offer from a ControlFlow ... Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, JoinNode, ActivityNode::incoming, ActivityEdge, JoinNode::joinSpec, Boolean, ValueSpecification
INFO If the medium surrounding the optical system has a refractive index of 1 (e.g., air or vacuum), then the distance from the principal planes to their corresponding focal points is just the focal length of the system. Wikipedia optics, principal plane, optic axis, focal point, focal length
INFO If the Message has a signature that is an Operation with a return parameter, then this assignment-target and/or value-specification corresponds to the argument for that parameter (if no assignment-target is given, it is considered to be unknown). Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification, Operation, ParameterDirectionKind::return, Parameter
INFO If the Message has a signature without a return parameter, then no assignment-target or value-specification may be given for the reply-message-label as a whole. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ValueSpecification, Operation, ParameterDirectionKind::return, Parameter
INFO If the Message has a signature, this will be the name of the Operation referenced by the signature (which should be the Operation for whose call this is a reply). Otherwise the name is unconstrained. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, Message::signature, Operation
INFO If the number of tokens already held by the ObjectNode is greater than or equal to the evaluated upperBound, then the ObjectNode shall not accept any further tokens until some of the ones it is holding are removed. Unified Modeling Language 2.5.1 Activity, ObjectNode, token, object token, ObjectNode::upperBound, ValueSpecification, UnlimitedNatural
CONSTRAINT If the outgoing edge of a MergeNode is a ControlFlow, then all incoming edges must be ControlFlows, and, if the outgoing edge is an ObjectFlow, then all incoming edges must be ObjectFlows. Unified Modeling Language 2.5.1 Activity, Activity Diagram, ControlNode, MergeNode, ActivityNode::outgoing, ActivityNode::incoming, ControlFlow, ObjectFlow
CONSTRAINT If the primary incoming edge of a DecisionNode is a ControlFlow, then all outgoing edges shall be ControlFlows and, if the primary incoming edge is an ObjectFlow, then all outgoing edges shall be ObjectFlows. Unified Modeling Language 2.5.1 DecisionNode, ControlNode, ActivityEdge, ActivityNode::incoming, primary incoming edge, ControlFlow, ObjectFlow
INFO If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties shall refer to the same block instance. OMG Systems Modeling Language (SysML) 1.6 Connector, Property, instance BindingConnector, Block, block property
INFO If the properties at the ends of a binding connector are typed by a ValueType, the connector specifies that the instances of the properties shall hold equal values, recursively through any nested properties within the connected properties. OMG Systems Modeling Language (SysML) 1.6 Connector, Property BindingConnector, ValueType, value property
INFO, NOTATION If the property has no name, the property’s type name can be used instead. e.g., car:Engine:Cylinder:Piston.length car.e.c.p.length OMG Systems Modeling Language (SysML) 1.6 Property, Type, NamedElement::name multi-level property path, pathname dot notation anonymous
INFO If the removal of one or more tokens brings the number of tokens held below the evaluated upperBound, then the ObjectNode may accept any pending offers up to the limit of the upperBound. Unified Modeling Language 2.5.1 Activity, ObjectNode, token, object token, ObjectNode::upperBound, ValueSpecification, UnlimitedNatural
INFO If the reply Message has a signature, then wildcard arguments are provided for all return, out and inout ownedParameters of the signature Operation. Unified Modeling Language 2.5.1 reply-message-label, Message, Message::messageSort, MessageSort, MessageSort::reply, ExecutionOccurence, Operation, Behavior::ownedParameter
INFO If the State has a doActivity Behavior that is still executing when the State is exited, that Behavior is aborted before the exit Behavior commences execution. Unified Modeling Language 2.5.1 State, StateMachine, Behavior, State::exit, State::doActivity
SEMANTIC If the StructuralFeature is an Association end, the semantics are the same as for a CreateLinkAction ..., where the participants in the link are the object being acted on and the new value. Unified Modeling Language 2.5.1 StructuralFeature, AddStructuralFeatureValueAction, StructuralFeatureAction, InputPin, CreateLinkAction, Association::ownedEnd, Association::navigableOwnedEnd, Association::memberEnd, Property::owningAssociation, Property::association
INFO If the Transition explicitly enters one or more Regions (in case of a fork), these Regions are entered explicitly and the others by default. Unified Modeling Language 2.5.1 State, StateMachine, Transition, composite State, orthogonal Region, State::/isOrthogonal, Region, default entry rule, PseudostateKind::fork
INFO If the Transition terminates on the edge of the composite State (i.e., without entering the State), then all the Regions are entered using the default entry rule above. Unified Modeling Language 2.5.1 State, StateMachine, Transition, composite State, orthogonal Region, State::/isOrthogonal, Region, default entry rule
SEMANTIC If the Trigger on the AcceptEventAction is chosen, then it completes and produces output on any result OutputPins. Unified Modeling Language 2.5.1 Action, AcceptEventAction, Trigger, OutputPin, AcceptEventAction::result