1993 Fiscal Year Annual Research Report

オブジェクト指向を用いた分散システムの統合的モデル化と解析

Research Project

Project/Area Number	05680317
Research Institution	Tohoku University of Art and Design
Principal Investigator	ISSAM A.Hamid 東北芸術工科大学, 情報デザイン学科, 助教授 (30244990)
Co-Investigator(Kenkyū-buntansha)	堀口進北陸先端科学技術大学院大学, 情報科学研究科, 教授 (60143012)
Keywords	分散システム / オブジェクト指向仕様記述 / ソフトウェア進化 / 動的変更 / モジユール互換性 / 型変更 / リフレクション / ソフトウェア開発工程
Research Abstract	最近、分散システムのオブジェクト指向仕様記述により多くの注意が払われるようになってきている。オブジェクト指向アプローチが、システム構成に対して柔軟であることは知られている。しかしながら、主要な問題の1つは、開発工程とメンテンス工程の間で、そうした仕様記述を動的に変更できる能力を提供することである。にもかかわらず現時点の研究では、分散システムの仕様記述の動的変更については言及されていない。本研究では、実行可能な仕様記述法の開発と動的変更を考慮した形式的記述の技術に論点を置く。大規模なオブジェクト指向仕様記述を進化させるために2つのレベルのモデルを導入する。第1のレベルは、型(クラス)の動的変更を扱う。一方、第2のレベルはモジユールの変更を扱う。両方のレベルでその変更後、仕様記述の一貫性を保証するために、構造的かつ振る舞い的制約の集合を定義する。型とモジユールの動的変更を可能にするために、我々は変更の操作を支援するメタオブジェクトを用いるリフレクティブなオブジェクト指向仕様記述言語を開発した。この言語において型とモジユールはオブジェクトである。仕様記述の技術を進化させていくことは、ソフトウェア開発工程と保守工程において、要求仕様と設計の意志決定の変化に対応していくために必要である。想定しうる変更の中でも、新たな特長の追加は、重要な問題である。大規模分散ソフトウェアシステムへの新たな機能追加のように、遠隔通信システムに対する特長追加の努力は、多大なものになるかもしれない。それぞれの新たな特長の追加、あるいは追加された機能性は、多くの既存の特長と相互に作用するかもしれない。そのような相互作用は、ブロッキングの状況(例えばデッドロック)やシステムの障害を引き起こすかもしれない。さらに、大規模で長期に稼働する分散システムにとって、その拡張を行うためにシステム全体を停止させることは不可能かもしれない。従つて、重要でかつ困難な問題は、影響が及ばないシステムの部分の処理を中断することなく動的に拡張機能の修正を行うことにある。本研究では、仕様の振る舞いを拡張するための形式的アプローチとリフレクティブなオブジェクト指向仕様記述言語(RMondel)のコンテクストで仕様記述の動的進化のための方法論について述べる。

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] Issam A.Hamid: "Rule Checking Expert System(RCES)using first Order predicate logic" Third Maghebian Conference on Software Engineering and Artifical Intelliegnce Morocco,Rabat,11-14/04/94. 94.4. (1994)
[Publications] Issam A.Hamid: "How to Adapt the System Evolution for Disributed System using Reflection" 国際メディア技術ワークショップ石川ハイテク交流センター国際会議場. 94・1. 1-21 (1994)
[Publications] Issam A.Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 電子情報通信学会信学技報、プログラミング研究会資料信学技報Vol.94,. 94・3. 1-8 (1994)
[Publications] Issam A.Hamid: "分散システム仕様の動的進化に対する枠組" 情報処理学会、第97回ソフトウェア工学研究会資料情処研報Vol.94. 94・3. 81-88 (1994)
[Publications] Issam A.Hamid: "Formal Framework for Dynamic Extension of Distributed Systems Behaviors" 情報処理学会、第62回システムソフトウェアとオペレーティングシステム研究会資料情処研報Vol.94,No.13. 94・1. 89-96 (1994)
[Publications] Issam A.Hamid: "オブジェクト指向を用いた分散システムの統合的モデル化と解析" 情報処理学会、第89回人工知能研究会資料情処研報Vol.93,No.69. 93・8. 1-10 (1993)

1993 Fiscal Year Annual Research Report

オブジェクト指向を用いた分散システムの統合的モデル化と解析

Principal Investigator

ISSAM A.Hamid 東北芸術工科大学, 情報デザイン学科, 助教授 (30244990)

Research Products

[Publications] Issam A.Hamid: "Rule Checking Expert System(RCES)using first Order predicate logic" Third Maghebian Conference on Software Engineering and Artifical Intelliegnce Morocco,Rabat,11-14/04/94. 94.4. (1994)

[Publications] Issam A.Hamid: "How to Adapt the System Evolution for Disributed System using Reflection" 国際メディア技術ワークショップ石川ハイテク交流センター国際会議場. 94・1. 1-21 (1994)

[Publications] Issam A.Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 電子情報通信学会信学技報、プログラミング研究会資料 信学技報Vol.94,. 94・3. 1-8 (1994)

[Publications] Issam A.Hamid: "分散システム仕様の動的進化に対する枠組" 情報処理学会、第97回ソフトウェア工学研究会資料 情処研報Vol.94. 94・3. 81-88 (1994)

[Publications] Issam A.Hamid: "Formal Framework for Dynamic Extension of Distributed Systems Behaviors" 情報処理学会、第62回システムソフトウェアとオペレーティングシステム研究会資料 情処研報Vol.94,No.13. 94・1. 89-96 (1994)

[Publications] Issam A.Hamid: "オブジェクト指向を用いた分散システムの統合的モデル化と解析" 情報処理学会、第89回人工知能研究会資料 情処研報Vol.93,No.69. 93・8. 1-10 (1993)

[Publications] Issam A.Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 電子情報通信学会信学技報、プログラミング研究会資料信学技報Vol.94,. 94・3. 1-8 (1994)

[Publications] Issam A.Hamid: "分散システム仕様の動的進化に対する枠組" 情報処理学会、第97回ソフトウェア工学研究会資料情処研報Vol.94. 94・3. 81-88 (1994)

[Publications] Issam A.Hamid: "Formal Framework for Dynamic Extension of Distributed Systems Behaviors" 情報処理学会、第62回システムソフトウェアとオペレーティングシステム研究会資料情処研報Vol.94,No.13. 94・1. 89-96 (1994)

[Publications] Issam A.Hamid: "オブジェクト指向を用いた分散システムの統合的モデル化と解析" 情報処理学会、第89回人工知能研究会資料情処研報Vol.93,No.69. 93・8. 1-10 (1993)