A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

• Project/Area Number: 22240002
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: The University of Tokyo (2011-2013); Tokyo Institute of Technology (2010)
• Principal Investigator: CHIBA Shigeru 東京大学, 情報理工学(系)研究科, 教授 (80282713)
• Co-Investigator(Renkei-kenkyūsha): TAMAI Tetsuo 法政大学, 理工学部, 教授 (60217172) ; NAKAJIMA Shin 国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211) ; UBAYASHI Naoyasu 九州大学, システム情報科学研究院, 教授 (80372762) ; MASUHARA Hidehiko 東京工業大学, 情報理工学研究科, 教授 (40280937) ; IGARASHI Atsushi 京都大学, 情報学研究科, 教授 (40323456) ; KAMINA Tetsuo 立命館大学, 情報理工学部, 講師 (90431882)
• Project Period (FY): 2010-04-01 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥49,530,000 (Direct Cost: ¥38,100,000、Indirect Cost: ¥11,430,000); Fiscal Year 2013: ¥12,090,000 (Direct Cost: ¥9,300,000、Indirect Cost: ¥2,790,000); Fiscal Year 2012: ¥12,220,000 (Direct Cost: ¥9,400,000、Indirect Cost: ¥2,820,000); Fiscal Year 2011: ¥11,830,000 (Direct Cost: ¥9,100,000、Indirect Cost: ¥2,730,000); Fiscal Year 2010: ¥13,390,000 (Direct Cost: ¥10,300,000、Indirect Cost: ¥3,090,000)
• Keywords: ソフトウェア・モジュール化 / オブジェクト指向 / アスペクト指向 / 文脈指向 / ソフトウェア開発効率化・安定化 / ソフトウェア学 / プログラミング言語 / モジュール化 / 型システム

Outline of Final Research Achievements

Software modularization is a key component of modern software development. This work studied language constructs supporting both hierarchical and crosscutting modularization. The two kinds of modularization had been supported by separate constructs. The aim of this work was develop post-aspect orientation through comprehensive study on the topic. This work mainly studied language constructs based on predicate dispatching and context-oriented programming and thereby it developed constructs that can deal with both hierarchical and crosscutting decomposition in a unified way. The work also studied the constructs from the viewpoints of theoretical foundation and modeling.

Research Products

• [Journal Article] Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct (2014)
  • Author(s): YungYu Zhuang and Shigeru Chiba
  • Journal Title: Transaction on Aspect-Oriented Software Development Volume: LNCS 8400 Pages: 70-108
  • DOI: 10.1007/978-3-642-55099-7_3
  • ISBN: 9783642550980, 9783642550997
  • Peer Reviewed
• [Journal Article] 破壊的クラス拡張で生じるメソッド衝突を回避可能なモジュール機構 Method Shells とその実装方法 (2014)
  • Author(s): 竹下若菜・千葉滋
  • Journal Title: 情報処理学会論文誌プログラミング Volume: 7-3 Pages: 12-21
  • NAID: 110009806546
  • Peer Reviewed
• [Journal Article] Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (2014)
  • Author(s): Maximilian Scherr and Shigeru Chiba
  • Journal Title: ECOOP 2014 Volume: LNCS 8586 Pages: 385-410
  • DOI: 10.1007/978-3-662-44202-9_16
  • ISBN: 9783662442012, 9783662442029
  • Peer Reviewed
• [Journal Article] Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches (2013)
  • Author(s): Wakana Takeshita and Shigeru Chiba
  • Journal Title: Proc. of Software Composition Volume: LNCS 8080 Pages: 49-64
  • DOI: 10.1007/978-3-642-39614-4_4
  • ISBN: 9783642396137, 9783642396144
  • Peer Reviewed
• [Journal Article] Implementing Feature Interactions with Generic Feature Modules (2013)
  • Author(s): Fuminobu Takeyama and Shigeru Chiba
  • Journal Title: Proc. of Software Composition Volume: LNCS 8080 Pages: 81-96
  • DOI: 10.1007/978-3-642-39614-4_6
  • ISBN: 9783642396137, 9783642396144
  • Peer Reviewed
• [Journal Article] Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct (2013)
  • Author(s): YungYu Zhuang and Shigeru Chiba
  • Journal Title: In Proc. of the 12th annual Int'l Conf. on Aspect-Oriented Software Development (AOSD'13) Volume: N/A Pages: 197-208
  • DOI: 10.1145/2451436.2451460
  • Peer Reviewed
• [Journal Article] Reserved Member 方式によるメンバの実行時追加機構の提案 (2012)
  • Author(s): 早船 総一郎, 千葉 滋
  • Journal Title: 情報処理学会論文誌 プログラミング Volume: volume 5, no3 Pages: 40-49
  • NAID: 40019468723
  • Peer Reviewed
• [Journal Article] Supporting Methods and Events by An Integrated Abstraction (2012)
  • Author(s): YungYu Zhuang and Shigeru Chiba
  • Journal Title: 9th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'12) Volume: N/A Pages: 7-10
  • DOI: 10.1145/2237887.2237889
  • Peer Reviewed
• [Journal Article] Do We Really Need Extending Syntax for Advanced Modularity? (2012)
  • Author(s): Shigeru Chiba
  • Journal Title: 11th annual international conference on Aspect-oriented Software Development (AOSD 12) Pages: 95-106
  • DOI: 10.1145/2162049.2162061
  • Peer Reviewed
• [Journal Article] 部分的再ロードによるJavaプログラムの再起動の高速化 (2011)
  • Author(s): 別役 浩平
  • Journal Title: 情報処理学会論文誌 プログラミング Volume: 4 Pages: 16-25
  • Peer Reviewed
• [Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition (2011)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
  • Journal Title: Aspect-Oriented Software Development 2011 Pages: 21-25
  • Peer Reviewed
• [Journal Article] Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (2010)
  • Author(s): Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov
  • Journal Title: ACM OOPSLA 2010 Pages: 539-554
  • Peer Reviewed
• [Presentation] Feature-Oriented Programming with Family Polymorphism (2012)
  • Author(s): Fuminobu Takeyama
  • Organizer: 3rd International Workshop on Variability & Composition (VariComp'12)
  • Place of Presentation: Postdam, Germany
• [Book] ２週間でできる！スクリプト言語の作り方 (2012)
  • Author(s): 千葉 滋
  • Total Pages: 384
  • Publisher: 技術評論社