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

Indicates the dependencies that reference the client.
Opposite: Dependency.client

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

Determines where the NamedElement appears within different Namespaces within the overall model, and its accessibility.

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