講演名 | 1994/3/9 並行プロセス計算の開発・利用支援環境 吉田 仙, 富樫 敦, 白鳥 則郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 並列に動作するプロセスの振舞いを扱う形式記述技法にプロセス計算がある。これまでに多くのプロセス計算が開発され、またそれらの処理系が作成されてきた。しかしながら、そのような処理系を作成するには一般に多大な労力を必要とし、このことがプロセス計算の開発及び利用に関して大きな障害となる。そこで我々はプロセス計算の開発・利用のための支援環境を構築した。本稿ではまずプロセス計算の構文規則と遷移規則を記述する能力を持つプロセス計算記述言語LCCを紹介し、さらにこの言語のインタプリタとして多様なプロセス計算の動的意味を解析するシステムProCSuSの概略を紹介する。 |
抄録(英) | A process calculus is a Formal Description Technique dealing with the behavior of multi agents.In the literature,many process calculi have been developed,and their interpreters have been made. In general,making such interpreters may take much effort and that has disturbed developing process calculi.For that reason,we have constructed an integrated support environment for developping or utilizing process calculi.In this paper,we propose a Language of Concurrent process Calculi,LCC which can describe syntax and transition rules of process calculi.We also describe the outline of ProCSuS,a Process Calculus Support System which interprets LCC and investigates operational semantics of the calculus. |
キーワード(和) | プロセス計算 / 動的意味 / 遷移関係 / 支援環境 |
キーワード(英) | process calculus / operational semantics / transition relation / support environment |
資料番号 | COMP93-85,SS93-53 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 1994/3/9(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | JPN |
タイトル(和) | 並行プロセス計算の開発・利用支援環境 |
サブタイトル(和) | |
タイトル(英) | A support environment for developping or utilizing concurrent process calculi |
サブタイトル(和) | |
キーワード(1)(和/英) | プロセス計算 / process calculus |
キーワード(2)(和/英) | 動的意味 / operational semantics |
キーワード(3)(和/英) | 遷移関係 / transition relation |
キーワード(4)(和/英) | 支援環境 / support environment |
第 1 著者 氏名(和/英) | 吉田 仙 / Sen Yoshida |
第 1 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
第 2 著者 氏名(和/英) | 富樫 敦 / Atsushi Togashi |
第 2 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
第 3 著者 氏名(和/英) | 白鳥 則郎 / Norio Shiratori |
第 3 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
発表年月日 | 1994/3/9 |
資料番号 | COMP93-85,SS93-53 |
巻番号(vol) | vol.93 |
号番号(no) | 496 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |