形式記述法によるシステム設計

中間ノードと^RMAの制御手順については状態数が多いことから、システムの動作や仕 様を明示的に表現することが重要である。そこで^OSIの⁷層モデルのサービスとプロト コルを記述することに主眼を置いた形式記述法^FDT(Formal Description Techniques)を 用いた。^FDTの採用により記述の曖昧性を除くことができ、明晰で簡潔な仕様が記述可 能となる。この結果、仕様の完全性、矛盾性等の検証、仕様に基づくシステムの機能分析 が可能となる 。また要求仕様からコードを自動生成することにより汎用プログラミン

中間 ノード

中間 ノード

中間 ノード 中間

ノード 中間 ノード 中間

ノード 中間 ノード 中間

送信側 ノード

受信側

図 ^4.14: 並列配置インタフェースの拡張²

中間 ノード

中間 ノード

A B C

A B C

A B

C

図 ^4.15: 格子状配置インタフェースの拡張²

グ言語で記述するのに比べ、記述者の負担は格段に少なくてすむという利点もある。

ATMマルチキャストを用いた大規模マルチメディアネットワークにおいて、^RMAと いう管理ノードにより中間ノードを運用するシステムを以下のような手順で設計した。

1. プロトコル開発⁽要求の詳細定義⁾

2. 詳細の仕様を作成⁽設計⁾

3. 実装用プログラムのコーディング⁽作成⁾

4. 仕様を検査⁽試験⁾

5. 通信ソフトウェアを運用⁽保守⁾

1と ²では^FDTの機能を備えており、^ITU-T において交換機の仕様を規定するため に開発され勧告として標準科されたSDL(Specication and Description Language) を用 い、^3.ではプロトタイピング言語として^C言語を用いる。^SDLの記述には^NEC社製の

RDSPACEを使用した。⁴では^RDSPACEにより自動的に生成可能なシミュレータによっ

4.8.1 SDL

による記述

SDLでは、システム全体の構造を「システム仕様」として記述する。そして、その中 の機能を大きく分割した機能ブロックを「ブロック仕様」として記述する。また、ブロッ ク仕様で記述されたブロックを実際に活動を行うプロセス単位に分けて、各プロセスにつ いて「プロセス仕様」として記述する。プロセス仕様は状態遷移図として表記される。

SDLでは、グラフィカルな図形モデルとして表記するSDL/GR(Graphical Representa-tion)と、テキスト形式で表記されるSDL/PR(textual Phrase Representation)のどちら かで記述可能であるが、^RDSPACEでは^SDL/GRで記述して、^SDL/PRに変換すること が可能なので、ここでは記述の負担を避けるために^SDL/GR形式で記述した。しかし当 然ながら、どちらの記法で記述しても全くの差異はない。

システム仕様

JAISTVideoLANは大きく³つのブロックから構成される。つまり、^RMA、^TS、そし て今回設計した中間ノードである。それぞれは互いに協調しあいシステムを構成する。

Fig.4.16に^SDL/GRにより記述をした^{JAIST VideoLAN}システムの^system仕様を表 す。ここでは、^{Fig. 4.1}に示した^{JAISTVideoLAN}の実装構造に沿った形で仕様化してあ る。また、中間ノードから見た場合、データのやりとりを行うのは^TSと^RMAなので、

GUIの部分はブラックボックスとして、それ以外のノードについてブロック仕様を表し た。そして、中間ノードに関してのみプロセス仕様を表した。

ブロック仕様

図^4.17に中間ノード部分のブロック仕様を示す。中間ノードは内部に^interfaceと制御 用の^control、そして実際に機能する各モジュールである^functionプロセスを持つ。ここ

では^functionプロセスは要求を完全に満たすブラックボックスプロセスとして規定した。

プロセス仕様

interfaceプロセス

interfaceプロセスは^TSの制御用プロセスである^TSCと通信したり、^RMAプロセ スとのやりとりを行う。

controlプロセス