• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

アスペクト指向プログラム依存性理論とその応用に関する基礎的研究

研究課題

研究課題/領域番号 15500027
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関福岡工業大学

研究代表者

趙 建軍  福岡工業大学, 情報工学部, 助教授 (20299580)

研究期間 (年度) 2003 – 2004
研究課題ステータス 完了 (2004年度)
配分額 *注記
2,900千円 (直接経費: 2,900千円)
2004年度: 1,000千円 (直接経費: 1,000千円)
2003年度: 1,900千円 (直接経費: 1,900千円)
キーワードアスペクト指向プログラミング / プログラムの依存性解析 / ソフトウェア開発環境 / ソフトウェアの複雑さ計測 / プログラミングスライシング
研究概要

本研究では信頼性の高いアスペクト指向プログラムの開発支援環境を基礎付けるために、アスペクト指向プログラムの挙動における構成要素間の依存性関係を究明すると共に、アスペクト指向プログラムにおける新しい依存性概念を提案し、アスペクト指向プログラムの依存性モデルを構築することを目指す。また、構築された新しい依存性モデルをアスペクト指向プログラムの理解、テスト、デバック、保守、再利用、及び複雑さ計測へ適用し評価すると共に、信頼性の高いアスペクト指向プログラムの開発支援環境に対するその有効性を明確にすることを目指している。本研究ではこれまで得られた主な研究成果は以下の通りである。
(1)アスペクト指向プログラムにおける多重情報流れを表現できる有向グラフを定義した。その有向グラフに基づいて、アスペクト指向プログラムにおける構成要素間の構造と挙動に関する依存性を洗い出して抽象化し、これらの依存性概念に基づいてアスペクト指向プログラムの新しい依存性モデルを提案した。
(2)アスペクト指向プログラムの依存性モデルに基づいてアスペクト指向プログラムを静的にスライスするアルゴリズムを開発した。
(3)アスペクト指向プログラムの依存性に基づいてアスペクト指向プログラムの複雑さを評価する尺度も提案した。
(4)アスペクト指向プログラムのスライシングツールを開発した。
(5)アスペクト指向ソフトウェアの総合的開発支援環境の構造を提案した。

報告書

(3件)
  • 2004 実績報告書   研究成果報告書概要
  • 2003 実績報告書
  • 研究成果

    (23件)

すべて 2005 2004 その他

すべて 雑誌論文 (15件) 図書 (2件) 文献書誌 (6件)

  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8, No.1

      ページ: 111-126

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8 No.1

      ページ: 111-126

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Architectural Slicing in Supporting System Evolution2005

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 雑誌名

      Managing Corporate Information Systems Evolution and Maintenance (K. Khan and Y. Zheng (Eds.))

      ページ: 197-210

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8,No.1

      ページ: 111-126

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, J.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9, No.6

      ページ: 848-858

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Complexity Metrics for Software Architectures2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      IEICE Transactions on Information and Systems Vol.E87-D No.8

      ページ: 2152-2156

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 実績報告書 2004 研究成果報告書概要
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Conference on information (Information'2004)

      ページ: 540-543

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Dependence-Based Representation for Concurrent Java Programs and Its Application to Slicing2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Symposium on Future Software Technology 2004 (ISFST'2004)

      ページ: 250-255

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 実績報告書 2004 研究成果報告書概要
  • [雑誌論文] Measuring Coupling in Aspect-Oriented Systems2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      10th International Software Metrics Symposium (METRICS'2004) (WEBで出版)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, J.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9 No.6

      ページ: 848-858

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc. International Conference on Information (Information'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Dependence-Based Representation for Concurrent Java Programs And Its Application to Slicing2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc. International Symposium on Future Software Technology 2004 (ISFST'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [雑誌論文] Measuring Coupling in Aspect-Oriented Systems2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      10th International Software Metrics Symposium (METRICS'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2004 実績報告書 2004 研究成果報告書概要
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, I.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9,No.8

      ページ: 848-858

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Conference on Information (Information'2004)

    • 関連する報告書
      2004 実績報告書
  • [図書] "Architectural Slicing in Supporting System Evolution" in Managing Corporate Information Systems Evolution and Maintenance (K.Khan and Y.Zheng (Eds.))2005

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 出版者
      Idea Group Publishing
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2004 研究成果報告書概要
  • [図書] "Architectural Slicing in Supporting System Evolution" in K.Khan and K.Zheng (Eds.) Managing Corporate Information Systems Evolution and Maintenance2005

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 出版者
      Idea Group Publishing
    • 関連する報告書
      2004 実績報告書
  • [文献書誌] Jianjun Zhao: "Measuring Aspect Cohesion"Proc.International Conference on Fundamental Approaches to Software Engineering (FASE'2004). 54-68 (2004)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Jianjun Zhao: "Data-Flow-Based Unit Testing of Aspect-Oriented Programs"Proceedings of the 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003). 188-197 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] M.Iwamoto, Jianjun Zhao: "Refactoring Aspect-Oriented Programs"4th AOSD Modeling With UML Workshop, UML'2003. (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Jianjun Zhao, Martin Rinard: "Pipa : A Behavioral Interface Specification Language for AspectJ"Proceedings of Fundamental Approaches to Software Engineering (FASE' 2003). 150-165 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] J.Zhao, C.Lu, B.Xu: "A Toolkit for Java Bytecode Analysis"Proc.7th IASTED International Conference on Software Engineering and Applications (SEA'2003). (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] L.Xiang, K.Ushijima, J.Zhao: "An O(1) Time Algorithm for Generating Restricted Permutations"Parallel Processing Letters. Vol.12,No.3. 365-374 (2003)

    • 関連する報告書
      2003 実績報告書

URL: 

公開日: 2003-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi