| 研究概要 |
本年度は,本研究で得られた主結果である時間プロセス言語に対する合同性定理と時間的性質につ いて,海外協力者であるUlidowski博士とともに結果をまとめ学術論文誌に投稿した.Journal of Logic and Algebraic Programming誌より採録との結果を受け取っている.
昨年度に引き続き,ソフトウェアシステムに対する応用についての検討を行った.
1. π計算に対して本結果で得られた拡張を行い,単純な並行オブジェクト指向計算言語の振舞いを定式化した.並行オブジェクト言語の振舞いがいくつかの時間的性質を満たすことを示した.ここでは,弱等価性に基づいて並行オブジェクトの意味を定義した.
2.π計算を直接的に実行するプログラミング言語Nepiにおいて,グラフィックユーザインタフェース機構の拡張を行った.プログラミング言語Nepiには時間の概念が含まれており,意味論の検討には本研究の手法が応用できる.
3.Webシステムのオートマトンに基づくモデル化を行った.現時点では,形式システムへの定式化がまだ十分行われていない.しかし,パフォーマンスを考慮したWebシステムの定式化に対して本研究の結果が応用できることが期待できる.
本研究における検討の結果,ソフトウェアシステムに対する応用においては,本研究で得られたモデルをそのまま応用することは不十分であることが判明しているので,型理論に基づくソフトウェアシステムへの制約,本研究のπ計算などの名前渡し体系への拡張を検討することは今後の課題である.
|
