通信ソフトウェアの機能改良手法

概要

論文の詳細を見る
ネットワークの高機能化に伴ない、アブリケーションヘの多様な要求に対する柔軟かつ迅速な対応が必要になっている。大規模ネットワークでは、多様な要求は、しばしばネットワークの一部グループにおける機能改良という形で実現される。一方、アプリケーションの実現には、デッドロック、未定義受信などの異常動作が起らないことを保証するため、仕様検証が必要である。ところが、上記の様な一部グループにおける機能改良を実現する場合、ネットワーク全体を対象とした仕様検証をそのまま適用することはできない。例えば、ネットワークの一部グループのプロセスのみに機能改良を行なうと、新規に機能を追加したプロセスと機能を追加していないプロセスが通信を行なう場合がありうる。しかし一般に、異なった機能を持つプロセス同士の通信には、機能の相違を原因とする異常動作が起きる。本稿では、一部グループのプロセスに対し機能追加を行なったとき、機能追加を行なったプロセスと機能追加を行なっていないプロセスの間での通信に起因する異常動作に関し、基本的な性質を明らかにする。
一般社団法人情報処理学会の論文
1993-09-27