FinishNode extends ActivityNode, ExecutionEdgeDestination

Specifies that the current ActivityOperation executed successfully, or the ActivityPredicate must return true.

An ActivityOperation may contain any number of FinishNodes. When the execution flow arrives at a FinishNode, the execution of the operation will finish successfully.

The FinishNode model element is based on the UML FinalNode (activity final) model element.

[FinishNode.html]

Examples

OperationalExample.iaml (source)
- A summary of all of the elements used in Operational Modelling. [OperationalExample]

Inference Rules

(none)

Constraints

(none)

Attributes

(none)

Inherited Attributes

generatedRule : EString (optional)
To assist in debugging, this attribute may be populated with the name of the model completion rule that created this element. More extensive traceability support may be provided in the future.
id : EString (optional)
A unique identifier for this model element. Should be globally unique.
isGenerated : EBoolean (optional)
Set to true if the current element has been generated.

Children

(none)

Inherited Children

(none)

References

(none)

Inherited References

generatedBy : [0...*] GeneratesElements [opposite: generatedElements]
A list of elements that generated this element; conversely, overriding the source will prevent this element from being created.
inExecutions : [0...*] ExecutionEdge [opposite: to]
A list of incoming ExecutionEdges.

Extensions

(none)

Inherited Extensions

safeName(model::GeneratedElement this) [GeneratorExtensions.ext]