Le projet concerne les modèles événementiels utilisés notamment dans la méthode B événementielle et la technique du raffinement. Les applications sont les systèmes répartis. Nous travaillons sur des études de cas qui sont fournies par la littérature et nous assayons d'en dégager des processus généraux de construction.