講演抄録/キーワード |
講演名 |
2006-02-02 16:15
π計算表示から能動形プログラムの枠組みの生成 ○渡邉勝正(奈良先端大)・駱 福全(台湾凸版)・中西正樹・山下 茂(奈良先端大) |
抄録 |
(和) |
能動関数を用いた能動形プログラムは,柔軟な構成を持ち,プログラムの安全な実行や変更に適合した設計に適している.
それは,より広い概念であるアクティブソフトウェアの基盤になる.
しかし,それぞれの能動関数が「何時起動するか」の判りやすさについて弱点がある.
それに対して,動作解析によるπ-計算表示に基づいた表現から,
能動形プログラムの枠組みを生成し,それに詳細な手順を加えて,
プログラムを作成する流れを提案する.
それによって,プログラムのテストや並列動作の検証を容易にする効果をもたらすことを目指している.
3つの例題を通して,能動形プログラムの作成過程と実行形式の問題点を考察する.
実行には,イベント駆動型のコンピュータアーキテクチャが適している. |
(英) |
The active program with active functions has soft form
and is suitable to safe execution and modification.
The active program is one basis of the concept of active software.
But, it has a weakpoint about knowing
when each active function is activated.
To improve this point, we propose the process to create programs
by generating the framework of active program from π-expression
and by appending the detail program text of each function.
We aim to design the program ready to test and to verify
concurrent actions.
Through three examples, we discuss the process of program
construction and execution.
We suppose new computer architecture based on event driven type
for execution of active programs. |
キーワード |
(和) |
π計算表示 / 能動関数 / 能動形プログラムの枠組み / アクティブソフトウェア / イベント駆動型コンピュータアーキテクチャ / / / |
(英) |
π-expression / active function / framework of active program / active software / event driven computer architecture / / / |
文献情報 |
信学技報, vol. 105, no. 596, SS2005-81, pp. 29-34, 2006年2月. |
資料番号 |
SS2005-81 |
発行日 |
2006-01-26 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|