![]() An MSC reference (a call of another MSC).Is guaranteed to be true when its axes pass it. Such a condition must be true in order for its axes to proceed. The condition that must be true is named in the lozenge shape.Ī guarding condition is identified by the keywords Must be true for its axis or axes to proceed. This is denoted by an open rectangle on the calling instance's axis. If the calling instance is suspended (waiting, inactive).The result of a method is returned by a reply I believe a method is called by a message. An instance (component) may be described with aĪ method is shown as a filled rectangle on the instance's axis.The instance's axis runs from the instance head to the instance end.įrom outside the frame (the rectangle surrounding the MSC),Ĭoming from some other component not described in the MSC. ( not the creation and destruction of the component described). Which mark the beginning and end of a description So it can't make sure that m4 doesn't arrive until later. In fact there is no way to enforce this (rule 4).Ĭomponent proc_b can't tell when proc_a sends m3, It is also the case that although the MSC demands.Messages at the same vertical line (component). ![]() Higher in the diagram makes no difference except for M3 arrives before m4 is either sent or arrives,īecause the three instants happen at different components (rule 3).Įven though m3 is higher in the diagram.
0 Comments
Leave a Reply. |