Ambient Calculusのための統合開発環境

情報処理学会

書誌事項

タイトル別名
  • IDE for the Ambient Calculus

この論文をさがす

抄録

本発表では，プロセス代数の一種であるAmbient Calculus（AC）によるモバイルプロセスの開発を支援するための統合開発環境（IDE）を提案する．ACはネットワーク上で動作するプログラムの計算機間移動を代数式の形で簡潔に記述することを目的とした言語である．本IDEはJavaなど一般的な言語に対するIDEの持つ基本的なプログラミング支援機能に加え，AC特有の性質に対応した以下の4つの特徴的な機能を有する．(1) ACの代数式のもつ動的な階層構造をグラフィカルに記述し，それをプロセス式に変換する機能．(2) ACのプロセス式の持つ非決定的な選択動作に対し，それらすべてをプログラマが明示的に選択し逐次実行する機能，実行後に後戻りする機能など，AC特有の動作に対応したデバッグ機能．(3)ネットワーク上を移動するモバイルプロセスの開発に対応できるよう，複数の計算機上で本IDEを起動し，計算機間を移動するACのプロセス式（モバイルプロセス）を動作させながら，動的にプロセス式の編集ができるような分散環境上でのデバッグ機能．(4) Java言語で作成されたプログラムをambientの中に入れ，ACの機能を用いてそのプログラムの実行状態を保ったままを計算機間を移動させる機能．以上の機能を持つIDEをEclipseのプラグインとして開発した．

We propose an Integrated Development Environment (IDE) for developing mobile processes written in the Ambient Calculus (AC). AC is a kind of process algebra designed for modeling mobile processes in network environments. This IDE is equipped with not only ordinal editing functions but also characteristic ones for AC as follows. (1) Graphical editor for describing tree structures of AC processes that can be converted to AC processes. (2) Selective executing function and backward tracing function that enable us to check every non-deterministic action of AC processes. (3) Distributed executing function for mobile processes that enables us to debug those processes in network environment by deploying IDEs. (4) Java programs can be conveyed by ambient with keeping their activated condition. We developed the IDE as plugins of Eclipse.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050001337904566912
  • NII論文ID
    110009818011
  • NII書誌ID
    AA11464814
  • ISSN
    18827802
  • Web Site
    http://id.nii.ac.jp/1001/00102875/
  • 本文言語コード
    ja
  • 資料種別
    article
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