Abstract Class UML 2.3::ExecutionSpecification
Description:
An execution specification is a specification of the execution of a unit
of behavior or action within the lifeline. The duration of an execution
specification is represented by two cccurrence specifications, the start
occurrence specification and the finish occurrence specification.
Direct Superclasses: InteractionFragmentDirect Subclasses: BehaviorExecutionSpecification,
ActionExecutionSpecificationClass Precedence List: ExecutionSpecification,
InteractionFragment,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
finish :
OccurrenceSpecification (1 1); -- source
ExecutionSpecification![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
start :
OccurrenceSpecification (1 1); -- source
ExecutionSpecification![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
covered :
Lifeline (0 *); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
enclosingInteraction :
Interaction (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
enclosingOperand :
InteractionOperand (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
generalOrdering :
GeneralOrdering (0 *); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=105658%3A381B5481098AB46A2AE2D98CFE8BCC0C)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: same_lifeline() : Boolean;
Description: The startEvent and the finishEvent must be on the same Lifeline
Expression: start.lifeline = finish.lifeline
Operations:
No additional operations.
Send questions or comments to
[email protected].