Software Disclaimer

Class UML 2.3::GeneralOrdering

Description:

A general ordering represents a binary relation between two occurrence specifications, to describe that one occurrence specification must occur before the other in a valid trace. This mechanism provides the ability to define partial orders of occurrence cpecifications that may otherwise not have a specified order.

Direct Superclasses: NamedElement

Direct Subclasses:

Class Precedence List: GeneralOrdering, NamedElement, Element

Properties:

after : OccurrenceSpecification (1 1); -- source GeneralOrdering
before : OccurrenceSpecification (1 1); -- source GeneralOrdering
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: irreflexsive_transitive_closure() : Boolean;
Description: An occurrence specification must not be ordered relative to itself through a series of general orderings. (In other words, the transitive closure of the general orderings is irreflexive.)
Expression: start.lifeline = finish.lifeline

Operations:

No additional operations.



Send questions or comments to [email protected].