2012 Fiscal Year Research-status Report
能動的オブジェクトのストリーミング転送を行う並行計算系の理論に関する研究
| Project/Area Number |
24500016
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | Okayama University |
|---|
Principal Investigator |
村上 昌己 岡山大学, 自然科学研究科, 准教授 (60239499)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 並行計算 |
|---|
| Research Abstract |
平成24年度においては、交付申請書に記載した研究実施計画の課題のうち、主に移動型並行計算の操作的意味論についての研究、および当初26年度に実施する予定であった部分計算とセキュリティ改善との関連に関する研究のうち、部分的な結果についての研究を行った。
前者については、まずbigraphの応用例として代表的な並行計算モデルであるアンビエント計算の操作的意味論について、コードストリーミングモデルへの拡張のための再定式化を行った。すなわち、従来リアクション規則の集合として与えられていたアンビエント計算の操作的意味論について、bighraphで定式化されたコンテクストをラベルとする遷移系の意味論を再定式し、従来の意味論との関連を示した。この結果は、「ソフトウエア工学、分散および米列処理国際会議2013」において発表した。
また後者については、研究代表者が過去に提案した並行計算の部分計算体系の拡張が、従来のCSPモデルについては、セキュリティ改善の手段として応用可能であることが、発見された。すなわち認証プロトコルの代表的な例として知られるニーダムとシュレーダーのプロトコルのよく知られたセキュリティホールに帯する対策が、部分計算の適用に他ならないことを示した。この結果は、「International Journal in Foundations of Computer Science & Technology」に掲載された。
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
当初の研究の目的では、平成24年度においてコードストリーミングを含むbigraphモデルの操作的意味論を完成する予定であったが、年度末時点においてそれらの結果を完全な形で発表するには至っていない。コードストリーミング機能は従来のプロセス代数モデル上で概ね定式化を終えてはいるが、完成しているのはbighraphモデルの部分体系の操作的意味論で、こちらには発表した段階ではコードストリーミング機能は含まれていない。したがってその点で、平成24年度においては進捗が遅れていることは否めない。一方で、プログラム変換とセキュリティの関連については、当初の予定より一部先行した結果を得ており、この意味では、全体の遅れは大きなものではないと考える。
|
| Strategy for Future Research Activity |
現在までの研究で、アンビエント計算の操作的意味論についてbigraphモデルの研究を踏まえた形での操作的意味論の改良、およびその効果を用いて可能となった双模倣等価性の合同性の結果について、発表予定である。
また、従来のプロセス代数モデル上でのコードストリーミング機能の定式化をもとに、同機能の操作的意味論をbigraph上のリアクション規則の集合として定式化を進める。
|
| Expenditure Plans for the Next FY Research Funding |
上記の２つの研究課題のうち、前者は既に結果をまとめ７月に英国で開催の国際会議会議に採録が決定している。次年度使用額は翌年度請求の研究費と合わせ、この国際会議の参加のための旅費および会議登録費として使用する予定である。また、上記の研究課題課題のうち後者について早急に結果をまとめ、いずれかの国際会議での発表を予定しており、翌年度請求の研究費の一部をその参加費用にあてる計画である。
|
