Foundational models of aspect-oriented languages and their applications

• Project/Area Number: 18680004
• Research Category: Grant-in-Aid for Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: The University of Tokyo
• Principal Investigator: MASUHARA Hidehiko The University of Tokyo, 大学院・総合文化研究科, 准教授 (40280937)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥7,410,000 (Direct Cost: ¥5,700,000、Indirect Cost: ¥1,710,000); Fiscal Year 2008: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000); Fiscal Year 2007: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000); Fiscal Year 2006: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
• Keywords: モジュール化 / アスペクト指向 / AspectJ / プログラミング言語モデル / 表現力 / テストプログラム / アスペクト干渉 / 型安全性 / 最適化 / 横断的関心事 / アスペクト指向プログラミング / ポイントカット / 型システム / アスペクト指向プログラミン / 結合点モデル / プログラム解析 / アスペクトの干渉

Research Abstract

横断的関心事をモジュール化する技術として知られているアスペクト指向プログラミング言語に関して、言語モデルの深化および言語機構の拡張と実現を行った。実際の成果はいくつかのテーマに分かれるが、代表的なものとしては解析に基づくポイントカットを利用した動的なポイントカットの最適化手法の提案と、テストに基づくポイントカットの提案と実証が挙げられる。

Research Products

• [Journal Article] アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム (2009)
  • Author(s): 青谷知幸, 増原英彦
  • Journal Title: コンピュータソフトウェア 26(2) Pages: 170-182
  • NAID: 130004892132
  • Peer Reviewed
• [Journal Article] 異なる型の値を返すアドバイスを許すアスペクト指向言語の織込機構 (2009)
  • Author(s): 当山学, 増原英彦
  • Journal Title: 第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)予稿集 Pages: 185-199
  • Peer Reviewed
• [Journal Article] 異なる型の値を返すアドバイスを許すアスペクト指向言語の織込機構 (2009)
  • Author(s): 当山学, 増原英彦
  • Journal Title: 第11回プログラミングおよびプログラミング言語ワークショップ予稿集 Pages: 185-199
  • Peer Reviewed
• [Journal Article] On Type Restriction of Around Advice and Aspect Interference (2008)
  • Author(s): Hidehiko Masuhara
  • Journal Title: Proceedings of the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI'08) (online proceedings)
  • Peer Reviewed
• [Journal Article] Test-Based Pointcuts for Robust and Fine-Grained Join Point Specification (2008)
  • Author(s): Kouhei Sakurai and Hidehiko Masuhara
  • Journal Title: Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08) Pages: 96-107
  • Peer Reviewed
• [Journal Article] Test-Based Pointcuts for Robust and Fine-Grained Join Point Specification (2008)
  • Author(s): Kohei Sakurai, Hidehiko Masuha
  • Journal Title: Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08) Pages: 96-107
  • Peer Reviewed
• [Journal Article] On Type Restriction of Around Advice and Aspect Interference (2008)
  • Author(s): Hidehiko Masuhara
  • Journal Title: Proceedings of the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI'08) (オンライン)
  • Peer Reviewed
• [Journal Article] Test-based pointcuts for robust and fine-grained join point specification. (2008)
  • Author(s): Kouhei Sakurai and Hidehiko Masuhara
  • Journal Title: Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08) Pages: 96-107
  • Peer Reviewed
• [Journal Article] Towards A Type System for Rejecting Never-Matching Pointcut Compositions (2007)
  • Author(s): Tomoyuki Aotani and Hidehiko Masuhara
  • Journal Title: Foundations of Aspect-Oriented Languages (FOAL2007) Pages: 23-26
  • Peer Reviewed
• [Journal Article] SCoPE : an AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts (2007)
  • Author(s): Tomoyuki Aotani and Hidehiko Masuhara
  • Journal Title: Proceedings of the 6th International Conference on Aspect-Oriented Software Development (AOSD'07) Pages: 161-172
  • Peer Reviewed
• [Journal Article] アスペクト指向プログラミングにおけるテストに基づいたポイントカットの提案 (2007)
  • Author(s): 櫻井孝平, 増原英彦
  • Journal Title: コンピュータソフトウェア 24(3) Pages: 141-152
  • NAID: 130004892095
  • Peer Reviewed
• [Journal Article] 値間依存性に基づくポイントカット記述のためのバイトコード変換 (2007)
  • Author(s): 大根田裕一, 増原英彦, 米澤明憲
  • Journal Title: コンピュータソフトウェア 24(2) Pages: 27-40
  • NAID: 110006277683
  • Peer Reviewed
• [Journal Article] 値間依存性に基づくポイントカット記述のためのバイトコード変換 (2007)
  • Author(s): 大根田裕一、増原英彦、米澤明憲
  • Journal Title: コンピュータ ソフトウェア 24(2) Pages: 27-40
  • NAID: 110006277683
  • Peer Reviewed
• [Journal Article] アスペクト指向プログラミングにおけるテストに基づいたポイントカットの提案 (2007)
  • Author(s): 櫻井孝平、増原英彦
  • Journal Title: コンピュータ ソフトウェア 24(3) Pages: 141-152
  • NAID: 130004892095
  • Peer Reviewed
• [Journal Article] SCoPE : an AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts (2007)
  • Author(s): Tomoyuki Aotani, Hidehiko Masuhara
  • Journal Title: Proceedings of the 6th International Conference on Aspect-Oriented Software Development (AOSD' 07) Pages: 161-172
• [Journal Article] Towards A Type System for Rejecting Never-Matching Pointcut Compositions (2007)
  • Author(s): Tomoyuki Aotani, Hidehiko Masuhara
  • Journal Title: Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2007) Pages: 23-26
• [Journal Article] A Fine-Grained Join Point Model for More Reusable Aspects (2006)
  • Author(s): Hidehiko Masuhara, Yusuke Endoh and Akinori Yonezawa
  • Journal Title: Proceedings of the Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) Lecture Notes in Computer Science 4279 Pages: 131-147
  • Peer Reviewed
