Software Disclaimer

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

The Elements owned by this element.
{composite, readonly}
Derived union with sources: (ownedComment, nameExpression, selector)
Opposite: Element.owner

owner : Element (0 1); -- source Element

The Element that owns this element.
{readonly}
Derived union with sources: (namespace, interaction)
Opposite: Element.ownedElement

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 xmi-interop@omg.org.