モジュールシステムを基盤におくコーディネーションモデルの研究

1999 Fiscal Year Annual Research Report

• Project/Area Number: 11878050
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971)
• Co-Investigator(Kenkyū-buntansha): 緒方 和博 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (30272991)
• Keywords: コーディネーション / モデル / 言語 / モジュールシステム / Linda / CafeOBJ / 仕様記述 / 検証

Research Abstract

本年度は,以下のことを行った。
・コーディネーション言語およびモデルの調査:コーディネーション言語およびモデルの代表例であるLindaについて調査を行い,CafeOBJのモジュールシステムとの簡単な比較を行った。元来並列プログラムを記述するために開発されたため,Lindaの対象とする部品の統合(コーディネーション)は動的な色合いが強い。一方,CafeOBJのモジュールシステムは,静的な(部品の)仕様を組み上げて,より大きい(システムの)仕様を記述するために使われ,静的な側面が強い。両者を融合することでよりよいコーディネーション言語およびモデルを開発できるものと期待できる。新規の特徴としては,これまでのコーディネーション言語およびモデルでは,あまり対象とされていなかった,部品の統合に関する検証を扱える枠組みを提供できるものと思われる。
・モジュールシステムのCafeOBJによる仕様記述の解析:我々の研究グループでは,モジュールシステムをより深く理解するためCafeOBJのモジュールシステムの仕様書をCafeOBJで記述し,いくつかの重要と思われる性質について検証を行った。本年度は,この仕様書をもとに,検証のしやすい仕様の記述方法に関する考察を行った。
・モジュールシステムを利用した仕様記述:CafeOBJのモジュールシステムを多用して,CafeOBJの簡約戦略である要求駆動E戦略を用いた書換えの操作的意味を記述した。

Research Products

• [Publications] 五百蔵重典,緒方和博,二木厚吉: "検証を考慮した仕様記述の指針に関する研究"電子情報通信学会技術研究報告. 99・424. 47-54 (1999)
• [Publications] K.Ogata and K.Futatsugi: "Operational semantics of rewriting with the on-demand evaluation strategy"Proceedings of 2000 ACM Symposium on Applied Computing. (発表予定). (2000)