| Project/Area Number |
09780270
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
I UlidoWSKi (ULIDOWSKI Ireneusz) 京大, 数理解析研究所, 助教授 (40273528)
|
|---|
| Project Period (FY) |
1997 – 1998
|
| Project Status |
Completed (Fiscal Year 1998)
|
| Budget Amount *help |
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1998: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1997: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | プロセス代数 / 構造的操作意味定義 / 実時間性 / 通信プロセスモデル / 並行分散システム / 形式意味論 |
|---|
| Research Abstract |
本研究では、プロセス代数の動作的定義に一般的に用いられる構造的操作意味定義(Structural Operational Somantics)を拡張し、SOS定義の構文に対してSOS定義が導くラベル付遷移システムの動作の代数的性質を保証する条件を提案する。この条件を検証することで、妥当な動作的性質を持つプロセス代数の系統的な設計手法を示し、実際の言語設計ツール構築を目的とする。
前年度までに導入した順序付きSOS定義に対して、本年度は時間の概念を導入することで、より実際的なモデル化を可能とした。
本年度は以下の項目について研究を行った。
・順序付SOS定義に対してEager Rooted双模倣意味論による合同性条件を与えた。
・SOS定義に対して、離散時間単位を表わす特別なラベルσを導入し、Eager Rooted双模倣意味論を時間に対して拡張した。
・SOS定義に対して、σによる遷移が離散時間のモデルとして良定義であるための条件を提案した。
・国内の他の研究者と共同して、時間拡張の条件をチェックするツールの基本的な設計を行った。
これらの成果により、実際のGPAMソフトウェア・ツールの設計のためのノウハウが蓄積できたと考えている。今後は、さらに時間を導入したTest前順序意味論に対しても検討を加えることにより、統一的な設計手法が提案できるようになり、ツールの作成が可能となる。
|
