適用於區域網路的群組通訊發展平臺

A Group Communication Platform in a LAN Environment

關麗美(Kuan Lei Mei)

指導教授 ： 鍾添曜

元智大學/工程學院/電機與資訊工程研究所/碩士(1993年)

摘要

近年來，由於網路技術水準大幅的提升，因而帶動了多媒體相關軟體的蓬
勃發展，這些軟體大多具有分散式及群組的特性，允許群組使用者位於不
同的地點，共同執行及監看結果，遇有影音訊息要傳遞時，則透過網路來
互傳。然而，現有的網路已能達到高傳輸量及低錯誤率的理想目標，傳統
的通訊協定例如 TCP、TP4 等的複雜考量已是多餘，因此，為了支援分散
式的多媒體應用程式，我們將要發展一個可以提供群組通訊、及等時資傳
送訊服務的新協定。在本篇論文中，我們將針對群組通訊及多媒體資訊傳
輸的需求，發展出一套群組通訊應用程式發展平臺(GCMTP)，提供使用者
可以動態建立群組，並與群組成員建立起多點連接。此外，更允許應用程
式位於不同的地點個別預留頻寬，而且，GCMTP 會把使用者暫時不用的頻
寬，轉借給群組的其他成員，如此，有限的頻寬便可做最大的應用，並確
保群組握有一定數量的頻寬，以維持固定的傳輸品質。最後，我們使用了
一個特殊的 PROMELA 描述語言，來發展 GCMTP協定的雛形，同時，也分
別為內部的每個模組定義出通訊協定驗證法則，以驗證其正確性，而從實
際的模擬結果中也顯示出， GCMTP 的執行皆和我們的預期完全相同。

關鍵字

群組通訊 ； 多媒體 ； 等時資訊傳送 ； 群組頻寬共享

並列摘要

Recently, with the advances in networking technology, networks
can provide large inexpensive bandwidth and high quality
communication. This motivates the developments of many
distributed multimedia applications. Most of these
applications can allow groups of users at different places to
exchange multimedia information. To support the distributed
multimedia applications, a new transport protocol is required
to provide efficient group communication and isochronous data
transmission services, which are not provided by traditional
transport protocols, such as TCP and TP4. Based on the
requirements from distributed multimedia applications, a new
transport protocol, called Group Communication and Multimedia
Transport Protocol (GCMTP), is proposed in this dissertation.
The GCMTP can allow users to set up groups dynamically and
provide multi-connection services among group members. In
particular, it allows a distributed application to reserve
bandwidth from different locations. The reserved bandwidth can
be shared by other group members without releasing and
reallocating bandwidth. With this feature, the quality of
services for the application can be maintained. Finally, we use
a protocol description language, called PROMELA, to prototype
the GCMTP protocol. We also define a set of correctness
requirements for each protocol machines in the GCMTP for
verifying the protocol. The simulation and verification results
show that the GCMTP protocol can perform its functions as
expected.

並列關鍵字

group communication ； multimedia ； isochronous data transmission