• [Journal Article] Issues on Observing Aspect Effects from Expressive Pointcuts (2006)
  • Author(s): Hidehiko Masuhara and Tomoyuki Aotani
  • Journal Title: Proceedings of Workshop on Aspects, Dependencies and Interactions (ADI'06) Pages: 53-61
  • Peer Reviewed
• [Journal Article] ユーザー定義されたプログラム解析を利用するアスペクト指向プログラムのコンパイル手法 (2006)
  • Author(s): 青谷知幸, 増原英彦
  • Journal Title: コンピュータソフトウェア 23(2) Pages: 157-167
  • NAID: 130004892054
  • Peer Reviewed
• [Journal Article] チュートリアル : アスペクト指向プログラミング (2006)
  • Author(s): 増原英彦
  • Journal Title: コンピュータソフトウェア 23(2) Pages: 4-28
• [Journal Article] Issues on Observing Aspect Effects from Expressive Pointcuts (2006)
  • Author(s): Hidehiko Masuhara, Tomoyuki Aotani
  • Journal Title: Proceedings of Workshop on Aspects, Dependencies and Interactions 001 Pages: 53-61
• [Journal Article] A Fine-Grained Join Point Model for More Reusable Aspects (2006)
  • Author(s): Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
  • Journal Title: Proceedings of the Fourth ASIAN Symposium on Programming Languages and Systems (Lecture Notes in Computer Science) vol.4279 Pages: 131-147
• [Journal Article] ユーザー定義されたプログラム解析を利用するアスペクト指向プログラムのコンパイル手法 (2006)
  • Author(s): 青谷 知幸, 増原 英彦
  • Journal Title: コンピュータソフトウェア 23巻2号 Pages: 157-167
  • NAID: 130004892054
• [Journal Article] チュートリアル:アスペクト指向プログラミング (2006)
  • Author(s): 増原 英彦
  • Journal Title: コンピュータソフトウェア 23巻2号 Pages: 4-28
• [Presentation] Optimizing Dynamic Pointcuts by using SCoPE (2009)
  • Author(s): Tomoyuki Aotani and Hidehiko Masuhara
  • Organizer: Poster presentation at AOSD
  • Place of Presentation: University of Virginia
  • Year and Date: 2009-03-09
• [Presentation] Dptimizing Dynamic Pointcuts by using SCoPE (2009)
  • Author(s): Tomoyuki Aotani, Hidehiko Masuhara
  • Organizer: 8th International Conference on Aspect-Oriented Software Development (AOSD'09)
  • Place of Presentation: University of Virginia USA
  • Year and Date: 2009-03-04
• [Presentation] Towards Right Abstraction Mechanisms for Crosscutting Concerns (2008)
  • Author(s): Hidehiko Masuhara
  • Organizer: A keynote talk at 5th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'08)
  • Place of Presentation: Paphos, Cyprus
  • Year and Date: 2008-07-07
• [Presentation] Towards Right Abstraction Mechanisms for Crosscutting Concerns (2008)
  • Author(s): Hidehiko Masuhara
  • Organizer: ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'08)
  • Place of Presentation: Paphos, Cyprus
  • Year and Date: 2008-07-07
• [Presentation] SCoPE : an AspectJ compiler for developing intuitive and robust aspects by using program analysis (2008)
  • Author(s): Tomoyuki Aotani and Hidehiko Masuhara
  • Organizer: Poster presentation at AOSD.
  • Place of Presentation: Brussels, Belgium
  • Year and Date: 2008-04-08
• [Presentation] SCoPE : an AspectJ compiler for developing intuitive and robust aspects by using Drogram analysis (2008)
  • Author(s): Tomoyuki Aotani, Hidehiko Masuhara
  • Organizer: 7th International Conference on Aspect-Oriented Software Development (AOSD'08)
  • Place of Presentation: Brussles, Belgium
  • Year and Date: 2008-04-01
• [Presentation] Relaxing type restrictions of around advice in aspect-oriented programming (2007)
  • Author(s): Hidehiko Masuhara
  • Organizer: Fifth ASIAN Symposium on Programming Languages and Systems (APLAS2007)
  • Place of Presentation: National University of Singapore, Singapore
  • Year and Date: 2007-11-29
• [Presentation] アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム (2007)
  • Author(s): Tomoyuki Aotani and Hidehiko Masuhara
  • Organizer: 日本ソフトウェア科学会全国大会
  • Place of Presentation: 奈良先端科学技術大学院大学
  • Year and Date: 2007-09-14
• [Presentation] アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム (2007)
  • Author(s): 青谷和幸、増原英彦
  • Organizer: 日本ソフトウェア科学会第24回大会
  • Place of Presentation: 奈良先端科学技術大学院大学
  • Year and Date: 2007-09-14
• [Presentation] Relaxing Type Restrictions of Around Advice in Aspect-Oriented Programming (2007)
  • Author(s): Hidehiko Masuhara
  • Organizer: Poster presentation at APLAS 2007
  • Place of Presentation: National University of Singapore
• [Presentation] Aspect Mining using Structural Program Properties (2006)
  • Author(s): Jan Hannemann and Hidehiko Masuhara
  • Organizer: The Second DIKU-IST Joint Workshop on Foundations of Software
  • Place of Presentation: 神奈川
  • Year and Date: 2006-04-22
• [Remarks]
  • URL: http://www.graco.c.u-tokvo.ac.jp/ppp/
• [Remarks]
  • URL: http://www.graco.c.u-tokyo.ac.jp/ppp/