Notations for modelling multimedia systems