型安全な再利用可能アスペクトを目指した MJ ベースの AOP 言語とその型システムの提案

• Item type: Trans(1)
• 公開日: 2009-03-23
• タイトル: 型安全な再利用可能アスペクトを目指した MJ ベースの AOP 言語とその型システムの提案
• タイトル / 言語: en
• タイトル: Proposal of a MJ-based AOP Language and Its Type System for Type-safeness of Reusable Aspects
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 神戸大学大学院工学研究科情報知能学専攻
• 著者所属: 神戸大学大学院工学研究科情報知能学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer and Systems Engineering, Faculty of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Department of Computer and Systems Engineering, Faculty of Engineering, Kobe University
• 著者名: 草野, 直樹; 鎌田, 十三郎
• 著者名(英): Naoki, Kusano; Tomio, Kamada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェア開発の効率化においては，関心事の分離が重要である．MJ では，汎用クラス宣言において，その型パラメータのメンバ情報に応じたメンバを宣言できる．この機能はモーフィングと呼ばれ，各クラスに応じた同様のコードを，まとめて記述可能である．また，型パラメータを任意のクラスで具体化しても，型エラーが起きないことを判定する型システムを持つ．一方で，AOP 言語で行われているような，コールサイトに分散するコードフラグメントをまとめることや，複数のクラスのメンバをまとめて宣言することを，MJ はサポートしていない．本論文は，アスペクトを安全に再利用可能にすることを目指し，MJ に基づく AOP 言語と，その型システムの提案を行う．型システムの特徴は，アスペクトを任意のプログラムに適用した際に，メソッド追加により，メンバシグネチャの重複やオーバライド違反が起きないことを保証する点である．また，アスペクトに対応するために，ユニーク名の命名機構を新たに導入し，それにともなう型規則の拡張を行った．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The separation of concerns is important for efficient software constructions. MJ provides a technique called “morphing” for specifying generic classes whose members are produced by iterating over members of other classes given by type parameters, with avoiding similar codes for individual members. MJ also has a type system that judges whether morphing classes are type safe on arbitrary instantiations of type parameters. On the other hand, MJ does not support AOP-like features to bring together code fragments spread over call-sites or declarations of members for multiple classes. This paper proposes an AOP core language based on MJ and its type system for safely reusable aspects. Our type system ensures that applications of the aspect keep the type safeness of various target programs. The novel factor of the type system is checking whether the aspect may pose problems such as conflicts of member signatures or violations in method overriding. To allow description of type-safe aspects, we adopt a new feature of unique naming into our AOP language, and make enhancements of typing rules.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 2, 号 2, p. 105-131, 発行日 2009-03-23
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会