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 In particle physics, a baryon is a type of composite subatomic particle which contains an odd number of valence quarks (at least 3). Wikipedia
INFO, NOTATION In other words, the internal property shown with a path name in the left-hand side of Figure 8-1 is equivalent to the innermost nested box shown at the right. OMG Systems Modeling Language (SysML) 1.6 Property multi-level property path, pathname dot notation, nested Property
INFO In order to understand one specific class of connector semantics, it is first necessary to understand a bit more about acausal formulations of physical systems. An acausal approach to physical modeling identifies two distinct classes of variables. Modelica By Example Modelica, acausal connection
INFO In optics, the f-number of an optical system such as a camera lens is the ratio of the system's focal length to the diameter of the entrance pupil ("clear aperture"). It is also known as the focal ratio, f-ratio, or f-stop Wikipedia optics, f-number, f-ratio, f-stop, focal length
INFO In optics, an image is defined as the collection of focus points of light rays coming from an object. Wikipedia optics, image, light ray, focus point
INFO In optical engineering, the objective is the optical element that gathers light from the object being observed and focuses the light rays to produce a real image. Wikipedia optical astronomy, optics, objective, light, light ray
INFO In nonideal fluid dynamics, the Hagen–Poiseuille equation ... is a physical law that gives the pressure drop in an incompressible and Newtonian fluid in laminar flow flowing through a long cylindrical pipe of constant cross section. Wikipedia Hagen–Poiseuille equation, fluid flow, hydraulics
INFO In modern physics, antimatter is defined as matter which is composed of the antiparticles (or "partners") of the corresponding particles of 'ordinary' matter. Wikipedia
INFO In many English-speaking countries, however, the most common shape of a handwritten Arabic digit 1 is just a vertical stroke; that is, it lacks the upstroke added in many other cultures. Wikipedia litre, units, scientific unit system, volume, SI unit, SI alternative unit, ISO-80000
INFO In geometrical optics, a focus, also called an image point, is the point where light rays originating from a point on the object converge. Wikipedia optics, image, light ray, focus point, focus, image point
INFO In general, a ValueSpecification is a model element that is considered semantically to yield zero or more values. Unified Modeling Language 2.5.1 ValueSpecification
INFO In general, a StateMachine can have multiple Regions, each of which may contain States of its own, some of which may be composites with their own multiple Regions, etc. Unified Modeling Language 2.5.1 State, StateMachine, Region, composite State, State::/isComposite
INFO In Figure 9-17, the item flow classifier (Engine) composes the classifiers of the items flows in the decomposition from Figure 9-17. OMG Systems Modeling Language (SysML) 1.6 Connector, InformationFlow::conveyed ItemFlow, AssociationBlock
INFO In Figure 9-16, the item flow classifier (EnginePart) is a supertype of the classifiers of the item flows in the decomposition. OMG Systems Modeling Language (SysML) 1.6 Connector, InformationFlow::conveyed ItemFlow, AssociationBlock
INFO In Figure 50, amplifiers, low-pass filters, and high-pass filters, each have an input and an output. Since they are similar in this sense, a generalized TwoPinSignalComponent component has an input u and an output y. SysPhS-1.1 SysPhS, signal processing, amplifier, high-pass filter, low-pass filter
INFO In either case, users of a block are only concerned with the features of its ports, regardless of whether the features are surfaced by proxy ports, or handled by full ports directly. OMG Systems Modeling Language (SysML) 1.6 Port FullPort, "standard" Port, ProxyPort
INFO In effect, the latter is a continuation of the external incoming Transition, with the proviso that the execution of the entry Behavior of the composite State (if defined) occurs between the effect Behavior of the incoming Transition and the effect ... Unified Modeling Language 2.5.1 State, StateMachine, Transition, PseudostateKind, PseudostateKind::entryPoint, Vertex, Transition::source, Transition::effect, Behavior
CONSTRAINT In each Region of the StateMachine or composite State owning the entryPoint, there is at most a single Transition from the entry point to a Vertex within that Region. Unified Modeling Language 2.5.1 State, Pseudostate, PseudostateKind::entryPoint, StateMachine, composite State, Vertex, Transition, Region
INFO In diagrams of optical systems, virtual rays are conventionally represented by dotted lines. Wikipedia optics, image, light ray, focus point, real image, virtual image
INFO In contrast to traditional digital models, digital twins can connect with the physical ‘twin’ they model, changing alongside the physical system via real-time sensors and actuators. ANZLIC 2019 - Principles for Spatially Enabled Digital Twins of the Built and Natural Environment in Australia digital twin, Digital Twin Instance, sensor, actuator, control loop, ANZLIC-2019
INFO In contrast to Associations, which specify links between any suitably-typed instance of the associated Classifiers, Connectors specify links between instances playing the connected roles only. Unified Modeling Language 2.5.1 Connector, instance, StructuredClassifier, roles, Association
INFO In contrast to Associations, which specify links between any instance of the associated Classifiers, Connectors specify links between instances playing the connected parts only. Unified Modeling Language 2.5.1 Connector, instance, link, Association, Classifier
INFO In chemistry and in various industries, the reference pressure referred to in standard temperature and pressure (STP) was commonly 1 atm (101.325 kPa) but standards have since diverged; Wikipedia standard atmosphere, standard temperature pressure, 1 atm
NOTATION In cases where the metaclass of a subject is ambiguous, the keyword . corresponding to the notation for the metaclass of Classifier (see 9.2.4) shall be shown in guillemets above the name. Unified Modeling Language 2.5.1 UseCase, UseCase Diagram, UseCase::subject, Classifier, «keyword», Stereotype, guillemets, metaclass
INFO In cases where a Transition terminates on a history Pseudostate when the State has not been entered before (i.e., no prior history) or it had reached its FinalState, there is an option to force a transition to a specific substate, using the default ... Unified Modeling Language 2.5.1 State, StateMachine, Vertex, Pseudostate, history, PseudostateKind::deepHistory, PseudostateKind::shallowHistory, default history mechanism
INFO In case of simple States, a completion event is generated when the associated entry and doActivity Behaviors have completed executing. If no such Behaviors are defined, the completion event is generated upon entry into the State. Unified Modeling Language 2.5.1 StateMachine, State, completion, completion transition, implicit trigger, Transition, Trigger, completion event, Trigger::event, State::entry, State::doActivity
EXAMPLE, INFO In an instance of Operating Car, which is one execution of it, instances of Brake Pressure and Modulation Frequency are linked to the execution instance when they are in the object nodes of the activity. OMG Systems Modeling Language (SysML) 1.6 AggregationKind::composite, Association, Activity, ObjectNode «activity», SysML specification figure, AdjunctProperty
INFO In an imperfect lens L, all the rays do not pass through a focal point. The smallest circle that they pass through C is called the circle of least confusion. Wikipedia optics, lens, circle of confusion, blur circle
INFO In addition, behavior allocation may also include the allocation of Behaviors to BehavioralFeatures of Blocks (e.g., Operations). OMG Systems Modeling Language (SysML) 1.6 Behavior, BehavioralFeature, Operation Allocate, allocation, «allocate», Block functional allocation
INFO In addition, a State may also have an associated exit Behavior, which, if defined, is executed whenever the State is exited. Unified Modeling Language 2.5.1 State, StateMachine, Behavior, State::exit
INFO In addition to identifying keywords, guillemets are also used to distinguish the usage of stereotypes. Unified Modeling Language 2.5.1 «keyword», Stereotype, guillemets UML, MagicDraw UML
INFO In a well-formed model, such a Transition should have a corresponding external Transition outgoing from the same exit point, representing a continuation of the terminating Transition. Unified Modeling Language 2.5.1 State, StateMachine, Transition, PseudostateKind, PseudostateKind::exitPoint, Vertex, TransitionKind::external
INFO In a SysML block with constraint properties, the constraints correspond to the same equations in Modelica ... except the SysML parameters in those equations correspond in Modelica to the properties they are bound to in SysML SysPhS-1.1 Constraint ConstraintBlock, constraint parameter, constraint property SysPhS, SysML, Systems Modeling Language, Modelica
INFO In a SysML block with constraint properties, the constraints correspond to the same equations in Modelica ... except the SysML parameters in those constraints correspond in Modelica to the properties they are bound to in SysML. SysPhS-1.1 Constraint ConstraintBlock, constraint parameter, BindingConnector SysPhS, Modelica, SysML, Systems Modeling Language
INFO In a prime focus design no secondary optics are used, the image is accessed at the focal point of the primary mirror. Wikipedia reflecting telescope, reflector, optical telescope, telescope, primary mirror, prime focus reflector
INFO In 1982, the International Union of Pure and Applied Chemistry (IUPAC) recommended that for the purposes of specifying the physical properties of substances, standard pressure should be precisely 100 kPa (1 bar). Wikipedia standard atmosphere, standard temperature pressure, 1 bar
INFO If we had chosen velocity (the derivative of position with respect to time), then we would have been in the awkward situation of trying to describe the behavior of a spring in terms of velocities, not positions. Modelica By Example Modelica, acausal connection
INFO If two quarks have unaligned spins, the spin vectors add up to make a vector of length S = 0 and has only one spin projection (Sz = 0), etc. Wikipedia
INFO If there is no outgoing Transition inside the composite State, then the incoming Transition simply performs a default State entry. Unified Modeling Language 2.5.1 State, StateMachine, Transition, PseudostateKind, PseudostateKind::entryPoint, default entry rule, default State entry
INFO If there is a defaultValue specified for a Property, this default is evaluated when an instance of the Property is created in the absence of a specific setting for the Property or a constraint in the model that requires the Property to have a specific val Unified Modeling Language 2.5.1 Property, Property::defaultValue UML, Unified Modeling Language
INFO If the upperBound evaluates to *, then there is no limit on the number of tokens the ObjectNode may hold. Unified Modeling Language 2.5.1 Activity, ObjectNode, token, object token, ObjectNode::upperBound, ValueSpecification, UnlimitedNatural, *
CONSTRAINT If the triggers of an AcceptEventAction are all for ChangeEvents and/or CallEvents, then the AcceptEventAction has no result OutputPins (unless the AcceptEventAction is an AcceptCallAction ...) Unified Modeling Language 2.5.1 AcceptEventAction, ChangeEvent, CallEvent, Trigger, OutputPin, AcceptCallAction
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
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
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
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 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
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 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, 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 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 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
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
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
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
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 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 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 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
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
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 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
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
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
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
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 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 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 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 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 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
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 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 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
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
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
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
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
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
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
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 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
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 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
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
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
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
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
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 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 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 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 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 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
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 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
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 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
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