Specification of synchronization by means of constraints

A synchronization model based on the expression of global constraints and on a method of managing them is presented. After this approach is justified, a model for constraints management which allows compounded operations to be taken into account is described. The power of this model is illustrated on parallel control structures such as plain or complex rendezvous; priority and fairness are analyzed and the corresponding constraints are stated. The expression of dynamic constraints is also demonstrated. Extensions of this model for coping with concurrency are described.<
>