Rules

• Name: The value can be anything.

  The name of the item.

• Keywords: The value can be anything.

  A keyword is a lightweight variant of a stereotype to extend the semantics of a model element. As opposite of stereotypes, keywords does not have do be defined in a profile.

  If several keywords are given, they should be separated by commas.

• Stereotypes: The value can be anything.

  A stereotype defines how a model element may be extended, and enables the use of platform or domain specific terminology or notation in place of, or in addition to, the ones used for the extended metaclass.

  Stereotypes should be given in the format 'profile::stererotype'. Stereotypes should be separated by commas.

• Documentation: The value can be anything.

  A textual description of the element.

• Visibility: The value shall be a valid literal from the enumeration Visibility Kind.

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

• Interaction Operator: The value shall be a valid literal from the enumeration InteractionOperatorKind.

  Specifies the operation which defines the semantics of this combination of InteractionFragments.

  alt - represents a choice of behavior. At most one of the

  operands will be chosen.

  assert - designates that the CombinedFragment represents an assertion.

  break - represents a breaking scenario in the sense that

  the operand is a scenario that is performed instead of the remainder of the enclosing InteractionFragment.

  critical - represents a critical region.

  ignore - designates that there are some message types that are not shown within this combined

  fragment. These message types can be considered insignificant and are implicitly ignored if they appear in a

  corresponding execution. Alternatively, one can understand ignore to mean that the message types that are ignored can

  appear anywhere in the traces.

  loop - represents a loop.

  neg - represents traces that are defined to be invalid.

  opt - represents a choice of behavior where either the

  (sole) operand happens or nothing happens.

  par - represents a parallel merge between the behaviors

  of the operands.

  seq - represents a weak sequencing between the

  behaviors of the operands.

  strict - represents a strict sequencing between the

  behaviors of the operands.

  neg - represents traces that are defined to be invalid.

Interaction (Interaction)

Rules

• At least one Lifeline (Lifeline)

Rules

• Arbitrary number of elements of the following kinds:
  • Abstraction (Abstraction)

    An abstraction is a relationship that relates two elements or sets of elements that represent the same concept at different levels of abstraction or from different viewpoints.

  • Dependency (Dependency)

    A dependency is a relationship that signifies that a single or a set of model elements requires other model elements for their specification or implementation.

    This means that the complete semantics of the depending elements is either semantically or structurally dependent on the definition of the supplier element(s).

  • Information Flow (Information Flow)

    An information flow specifies that one or more information items circulates from its sources to its targets.

    Informationflows require some kind of information channel for transmitting information items from the source to the destination. An information channel is represented in various ways depending on the nature of its sources and targets. It may berepresented by connectors, links, associations, or even dependencies.

    For example, if the source and destination are partsin some composite structure such as a collaboration, then the information channel is likely to be represented by aconnector between them. Or, if the source and target are objects (which are a kind of instance specification), they may berepresented by a link that joins the two, and so on.

  • Realization (Realization)

    Realization is a specialized abstraction relationship between two sets of model elements, one representing a specification (the supplier) and the other represents an implementation of the latter (the client). Realization can be used to model stepwise refinement, optimizations, transformations, templates, model synthesis, framework composition, etc.

  • Substitution (Substitution)

    A substitution is a relationship between two classifiers signifies that the substituting classifier complies with the contract specified by the contract classifier. This implies that instances of the substituting classifier are runtime substitutable where instances of the contract classifier are expected.

  • Usage (Usage)

    A usage is a relationship in which one element requires another element (or set of elements) for its full implementation or operation. A usage is a dependency in which the client requires the presence of the supplier.

• Can be the Target of elements of the following kinds:
  • Abstraction (Abstraction)
  • Dependency (Dependency)
  • Information Flow (Information Flow)
  • Realization (Realization)
  • Substitution (Substitution)
  • Usage (Usage)