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
SEMANTIC junction – This type of Pseudostate is used to connect multiple Transitions into compound paths between States. Unified Modeling Language 2.5.1 Pseudostate, PseudostateKind::junction, Transition
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 An Activity may have more than one InitialNode. Unified Modeling Language 2.5.1 Activity, InitialNode, ControlNode
SEMANTIC An InitialNode is a ControlNode that acts as a starting point for executing an Activity. Unified Modeling Language 2.5.1 Activity, InitialNode, ControlNode
CONSTRAINT The Transitions outgoing from a fork Pseudostate cannot have a guard or a trigger. Unified Modeling Language 2.5.1 Pseudostate, Transition, Transition::guard, Transition::trigger, PseudostateKind::fork
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
SEMANTIC Similar to junction points in Petri nets, join Pseudostates perform a synchronization function, whereby all incoming Transitions have to complete before execution can continue through an outgoing Transition. Unified Modeling Language 2.5.1 Pseudostate, PseudostateKind::join, Transition
CONSTRAINT Transitions terminating on a join Pseudostate cannot have a guard or a trigger. Unified Modeling Language 2.5.1 Pseudostate, PseudostateKind::join, Transition, Transition::guard, Transition::trigger
join – This type of Pseudostate serves as a common target Vertex for two or more Transitions originating from Vertices in different orthogonal Regions. Unified Modeling Language 2.5.1 Pseudostate, PseudostateKind::join, Transition, Region, Vertex
CONSTRAINT There can be at most one initial Vertex in a Region. Unified Modeling Language 2.5.1 PseudostateKind::initial, Region, Vertex
CONSTRAINT initial - ... It is the source for at most one Transition, which may have an associated effect Behavior, but not an associated trigger or guard. Unified Modeling Language 2.5.1 PseudostateKind::initial, Transition, Transition::effect, Transition::guard
SEMANTIC initial - An initial Pseudostate represents a starting point for a Region; that is, it is the point from which execution of its contained behavior commences when the Region is entered via default activation. Unified Modeling Language 2.5.1 PseudostateKind::initial, Region
SEMANTIC 14.2.3.6 FinalState: FinalState is a special kind of State signifying that the enclosing Region has completed. Thus, a Transition to a FinalState represents the completion of the behaviors of the Region containing the FinalState. Unified Modeling Language 2.5.1 FinalState, Transition, Region, enclosing Region, Behavior
SEMANTIC When a Region of the submachine StateMachine reaches the corresponding exit point, the submachine state is exited via this exit point. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, exit point, PseudostateKind::exitPoint, Region
SEMANTIC An exit point connection point reference as the source of a Transition implies that the source of the Transition is the exit point Pseudostate as defined in the submachine of the submachine State that has the exit point connection point defined. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, DirectedRelationship::/target, exit point, PseudostateKind::exitPoint
SEMANTIC An entry point connection point reference as the target of a Transition implies that the target of the Transition is the entryPoint Pseudostate as defined in the submachine of the submachine State. As a result, the Regions of the submachine ... Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, DirectedRelationship::/target, PseudostateKind::entryPoint, Region
SEMANTIC Connection point references are sources/targets of Transitions implying exits out of/entries into the submachine StateMachine referenced by a submachine State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, DirectedRelationship::/source, DirectedRelationship::/target
SEMANTIC Connection point references of a submachine State can be used as sources/targets of Transitions. They represent entries into or exits out of the submachine StateMachine referenced by the submachine State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, DirectedRelationship::/source, DirectedRelationship::/target
SEMANTIC 14.2.3.5 ConnectionPointReference ... a connection point reference represents a usage (as part of a submachine State) of an entry/exit point defined in the StateMachine referenced by the submachine State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, entry point, exit point, ConnectionPointReference
SEMANTIC Exiting via a FinalState or by a group Transition has the same meaning as for ordinary composite States. Unified Modeling Language 2.5.1 State, StateMachine, submachine, group Transition, Transition, composite State
RULE a submachine Statemachine can be exited as a result of: reaching its FinalState; triggering of a group Transition originating from a submachine State, or; via any of its exit points. Unified Modeling Language 2.5.1 State, StateMachine, submachine, FinalState, State::exit, group Transition, exit point
CONSTRAINT Any guards associated with these entry point Transitions must evaluate to true in order for the specification to be well formed. Unified Modeling Language 2.5.1 State, StateMachine, submachine, State::/isComposite, State::/isSubmachineState, State::entry, Transition, Transition::guard, entry point
SEMANTIC An entry point is equivalent to a junction Pseudostate (fork in cases where the composite State is orthogonal): Entering via an entry point implies that the entry Behavior of the composite state is executed, followed by the Transition from the entry ... Unified Modeling Language 2.5.1 State, StateMachine, submachine, Pseudostate, State::/isSubmachineState, PseudostateKind::junction, PseudostateKind::fork, State::entry, Vertex, entry point, composite State
SEMANTIC A submachine StateMachine can be entered via its default (initial) Pseudostate or via any of its entry points (i.e., it may imply entering a non-orthogonal or an orthogonal composite State with Regions). Entering via the initial Pseudostate ... Unified Modeling Language 2.5.1 State, StateMachine, submachine, Pseudostate, Region, PseudostateKind::initial, State::/isComposite, State::/isSubmachineState, composite State, entry point
SEMANTIC NOTE. Each submachine State represents a distinct instantiation of a submachine, even when two or more submachine States reference the same submachine. Unified Modeling Language 2.5.1 State, StateMachine, submachine
SEMANTIC The entry, exit, and effect Behaviors and internal Transitions are defined as contained in the submachine State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, State::entry, State::exit, Transition, Transition::effect
SEMANTIC The Regions of the submachine StateMachine are the Regions of the composite State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, Region, composite State
SEMANTIC A submachine State implies a macro-like insertion of the specification of the corresponding submachine StateMachine. It is, therefore, semantically equivalent to a composite State. Unified Modeling Language 2.5.1 State, StateMachine, submachine, composite State
SEMANTIC Each ConnectionPointReference is matched by a corresponding entry or exit point in the referenced submachine StateMachine. This provides the necessary binding mechanism between the submachine invocation and its specification. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, State::exit, State::entry
SEMANTIC A ConnectionPointReference represents a point on the submachine State at which a Transition either terminates or originates. That is, they serve as targets for incoming Transitions to submachine States, as well as sources for outgoing Transitions ... Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference, Transition, DirectedRelationship::/target, DirectedRelationship::/source
SEMANTIC The concept of ConnectionPointReference is provided to support binding between the submachine State and the referenced StateMachine. Unified Modeling Language 2.5.1 State, StateMachine, submachine, ConnectionPointReference
SEMANTIC Consequently, they require a more complex binding. This is achieved through the concept of submachine State (i.e., States with isSubmachineState = true), which represent references to corresponding submachine StateMachines. Unified Modeling Language 2.5.1 State, StateMachine, submachine, State::/isSubmachineState
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
SEMANTIC Submachines are a means by which a single StateMachine specification can be reused multiple times. They are similar to encapsulated composite States in that they need to bind incoming and outgoing Transitions to their internal Vertices. Unified Modeling Language 2.5.1 State, StateMachine, submachine, Transition, Vertex
NOTATION Receptions are shown in the receptions compartment using the same notation as for Operations with the keyword «signal». Unified Modeling Language 2.5.1 Reception
NOTATION A required Interface may be shown by the socket notation attached to the Port. Unified Modeling Language 2.5.1 Interface, Usage
NOTATION A provided Interface may be shown using the lollipop notation ... attached to the Port. Unified Modeling Language 2.5.1 Interface, InterfaceRealization
SEMANTIC DataTypes model Types whose instances are distinguished only by their value Unified Modeling Language 2.5.1 Type, DataType
SEMANTIC Features represent structural and behavioral characteristics of Classifiers. Unified Modeling Language 2.5.1 Feature, Classifier, StructuralFeature, BehavioralFeature
CAVEAT ValuePin – Value pins are excluded from fUML because they are redundant with using value specifications to specify values. Semantics of a Foundational Subset for Executable UML Models 1.4 ValuePin, ValueSpecification fUML, Foundational UML, execution, simulation
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 Such an AcceptEventAction is terminated when its immediately containing Activity (or StructuredActivityNode) is terminated. Unified Modeling Language 2.5.1 AcceptEventAction, Activity, StructuredActivityNode
SEMANTIC That is, it does not terminate after accepting an Event occurrence and outputting any values (as described above), but continues to wait for another Event occurrence. Unified Modeling Language 2.5.1 AcceptEventAction, Activity
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
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
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
CONSTRAINT 7.10.2.2 ActivityEdge [1] fuml_activity_edge_allowed_guards A guard is only allowed if the source of the edge is a DecisionNode. Semantics of a Foundational Subset for Executable UML Models 1.4 ActivityEdge, ActivityEdge::guard
CAVEAT Variables are excluded from fUML because the passing of data between actions can be achieved using object flows. Semantics of a Foundational Subset for Executable UML Models 1.4 Variable
CAVEAT The sole mechanism for asynchronous invocation in fUML is via send signal action. This can be used to achieve the effect of broadcasting and sending objects. Semantics of a Foundational Subset for Executable UML Models 1.4 BroadcastSignalAction, SendObjectAction, SendSignalAction fUML
CONSTRAINT NOTE. Operation referenced in the CallEvent of an AcceptCallAction should not have an associated method Behavior. Otherwise, a call to the Operation will have the immediate effect of executing the method and will not be placed into the event pool ... Unified Modeling Language 2.5.1 AcceptCallAction, Operation, CallEvent, Behavior