A study on programming language mechanisms for easy-to-use safe module compositions

• Project/Area Number: 23700033
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: Tokyo Institute of Technology (2012-2014); Japan Advanced Institute of Science and Technology (2011)
• Principal Investigator: AOTANI Tomoyuki 東京工業大学, 情報理工学(系)研究科, 助教 (20582919)
• Project Period (FY): 2011-04-28 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
• Keywords: モジュラリティ / プログラミング言語 / アスペクト指向プログラミング / 文脈指向プログラミング / モジュール合成 / 型間宣言 / 分割コンパイル / 層活性機構 / アスペクトマイニング / 最適化 / ソフトウェア進化 / ロバスト化 / 形式化

Outline of Final Research Achievements

Modules are independent and interchangeable parts of a program. Functions, data structures, classes and packages are typical examples. This study focused on programming techniques for advanced modularization, namely aspect-oriented programming (AOP) and context-oriented programming (COP), and addressed to develop programming language mechanisms for declarative and safe compositions of modules. We proposed interfaces for AOP called ITD interfaces to assure type safety. We also developed (1) a COP language called EventCJ that supports declarative and composable context transition rules and (2) core calculi to let a single COP language support multiple context activation mechanisms using context holders.

Research Products

• [Journal Article] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ (2013)
  • Author(s): 青谷知幸，紙名哲生，増原英彦
  • Journal Title: コンピュータソフトウェア Volume: 30(3)
  • NAID: 40020659193
  • Peer Reviewed
• [Journal Article] Introducing composite layers in EventCJ (2012)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
  • Journal Title: IPSJ Transaction on Programming Volume: Vol. 6, No. 1 Pages: 1-8
  • NAID: 130003370005
  • Peer Reviewed
• [Presentation] Generalized layer activation mechanism through contexts and subscribers (2015)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Tetsuo Tamai
  • Organizer: The 14th International Conference on Modularity
  • Place of Presentation: Fort Collins, Colorad, USA
  • Year and Date: 2015-03-16 – 2015-03-19
• [Presentation] On-Demand Layer Activation for Type-Safe Deactivation (2014)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, and Atsushi Igarahi
  • Organizer: The 6th International Workshop on Context-Oriented Programming
  • Place of Presentation: Uppsala, Sweden
  • Year and Date: 2014-07-29
• [Presentation] Unifying Multiple Layer Activation Mechanisms Using One Event Sequence (2014)
  • Author(s): Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
  • Organizer: The 6th International Workshop on Context-Oriented Programming
  • Place of Presentation: Uppsala, Sweden
  • Year and Date: 2014-07-29
• [Presentation] Context-oriented Software Engineering: A Modularity Vision (2014)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Tetsuo Tamai
  • Organizer: The 13th International Conference on Modularity
  • Place of Presentation: University of Lugano (USI), Switzerland
  • Year and Date: 2014-04-22 – 2014-04-25
• [Presentation] Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language (2014)
  • Author(s): Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
  • Organizer: The 13th Workshop on Foundations of Aspect-oriented Languages
  • Place of Presentation: University of Lugano (USI), Switzerland
  • Year and Date: 2014-04-22
• [Presentation] 関心度に基づくソースコード推薦システム (2014)
  • Author(s): 村上直也, 増原英彦, 青谷知幸
  • Organizer: 第183回ソフトウェア工学研究発表会
  • Place of Presentation: 東京都千代田区
• [Presentation] Aspect interfaces: Towards separate type-checking of aspect-oriented programs with inter-type declarations (2013)
  • Author(s): Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, and Eric Tanter
  • Organizer: 第94回プログラミング研究発表会
  • Place of Presentation: 秋田県秋田市
• [Presentation] 関心度に基づくソースコード推薦システム (2013)
  • Author(s): 村上直也, 増原英彦, 青谷知幸
  • Organizer: 日本ソフトウェア科学会第30回大会
  • Place of Presentation: 東京都文京区
• [Presentation] Hierarchical Concern-Based Pointcuts (2013)
  • Author(s): Takeshi Kojima, Tomoyuki Aotani
  • Organizer: AOAsia/Pacific 2013: 8th International Workshop on Advanced Modularization Techniques
  • Place of Presentation: Fukuoka, Japan
• [Presentation] Interaction Awareness for Aspect Refactoring (2013)
  • Author(s): Lin Wang, Tomoyuki Aotani, Masato Suzuki
  • Organizer: AOAsia/Pacific 2013: 8th International Workshop on Advanced Modularization Techniques
  • Place of Presentation: Fukuoka, Japan
• [Presentation] A Core Calculus of Composite Layers (2013)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
  • Organizer: Foundations of Aspect-Oriented Languages workshop
  • Place of Presentation: Fukuoka, Japan
• [Presentation] Feature Selection for Clustering-Based Aspect Mining (2013)
  • Author(s): Lin Wang, Tomoyuki Aotani, Masato Suzuki
  • Organizer: 4th International Workshop on Variability & Composition
  • Place of Presentation: Fukuoka, Japan
• [Presentation] Bridging real-world contexts and units of behavioral variations by composite layers (2012)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
  • Organizer: Workshop on Context-Oriented Programming (COP'12)
  • Place of Presentation: Beijing, China
• [Presentation] A Per-Type Instantiation Mechanism for Generic Aspects (2012)
  • Author(s): Manabu Toyama
  • Organizer: VariComp'12
  • Place of Presentation: Potsdam, Germany
• [Presentation] Automatic translation from name-based pointcuts to analysis-based pointcuts for robust aspects (2011)
  • Author(s): Wang Lin
  • Organizer: RAM-SE'11
  • Place of Presentation: Zurich, Switzerland
• [Presentation] Featherweight EventCJ: A Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition (2011)
  • Author(s): Tomoyuki Aotani
  • Organizer: COP'11
  • Place of Presentation: Lancaster, UK
• [Presentation] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ (2011)
  • Author(s): 紙名哲生
  • Organizer: 日本ソフトウェア科学会第28回大会
  • Place of Presentation: 沖縄産業支援センター, 沖縄県那覇市
• [Presentation] Towards optimizing EventCJ programs (2011)
  • Author(s): Tomoyuki Aotani
  • Organizer: AOAsia/Pacific'11
  • Place of Presentation: Shanghai, China
• [Presentation] COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition (2011)
  • Author(s): Tetsuo Kamina
  • Organizer: AOAsia/Pacific'11
  • Place of Presentation: Shanghai, China
• [Presentation] ユースケースを用いた文脈指向ソフトウェア開発 (2011)
  • Author(s): 紙名哲生
  • Organizer: ソフトウェアエンジニアリングシンポジウム2011
  • Place of Presentation: 東京女子大学, 東京都杉並区
• [Presentation] A unified context activation mechanispm
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara
  • Organizer: International workshop on context-oriented programming
  • Place of Presentation: Montpellier, France
• [Presentation] Mapping context-dependent requirements to event-based context-oriented programs for modularity
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara
  • Organizer: International workshop on Reactivity, Events and Modularity
  • Place of Presentation: Indianapolis, USA
• [Remarks] 増原研究室
  • URL: http://prg.is.titech.ac.jp