Figure 1 presents the generic process for formulating and decomposing synchronization constraints including the mapping to the generic methodology. We remark that going through the levels of abstraction, it is still possible to formulate new synchronization constraints also at the lower levels if needed by the selected solution. Moreover, existing synchronization constraints can also be refined. The tasks will be described in more detail in the following paragraphs.

Figure 1 - Mapping of the specify synchronization constraints into the Generic Methodology Pattern
|