Ambient CalculusのJavaによる処理系の実装

• Item type: Trans(1)
• 公開日: 2002-09-15
• タイトル: Ambient CalculusのJavaによる処理系の実装
• タイトル / 言語: en
• タイトル: An Implementation of Ambient Calculus with Java
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 近畿大学理工学部経営工学科
• 著者所属: 近畿大学理工学部経営工学科
• 著者所属: 近畿大学理工学部経営工学科
• 著者所属(英): en
• 著者所属(英): Department of Industrial Engineering, Kinki University
• 著者所属(英): en
• 著者所属(英): Department of Industrial Engineering, Kinki University
• 著者所属(英): en
• 著者所属(英): Department of Industrial Engineering, Kinki University
• 著者名: 池田, 大蔵; 田中, 正彦; 加藤暢
• 著者名(英): Daizo, Ikeda; Masahiko, Tanaka; Toru, Kato
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表で，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 も実装している．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This presentation proposes an implementation of of Ambient Calculus using Java Multithreading mechanism. Ambient Calculus is a process algebra designed by Cardelli and Gordon for modeling mobile agent on network environment. They also described a basic implementation of the calculus in “Mobile Ambient Synchronization” though the ambient class only dealt with In and Out action. Thus we give the class extensions up to Open, Replication and Communication Primitives. We also design agent class working in ambient class originally. Another feature of our implementation is using CUP and JFlex for parsing and lexical analyzing of Ambient Calculus. Since they use specification including embedded Java code, we can take advantage of the Object Oriented Programming power and default Java Packages. We originally designed GUI too, using swing package for the purpose of making the nesting of Agent and Ambient more easy to understand.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 43, 号 SIG08(PRO15), p. 123-123, 発行日 2002-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会