For the purpose of analysis and verification, in software design, architecture of the software system and communications between software components should be specified. Unified Modelling Language (UML) is a standard software design notation that includes Sequence diagrams and Collaboration diagrams, which describe the interaction between objects. They also can be used to describe communications between components. In this paper, we discuss what should be modelled in the communication and how the elements in UML can be adopted to model the communication. A formalism of UML design models that can be used for design analysis is also proposed.
Last modified: Tue 2004.07.13 at 09:25 NDT by Dennis Peters