2001 Fiscal Year Annual Research Report
| Project/Area Number |
13224013
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas (C)
|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
玉井 哲雄 東京大学, 大学院・情報学環, 教授 (60217172)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
五十嵐 淳 東京大学, 大学院・総合文化研究科, 助手 (40323456)
青山 幹雄 南山大学, 数理情報学部, 教授 (40278073)
柴山 悦哉 東京工業大学, 大学院・情報理工学研究科, 教授 (80162642)
|
|---|
| Keywords | ソフトウェア / コンポーネント / 高信頼性 / 再利用 / モデル検査 / Webサービス / 型システム / 要求仕様 |
|---|
| Research Abstract |
高い信頼性をもったコンポーネント・ベースの開発技術として,平成13年度では以下のような研究を行った.
・仕様とコンポーネント合成の表現技術の研究 代数仕様や集合論に基づく仕様記法による記述実験を行った.また,オブジェクト指向モデルに厳密性を与えるための形式言語OSLを調査し,その可能性を検討した.コンポーネントの合成記述については,アーキテクチャ記述言語を調査した.
・コンポーネントとシステムの構築技術の研究 コンポーネントに基づく構築技術につき,バイトコード・レベルから分散アーキテクチャ・レベルまでの幅広い視点にわたって構築技術を検討した.コンポーネントの切り分けに関しては,局面(Aspect)指向設計/プログラミングの適用を実験し論文として発表した.
・コンポーネントとシステムの検証技術の研究 振舞い仕様については,LTLで記述した仕様をモデル検査で検証することについて,部分的な見通しをえた.またOCLで記述された機能仕様は,実行時に検査することを局面指向プログラミングと結びつけて検討した.構造の検証については,素軽さを持ちながら厳密な検証を可能とするものとして,型検査に基づくものを提案し論文発表した.
・適用分野の研究 Webを介してアクセスできるソフトウェア・サービスを,いかに開発するかという課題を適用分野として想定した.そのためにXMLによる文書交換や文書変換を研究し,結果を得た.
|
Research Products
(6 results)
-
[Publications] Nakatani, T., Urai, T., Ohmura, S., Tamai, T.: "A Requirements Description Metamodel for Use Cases"Proceedings Eighth Asia-Pacific Software Engineering Conference. 251-258 (2001)
-
[Publications] Ubayashi, N., Tamai, T.: "Separation of Concerns in Mobile Agent Applications"Metalevel Architectures and Separation of Crosscutting Concerns Proceedings of the 3^<rd> International Conference. 89-109 (2001)
-
[Publications] Shibayama, E., Toyoda, M., Yabe, J., Takahashi, S.: "Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet"Lecture Notes in Computer Science. 2881(未出版). (2002)
-
[Publications] 柴山 悦哉: "ブラウザのための可視化ナビゲーション支援"人工知能学会誌. 16・4. 509-514 (2001)
-
[Publications] Igarashi, A., Kobayashi, N.: "Resource Usage Analysis"Proceedings of ACM Symposium Conference on Principles of Programming Languages (POPL 02). 331-342 (2002)
-
[Publications] Igarashi, A., Pierce, B., Wadler, P.: "Featherweight Java : A Minimal Core Calculus for Java and GJ"ACM Transactions on Programming Languages and Systems. 23・3. 396-450 (2001)
