オブジェクト指向技術を用いた実時間分散システムの動的モデリング

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08044168
• Research Institution: Tohoku University of Art and Design
• Principal Investigator: ISSAM A.Hamid 東北芸術工科大学, デザイン工学部, 助教授 (30244990)
• Co-Investigator(Kenkyū-buntansha): 堀口 進 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (60143012) ; 白鳥 則郎 東北大学, 電気通信研究所, 教授 (60111316)
• Keywords: 分散システム / 動的変更 / リフレクション / オブジェクト指向仕様記述 / モジジュール互換性 / ソフトウェア開発工程 / ソフトウェア進化 / 型変更

Research Abstract

平成8年度では、本研究の動機は、オブジェクト指向アプローチの基本思想を反映する動的モデルを設計することになった。より正確に言うと、我々のモデルはオブジェクト指向応用の設計過程の次の2つの本質的な局面を強調した:(1)オブジェクトの振る舞いの時間的な展開(進化)の記述、(2)オブジェクトの振る舞いの時間的な合成、つまりオブジェクトの集まりの協調に関する時間的性質と規則の記述。我々の藻矩形に於ける1つの重要な用件は、我々のモデルに関する形式的基礎を構築することであった。この用件を満足することで、モデルに統合された種々の考え方の無矛盾性を調べるだけでなく、ユーザ提供の仕様の無矛盾性を調べることも可能となった。幾つかの形式論の中で、命題時制論理の言語が我々の目的に対して適切であった。
一方、分散システムに適したオブジェクト指向を用いた仕様のモデル化と仕様の解析に有効な技法を開発した。(1)分散システム仕様のオブジェクト指向に基づいたプロセス、データ、振る舞いの統合的なモデル化技法の開発、(2)仕様を表現するためのオブジェクト指向に基づいた形式言語の開発、(3)形式言語で表現された仕様の解析技法の開発、の研究を行った。(1)については、分散システムの大規模性、並行性およびシステムの進化に伴う仕様の変更性を考慮した従来にない新しい仕様記述のモデルを確立した。(2)については、(1)で確立したモデルに基づいて、柔軟性、厳密性、拡張性に優れた形式言語の構文と意味を設計した。(3)については、分散システムの設計に関連する用件、性質を整理し、それらを(2)の言語で書かれた仕様の上で解析する基本的な技法を確立した。

Research Products

• [Publications] Issam A. Hamid: "Dynamic extension for the specification of distributed systems" Asia-Pacific Software Engineering Conference. 256-267 (1996)
• [Publications] Issam A. Hamid: "Dynamic Modeling for the Specification of Distributed Systems" ASIAN-Computing Science Conference.1179. 287-298 (1996)
• [Publications] Issam A. Hamid: "Dynamic Modelling of the Behavior of Distributed Systems Specification" Information Modelling and Knowledge Bases VII. 34. 294-313 (1996)
• [Publications] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" International Journal on Software Engineering & Knowledge Engineering. 5・3. 511-540 (1995)
• [Publications] Issam A. Hamid: "Parallel Routing algorithm for rearrangeable class of switching interconnection network" 2nd IEEE International Conference on Communication. 13.5.1-13.5.8 (1995)
• [Publications] Issam A. Hamid: "Modeling Methodology for the specification behavior of distributed systems" 2nd IEEE International Conference on Communication. 9.5.1-9.5.8 (1995)
• [Publications] Issam A. Hamid: "Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language" Transaction of IEICE, Information & Systems. E78-D・4. 363-382 (1995)
• [Publications] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" The First Asia-Pacific Software Engineering Conference. 208-219 (1994)
• [Publications] Issam A. Hamid: "Highly Parallel Computation Model for Setting Rearrangeable Type Interconnection Network" International Symposium on Parallel Architectures, Algorithms, and Networks. 197-204 (1994)
• [Publications] Issam A. Hamid and 大須賀節雄: "Type Evolution in a Reflective Object-Oriented Language" 情報処理学会論文誌. 35・7. 1352-1379 (1994)
• [Publications] Issam A. Hamid: "Rule Checking Expert System (RCES) using First Order Predicate Logic" Proc. of the Third International conference on Software Engineering. 207-216 (1994)
• [Publications] Issam A. Hamid: "分散システム仕様のための動的拡張" 情報処理学会ソフトウェア工学研究会資料信技報. 96-SE-110・71. 9-16 (1996)
• [Publications] Issam A. Hamid: "Modeling constraints specification of object interactions in distributed systems" ソフトウェア開発のためのドメイン分析・モデリング技術シンポジウム. 96・5. 113-122 (1996)
• [Publications] Issam A. Hamid: "分散システム仕様を検査する意味論的振る舞い" 情報処理学会ソフトウェア工学研究会資料信技報. 95・55. 33-40 (1995)
• [Publications] Issam A. Hamid: "並列コンピュータのための高速再配置可能結合網" 情報処理学会ハイパォ-マンズコンピューティング研究会資料信技報. 94・21. 25-32 (1995)
• [Publications] Issam A. Hamid: "再構成可能なペンズINを設定するための高速並列計算モデル" 情報処理学会計算機アーキテクチャ研究会資料信技報. 94・107. 17-24 (1994)
• [Publications] Issam A. Hamid: "ルールチェッキングエキズパートシステムの検証法" 情報処理学会ソフトウェア工学研究会資料信技報. 94・73. 71-30 (1994)
• [Publications] Issam A. Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 情報処理学会プログラミング言語研究会資料信技報. 94・21. 41-48 (1994)
• [Publications] Issam A. Hamid: "分散システムの振る舞いの動的拡張に対する形式的枠組" 情報処理学会ソフトウェア工学研究会資料信技報. 94・18. 81-88 (1994)
• [Publications] Issam A. Hamid: "A Formal Framework For Dynamic Extension of Distributed Systems Behaviors" 情報処理学会システムソフトウェアとオペレーティング・システム研究会資料信技報. 94・1・3. 89-96 (1994)
• [Publications] Issam A. Hamid,前川道博: "芸術と科学の融合を目指した新しい統合化教育システムの構築" 情報処理学会情報システム研究会資料信技報. 94・4. 1-10 (1994)