Software Disclaimer

Abstract Class UML 2.4.1::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: InteractionFragment

Direct Subclasses: BehaviorExecutionSpecification, ActionExecutionSpecification

Class Precedence List: ExecutionSpecification, InteractionFragment, NamedElement, Element

Properties:

finish : OccurrenceSpecification (1 1); -- source ExecutionSpecification
start : OccurrenceSpecification (1 1); -- source ExecutionSpecification
covered : Lifeline (0 *); -- source InteractionFragment
enclosingInteraction : Interaction (0 1); -- source InteractionFragment
enclosingOperand : InteractionOperand (0 1); -- source InteractionFragment
generalOrdering : GeneralOrdering (0 *); -- source InteractionFragment
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement

Specifies the namespace that owns the NamedElement.
{readonly}
Derived union with sources: (enclosingOperand, enclosingInteraction)
Subsets: Element.owner
Opposite: Namespace.ownedMember

qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

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].