What is the exact meaning of a strict fragment?
In a recent question I stumbled over this example:
The UML 2.5 spec says on p. 617:
The InteractionOperatorKind 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.
Well, that leaves me with question marks. What would be the difference in the above if you don't have the fragment and only the messages? They would appear in this (strict) order anyway. Right? Or is it like: do the first, if that fails the 2nd and if that fails the 3rd? Probably not! But what is it then?
Since there are no reply messages modeled, it is not specified, whether the sender waits for them, before sending the next message. Without the strict operator it would therefore be possible that the reception of search_google() is after the execution in reaction to search_yahoo(). With the operator, the occurrences in each operand will all occur before the occurences in the next operand.
The example would be less confusing, had they used asynchroneous messages.
Of course the question is, how is it ensured that only the trace defined by the strict operator can happen. In the case of asynchroneous messages the sender has no way of knowing, whether search_google() finished executing. I think other traces are possible, but the current diagram describes what happens after the combined fragment, if the strict ordering is observed.
The sentence on "Occurrence Specifications within contained CombinedFragment" refers to nested CombinedFragments:
The nested CombinedFragment opt doesn't obey the strict operator. Therefore, m1 can happen before or after m3. I don't have a good example where this is useful, but it's how the specification defines it.
- Implicit and explicit conversion of pointers to const objects in C
- asctime - day of month zero or space padded?
- If an enum declared in a namespace is defined outside the namespace, are its enumeration values externally visible?
- Copying virtual base class results in losing shared_ptr owned object
- How does C++23 happens before apply to std::memory_order_seq_cst?
- Are repeated declarations of a template with a type-template-parameter defaulted to a closure type a violation of ODR?
- Modifying a global variable in a constexpr function in C++17
- Which part of the C++ standard forbids destroying an object twice?
- Does the C++ standard forbid reusing storage without destroying?
- Is it well defined to cast generic function pointers to specifc signatures with void* params pointing to different types
- Why is a double semicolon a SyntaxError in Python?
- Can atomic loads be merged in the C++ memory model?
- Which sort of UB do I have here, deleting array of operator new[]?
- Is shifting 0 to the left considered undefined behavior in C?
- How to determine whether the following switch block is exhaustive?
- Definite matching in Java pattern matching
- Implicitly changing the active union member between two members of the same primitive type
- C++ Aliasing a type with the same name
- Does calling a dependent function that has not been yet declared at the point of template definition cause the program to be IFNDR?
- Does C++11 allow dollar signs in identifiers?
- What are the prohibitions against certain kinds of aliasing through unions?
- Does calling non-const mem. fun. on const object via non-const ref obtained via const_cast invoke UB only if the fun actually modifies the object?
- Common initial sequence with nested struct
- Is there a way to assert something about an argument to a consteval function, with a meaningful error message on failure
- C++14 constexpr function requirements on cppreference
- Error when binding a constexpr reference to variable of different type
- Is there inlinable function for pow2?
- Can & (address-of-operator) ever return nullptr?
- C++17 Are non-static POD class members initialized with curly braces {} set to 0?
- Why can’t I use a unary operator in a chained assignment, but only in separate assignment statements?