inciples.modelling.modelling-schema.2.0.10.source-code.Fragements.xsd Maven / Gradle / Ivy
Specifies the operation which defines the semantics of this combination of InteractionFragments.
The set of operands of the combined fragment.
Specifies the gates that form the interface between this CombinedFragment and its surroundings
The set of messages that apply to this fragment
True: when the Continuation is at the end of the enclosing InteractionFragment and False when it is in the beginning.
Specifies the gates that form the message interface between this Interaction and any InteractionUses which reference it.
The minimum number of iterations of a loop
The maximum number of iterations of a loop
The name of the NamedElement.
A name which allows the NamedElement to be identified within a hierarchy of nested Namespaces. It is constructed from the names of the containing namespaces starting at the root of the hierarchy and ending with the name of the NamedElement itself.
Determines where the NamedElement appears within different Namespaces within the overall model, and its accessibility.
Constraint of the operand.
The fragments of the operand.
The value of the executed Interaction.
The recipient of the return value.
Refers to the Interaction that defines its meaning
The actual arguments of the Interaction
The actual gates of the InteractionUse
References the Interaction that represents the decomposition.
The interactionOperator seq designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.
The interactionOperator alt designates that the CombinedFragment represents a choice of behavior. At most one of the operands will be chosen. The chosen operand must have an explicit or implicit guard expression that evaluates to true at this point in the interaction. An implicit true guard is implied if the operand has no guard.
The interactionOperator opt designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens. An option is semantically equivalent to an alternative CombinedFragment where there is one operand with non-empty content and the second operand is empty.
The interactionOperator break designates that the CombinedFragment represents a breaking scenario in the sense that the operand is a scenario that is performed instead of the remainder of the enclosing InteractionFragment. A break operator with a guard is chosen when the guard is true and the rest of the enclosing Interaction Fragment is ignored. When the guard of the break operand is false, the break operand is ignored and the rest of the enclosing InteractionFragment is chosen. The choice between a break operand without a guard and the rest of the enclosing InteractionFragment is done non-deterministically.
The interactionOperator par designates that the CombinedFragment represents a parallel merge between the behaviors of the operands. The OccurrenceSpecifications of the different operands can be interleaved in any way as long as the ordering imposed by each operand as such is preserved.
The interactionOperator strict designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands. The semantics of strict sequencing defines a strict ordering of the operands on the first level within the CombinedFragment with interactionOperator strict. Therefore OccurrenceSpecifications within contained CombinedFragment will not directly be compared with other OccurrenceSpecifications of the enclosing CombinedFragment.
The interactionOperator loop designates that the CombinedFragment represents a loop. The loop operand will be repeated a number of times.
The interactionOperator critical designates that the CombinedFragment represents a critical region. A critical region means that the traces of the region cannot be interleaved by other OccurrenceSpecifications (on those Lifelines covered by the region). This means that the region is treated atomically by the enclosing fragment when determining the set of valid traces. Even though enclosing CombinedFragments may imply that some OccurrenceSpecifications may interleave into the region, such as e.g. with par-operator, this is prevented by defining a region.
The interactionOperator neg designates that the CombinedFragment represents traces that are defined to be invalid.
The interactionOperator assert designates that the CombinedFragment represents an assertion. The sequences of the operand of the assertion are the only valid continuations. All other continuations result in an invalid trace.
The interacionOperator 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.
The interactionOperator consider designates which messages should be considered within this combined fragment. This is equivalent to defining every other message to be ignored.
© 2015 - 2025 Weber Informatics LLC | Privacy Policy