Information Technology Reference
In-Depth Information
Fig. 6.
Protocol of Media Channel System
4.3 Requirements for Closing an Established Media Channel
Either endpoint can close the media channel at any time by sending close, which
must be acknowledged by the other end with a
closeAck
(close Acknowledge).
Figure 6 illustrates the case that the acceptor side closes a channel.
5 Linking Requirements and Atomicity Decomposition
5.1 Abstract Specification
The abstract events are illustrated in an informal diagram that aids understand-
ing, Fig. 7. It is not a formal decomposition diagram. These events happened
sequentially from left to right. The circle containing “*”, shows that multiple
execution, zero or more, of the related event,
modify
in this case, is possible. So
first a media channel is established by execution of
establishMediaChannel
event,
then it can be modified zero or more times by execution of the
modify
event and
then closed.
