ActivityModel - WFR1 - Un modello attività specifica la dinamica di (i) un package, (ii) un classificatore (incluso use case) ...