|
近年のネットワーク技術の進歩・普及にともない、パソコンまたは携帯端末といった機器が、日常的なソフトウェアの実行の中でプログラムの転送しそれを実行するという処理が行われる。またこのようなネットワーク上のプログラムの転送は、異種の機器やOS,あるいは異なる言語により実装された機器の間で発生するものであることが多々あり、従来の単一のプログラムやソフトウェアの解析手法では、扱うことが困難なものである。本研究では、プログラムの転送動作のうち、転送と実行を同時進行で行うような機能について、計算モデルを設計し、システムの等価性を定義し、その妥当性を示した。
|
