Developers of real-time and embedded systems are concerned with the proper and accurate specification of how a system works as well as ensuring that the behavior is properly and accurately implemented. For interactions, the UML provides two notations representing a common underlying semantic base&#151sequence diagrams and collaboration diagrams. Of these, sequence diagrams are by far the most commonly used because they emphasis the sequence of messages among a set of interacting elements.