Diagnosis
In connection with a sender and receiver a message type can only bedefined in several model views if the periods of validity of the modelviews are disjunctive.
The message type &V1& for sender &V3& and receiver &V4& is alreadydefined in the model view &V2&, whose period of validity coincides withthat of the model view to be updated.