Diagnosis
A message type connecting a sending system and a receiving system canonly be defined in several model views, when the valid time frames ofthe model views are disjunctive.
The given message type &V1& has already been defined for the sendingsystem &V3& and the receiver &V4& in the model view &V2&, whose validtime frames coincide with that of the model view specified.