論文

A sequence of states at each point in time is called a time stream. In distributed environments, it can allow simple descriptions of processes to deal each process as if it had its own proper time stream , called extracted time stream, which consists of the events essential to the process. It is proved that, for given formulas which are interpreted in one of the extracted time streams, there exist certain formulas such that they are interpreted in the universal time stream and are equivalent to the given formulas. This time-extraction is applied to the Temporal Prolog in order to decompose a program into pieces, each of which works in its own time stream. A program with time-extraction can be transformed to an equivalent program without time-extraction. It is also proved that the transformations preserve equivalence in the sense of model-theoretic semantics.

並列オブジェクト指向パラダイムに従って実現されたウィンドウ・システムであるGMWと,GMW上でのアプリケーション構築法について述べる.UIMSの一般論に基づいて,ウィンドウ・システム上のアプリケーション構築における並列オブジェクト指向パラダイムの重要性,仮想機械サーバ方式の利点等について議論した後,GMWウィンドウ・システムとそのツールキットについて概観する.GMWは,次のような特徴を持った仮想機械サーバ型のウィンドウ・システムである.アプリケーションのユーザ・インターフェース部を実現するために,新たに設計された並列オブジェクト指向言語Gのコンパイラと仮想機械をサーバ内に持っていること.アプリケーション本体とユーザ・インターフェース部の通信を支援するために,並列オブジェクト指向パラダイムに従ったスタブ生成系を提供していること.G言語によって実現されたユーザ・インターフェース開発環境によって,アプリケーション実行時にもユーザ・インターフェースの編集が可能であること.

高速ネットワークで接続された計算機群を利用するための分散OS ToM (Threads on Modules) の概要を説明する．ToM は，プログラムを抽象化したモジュールと，処理の流れを抽象化したスレッドを独立したものとして扱い，通信として RPC (Remote Procedure Call) を用いることにより，分散環境にふさわしい計算モデルを提供している．ToM の RPCは従来のものとは異なり，スレッドとモジュールの組合わせを変更することにより行われる．また，ケーパビリティとアクセス・コントロール・リストを組み合わせたセキュリティ機構についても述べる．

高速ネットワークで接続された計算機群を利用するための分散OS ToM (Threads on Modules) の概要を説明する．ToM は，プログラムを抽象化したモジュールと，処理の流れを抽象化したスレッドを独立したものとして扱い，通信として RPC (Remote Procedure Call) を用いることにより，分散環境にふさわしい計算モデルを提供している．ToM の RPCは従来のものとは異なり，スレッドとモジュールの組合わせを変更することにより行われる．また，ケーパビリティとアクセス・コントロール・リストを組み合わせたセキュリティ機構についても述べる．

時制論理は，オペレーティング・システムやリアルタイム制御システムなど，時間の取り扱いが本質的であるような分野において有用である. 時間軸は連続ではなく，離散的な時刻における状態の列として表わされる. ある処理内容に対して本質的な事象が起こった時刻だけを取り出して新しい時間軸を作れば，それはその処理を行うプロセス固有の時間軸であると考えることができる. この抽出された時間軸に基づけば，プロセスをより簡潔に記述できる. 抽出された時間軸上で解釈される論理式が与えられた時，元の時間軸上で解釈される同値な論理式が存在する. また，この時間軸の抽出をTemporal Prologに適用すると，プログラムを各々固有の時間軸上で動作するいくつかの部分に分解することができる. 論理式の場合と同様，抽出された時間軸上のプログラムを，元の時間軸上のプログラムへ変換することが出来，この変換はモデル論的意味を保存する.

RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う.

RACCOは，実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し，保守するために，システムをモデル化して記述するための言語である．ここでは，プロセス制御の例としてパイプ加工工場における搬送スケジューリング問題を取り上げ，問題解決の過程と，RACCO による記述例を示す．