2002 Fiscal Year Annual Research Report

信頼性の高いコンポーネント技術の研究

Research Project

Project/Area Number	13224013
Research Institution	The University of Tokyo
Principal Investigator	玉井哲雄東京大学, 大学院・情報学環, 教授 (60217172)
Co-Investigator(Kenkyū-buntansha)	増原英彦東京大学, 大学院・総合文化研究科, 助教授 (40280937) 青山幹雄南山大学, 数理情報学部, 教授 (40278073) 柴山悦哉東京工業大学, 大学院・情報理工学研究科, 教授 (80162642) 金子知適東京大学, 大学院・総合文化研究科, 助手 (00345068) 五十嵐淳京都大学, 大学院・情報学研究科, 講師 (40323456)
Keywords	ソフトウェア / コンポーネント / 高信頼性 / 再利用 / モデル検査 / Webサービス / 型システム / 要求仕様
Research Abstract	インターネットに代表される分散環境で稼動するソフトウェアや,通信機器,自動車,家電など組込みソフトウェアのように,分散性,並行性,応答性を持つソフトウヱアの開発には,コンポーネント(部品)ベースの開発技術を用いるのが有効であり,実際そのような実現形態が普及しつつある.しかし,コンポーネントに基づくソフトウェアの信頼性をいかに確保するかは,大きな課題である.われわれは,平成13年度からこの課題に取り組み,まず基礎的な調査と探求的な試験研究を行った.平成14年度はこれを受け,研究に具体的に大きな進展を見た.その主な成果は以下の通りである. ・ソフトウェアのコンポーネント化とそれを合成してシステムを組み立てるためのアーキテクチャ技術として,「役割モデルEpsilon」を提案し,その実装言語として"Bunraku"を開発した. ・コンポーネントの機能や結合を柔軟にするには,自己反映計算の技法を活用することが有効である.しかし,自己反映計算を用いると,一般に性能が大きく低下する.部分計算の手法を用いてその性能を向上させる手法を提案した. ・アスペクト指向技術はコンポーネントのモジュール構造を柔軟に変化させ組み合わせるための技術として,大きく注目を浴びている.しかし種々提案のあるアスペクト指向計算の意味論は,これまであまり明確にされてこなかった.そこでアスペクト指向計算の原理を明らかにするモデルを提案し,それに基づいたシミュレーションシステムを実装した. ・コンポーネントの汎用性を高め再利用性を増すには,パラメータ型の導入が有効である.しかし,パラメータ型とそれを組み入れたクラス間の型の包含関係は複雑であり,簡明な記述力を持ちながら健全な型システムを提供することはこれまで難しかった.ここではそのための新しい計算モデルを提案し,コンポーネントの汎用性と信頼性を同時に確保する方向を示した. ・コンポーネントベースの具体的な適用ソフトウェアとして注目されるのが,Webサービス・ソフトウェアである.ここではWebサービス・ソフトウェアをコンポーネントベースで開発するための方法論を提案した.

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] Tamai, T.: "Process of Software Evolution"Proceedings of the 1^<st> International Symposium on Cyber Worlds(CW2002). 8-15 (2002)
[Publications] Ando, Y., Takahashi, S., Shibayama, E.: "A 3D Animation System with Superimposing CG on a Physical Armature"Proceedings of the Asia Pacific Conference on Computer Human Interaction. 2. 845-856 (2002)
[Publications] Aoyama, M.: "Web Services Engineering"IFIP TC8/WG8.1 Working Conference on Engineering Information Systems in the Internet Context. 1-8 (2002)
[Publications] Affeldt, R., Masuhara, H., Sumii, E., Yonezawa, A.: "Supporting Objects in Run-time Bytecode Specialization"Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation(ASIA-PERM'02). 50-60 (2002)
[Publications] Igarashi, A., Viroli, M.: "On Variance-Based Subtyping for Parametric Types"Proceedings of the 16^<th> European Conference on Object-Oriented Programming(ECOOP2002). 441-469 (2002)
[Publications] Kaneko T., Yamaguchi, K., Kawai, S.: "Pattern Selection Problem for Automatically Generating Evaluation Functions ofr Ceneral CamePlayer"Proceedings of the 7^<th> Game Programming Workshop. 28-35 (2002)

2002 Fiscal Year Annual Research Report

信頼性の高いコンポーネント技術の研究

Principal Investigator

玉井 哲雄 東京大学, 大学院・情報学環, 教授 (60217172)

Research Products

[Publications] Tamai, T.: "Process of Software Evolution"Proceedings of the 1^<st> International Symposium on Cyber Worlds(CW2002). 8-15 (2002)

[Publications] Ando, Y., Takahashi, S., Shibayama, E.: "A 3D Animation System with Superimposing CG on a Physical Armature"Proceedings of the Asia Pacific Conference on Computer Human Interaction. 2. 845-856 (2002)

[Publications] Aoyama, M.: "Web Services Engineering"IFIP TC8/WG8.1 Working Conference on Engineering Information Systems in the Internet Context. 1-8 (2002)

[Publications] Affeldt, R., Masuhara, H., Sumii, E., Yonezawa, A.: "Supporting Objects in Run-time Bytecode Specialization"Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation(ASIA-PERM'02). 50-60 (2002)

[Publications] Igarashi, A., Viroli, M.: "On Variance-Based Subtyping for Parametric Types"Proceedings of the 16^<th> European Conference on Object-Oriented Programming(ECOOP2002). 441-469 (2002)

[Publications] Kaneko T., Yamaguchi, K., Kawai, S.: "Pattern Selection Problem for Automatically Generating Evaluation Functions ofr Ceneral CamePlayer"Proceedings of the 7^<th> Game Programming Workshop. 28-35 (2002)

玉井哲雄東京大学, 大学院・情報学環, 教授 (60217172)