分散ソフトウェアシステムのプロトタイピング・ブロセスモデルに関する研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 06680299
• Research Institution: HOKKAIDO UNIVERSITY
• Principal Investigator: 宮本 衛市 北海道大学, 工学部, 教授 (00001173)
• Co-Investigator(Kenkyū-buntansha): 三谷 和史 小樽商科大学, 社会情報学科, 助教授 (70190676) ; 渡辺 慎哉 北海道大学, 工学部, 助手 (70210903)
• Keywords: 並行オブジェクト / オブジェクトの振舞い / 分散システム / 連携動作 / プロトタイピングモデル / オブジェクト設計 / オブジェクト間通信 / プロトタイピング言語

Research Abstract

今年度は以下に挙げるように、主として分散ソフトウェアシステムのモデル化に関する研究を行った。
並行オブジェクトの連携動作の記述をもとに、並行オブジェクトシステムの設計を行っていくための方略を提案した。これまでのOMTなどに代表されるオブジェクト指向技法は、まずオブジェクトの確立とそれらの関連を明らかにしようとする方法論である。これに対し、われわれは連携動作で実現したい機能をまず構造的に明らかにしていき、次いで原始的な連携動作を並行オブジェクトで実現することを考える。できるだけこれまでの構造化分析・設計法に基づいて連携動作の分析を行い、オブジェクト間の並行性は詳細設計の段階に後送りしようとするものである。
プロトタイピングにおいては、実行可能な計算モデルとしてオブジェクト指向モデルが適しているが、オブジェクト群に並行性があるときには、それらオブジェクト間での結合はできるだけ緩い方が望ましい。このような観点から、Lindaのタプル通信を拡張し、タプルの照合および値の伝搬のための規則を可変としたGenericな空間によって相互作用を行う並行計算モデルを提案した。このモデルにより、既存の通信方式のみならず、情報の特殊化、双方向への情報の伝搬などの有用な相互作用形態が統一的に実現可能となった。
プロトタイピングでは、対象とするシステムを当初は小さなシステムとして、その後段階的に大きくしていくことは、システムの全容を適切に把握しながら分析していく上で、欠かせない手法である。そのためには、分析していく過程でシステムが変容していくことがないように、システムの一貫性が保証されていなければならない。われわれは準同型変換に基づき問題を抽象化したプラニングの方法論を開発した。

Research Products

• [Publications] 馬淵浩司: "準同型変換による抽象化を用いたプラニング" 人工知能学会誌. 10. 608-618 (1995)
• [Publications] 赤間清: "プログラム変換による自然言語の意味解釈" コンピュータソフトウェア. 12. 45-62 (1995)
• [Publications] 渡辺慎哉: "Geneticな相互作用を有する並行計算モデル-GIM" コンピュータソフトウェア. 12. 67-76 (1995)
• [Publications] 繁田良則: "論理オブジェクトに基づく知識表現言語L1L/α" 人工知能学会誌. 10. 971-979 (1995)
• [Publications] E.Miyamoto: "Structured Design of Concurrent Systems Based on Cooperative Behaviors" Proc.Changsha Intn′l CASE Symposium. 110-115 (1995)
• [Publications] 宮本衛市: "連携動作に基づく並行オブジェクトシステムの設計方略" ソフトウェア学の基礎II. 15. 141-146 (1996)