A formal description language for the modelling and simulation of timed interaction diagrams

摘要

Showing the interactions occurring across the various components of a distributed system is a very natural way to describe the dynamic behaviour of the system itself. For the purpose of dynamic modelling, interaction diagrams are among the most widespread techniqeu. As an example, in the communication field, procedures are very often described by means of charts showing the message interchange occurring within the system, being protocol specification the most classic example. More recently, interaction diagrams are proposed as a substantial part of the dynamic behaviour modelling of ojbect oriented methodologies.