1. We assume that we are given a set of observations, each observation being an arbitrary linearization of an MSC from a set of MSCs that is not given. There is one observation without any repetitive sub-functions. This observation is called the initial observation; it will be the shortest of all the provided observations and every other observation will be made of that initial observation plus a number of iterations of a number of repetitive sub-functions.
2. We assume that an observation corresponds to a complete execution of a single function, and the functions are assumed to start from the initial system state, and end back at the initial system state, without going through the initial system state.
3. The initial observation, and each repetitive sub-function having nested repetitive sub-functions, has a non-empty, repetitive sub-function free prefix and a non-empty, repetitive sub-function free suffix.
4. A repetitive sub-function has no common prefix with the part of the MSC that succeeds it and no common suffix with the part of the MSC that precedes it.
5. Repetitive sub-functions starting at the same point do not alternate.
|
6. Every repetitive sub-function is introduced incrementally by one observation, which contains all previously introduced repetitive sub-functions plus the new one, and no others.
|
6. Every repetitive sub-function is introduced "individually" by at least one observation. That is, for every repetitive sub-function M, there is at least one observation o and a set of observations S such that:
- a) M is repeated at least twice in o
- b) M does not appear at all in any observation of S
- c) Every other repetitive sub-function appearing at least once in at least one observation in S is also introduced individually within the set of observations of S.
6. A sub-function has a single initiator. That is, there is always a unique send event at the source of a repetitive sub-function (and this send event is thus repeated at the beginning of each iteration of the sub-function).
|
7. Repetitive sub-functions have to be iterated the same number of times in each observation.
|
|
7. Repetitive sub-functions repeat at least twice.
|
8. Repetitive sub-functions need to be introduced in a specific order.
|
|
|
9. The ordering of the sub-functions need to be totally unambiguous.
|
|
| | | | | | | | | |
