10 Transformations de modèles Transformation T { Pré-conditions: Portée: Data; conditions[Data]: Taux de lectures == Taux décritures; Actions: Tconf3.Tint1.Tavail1.Ttime; Post-conditions: Performance minimale, sécurité maximale; [Data]: Taux de lectures == Taux décritures }
{}