Ambient CalculusのJavaによる処理系の実装
スポンサーリンク
概要
- 論文の詳細を見る
本発表で,JavaによるAmbient Calculus処理系の実装を提案する.本処理系の基礎は,Cardelliの論文"Mobile Ambient Synchronization"の中で与えられているJavaによるAmbientの実装例にある.しかし,その論文の中で実装されているAmbientクラスは,中に含むAgentからのIn動作とOut動作の2つに対応しているのみで,Open動作,Input動作,Output動作などの実装は紹介されていない.また,Ambientクラスのみの提示にとどまっており,Ambientの中に含まれるAgentがどのように実装されるかについても言及されていない.よって今回の実装では,Communication Primitivesまでの文法要素の実装とAgentの実装,また,それらに対応できるようにAmbient Classの拡張を行っている.本処理系の他の特徴として,Ambient Calculusの式の構文解析,字句解析の設計にオブジェクト指向を取り入れるため,Yaccと似た性質を持ち,JavaをプラットフォームとするCUP,同じくLexと似た性質を持つJFlexを使用した.さらに,Ambient,Agentの入れ子関係をより分かりやすく表すために,Swingを使っての独自のGUIも実装している.
- 一般社団法人情報処理学会の論文
- 2002-09-15
著者
関連論文
- 分散オブジェクト技術によるプログラムのπ計算への変換
- 研究室配属プログラムの開発と運用
- RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
- 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
- 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
- Ambient計算に基づく動的な海上物流の監視システム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 3M-7 Ambient Calculusを用いる物流検査システムの実装(数理モデルと問題解決,学生セッション,ソフトウェア科学・工学)
- A-032 分散オブジェクトからπ計算プロセスへの変換系(A分野:モデル・アルゴリズム・プログラミング)
- Ambient Calculusを用いた物流検査システム
- A-015 動的な接続関係を持つJavaプログラムの一記述法とπ計算への変換(A分野:モデル・アルゴリズム・プログラミング)
- D-1-12 Javaオブジェクトからπ計算プロセスへの変換について(D-1. コンピュテーション, 情報・システム1)
- Java分散オブジェクトからπ計算プロセスへの変換系
- Ambient CalculusのJavaによる処理系の実装
- 物流システム記述のための多重Ambient Calculus (プログラミング Vol.5 No.2)
- 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査 (プログラミング Vol.5 No.3)