Class UML 2.4.1::Lifeline

Description:

A lifeline represents an individual participant in the interaction. While parts and structural features may have multiplicity greater than 1, lifelines represent only one interacting entity.

Direct Superclasses: NamedElement

Direct Subclasses:

Class Precedence List: Lifeline, NamedElement, Element

Properties:

coveredBy : InteractionFragment (0 *); -- source Lifeline
decomposedAs : PartDecomposition (0 1); -- source Lifeline
interaction : Interaction (1 1); -- source Lifeline
represents : ConnectableElement (0 1); -- source Lifeline
selector : ValueSpecification (0 1); -- source Lifeline

If the referenced ConnectableElement is multivalued, then this specifies the specific individual part within that set.
{composite}
Subsets: Element.ownedElement

clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
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: selector_specified() : Boolean;
Description: The selector for a Lifeline must only be specified if the referenced Part is multivalued.
Expression: (self.selector->isEmpty() implies not self.represents.isMultivalued()) or (not self.selector->isEmpty() implies self.represents.isMultivalued())

Signature: same_classifier() : Boolean;
Description: The classifier containing the referenced ConnectableElement must be the same classifier, or an ancestor, of the classifier that contains the interaction enclosing this lifeline.
The OCL used here is not normative.
Editor's notes: Added endif, else false endif, removed a close paren.
Expression: if (represents->notEmpty()) then if selector->notEmpty() then represents.isMultivalued() else not represents.isMultivalued() endif else false endif
Original: if (represents->notEmpty()) then (if selector->notEmpty() then represents.isMultivalued() else not represents.isMultivalued())

Signature: interaction_uses_share_lifeline() : Boolean;
Description: If two (or more) InteractionUses within one Interaction, refer to Interactions with 'common Lifelines,' those Lifelines must also appear in the Interaction with the InteractionUses. By common Lifelines we mean Lifelines with the same selector and represents associations.
Expression: true

Operations:

No additional operations.

---

Send questions or comments to [email protected].