安全性と再利用性の高いアスペクト指向言語の設計と実現方式

高安全性和可重用性的面向方面语言的设计与实现方法

• 批准号: 08J11378
• 负责人: 青谷 知幸
• 金额: $ 0.77万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08J11378/
• 关键词: アスペクト指向プログラミンング; プログラミンング言語; プログラム解析; 型システム; 計算機科学; プログラミング言語; アスペクト指向; コンパイラ; 最適化

アスペクト指向プログラミング(AOP)の安全性と表現力の向上を目的に研究を行い、1柔軟な暗黙の型変換をAOPの提案、2分散システムにおけるセキュリティ・ポリシー記述のためのAOP言語AspectKE^*の設計と言語処理系の実装、3安全かつ柔軟なAOPを実現すStrongRelaxAJの提案を行った。暗黙の型変換を利用すると、異なる2つのライブラリを自然に統合でき、また組み込み領域特化言語(EDSL)で書かれるプログラムの可読性が上がるという利点があるが、暗黙の型変換が適用される条件が言語設計者によって定められており、ユーザーが自由に拡張することができなかった。本研究ではAOPを応用して、ユーザーが適用条件を自由に拡張できる暗黙の型変換を実現する方式を提案し、11月17日にオークランドで開催された国際ワークショップAOAsia5で発表した。AspectKE^*は分散システムの作成のためのプログラミング言語である。プログラマはパスワードの漏洩などをプログラム解析の結果を利用することで防ぐことができる。一般にプログラム解析は複雑で扱いづらいが、AspectKE^*ではプログラム解析を容易に行うための函数を提供することでこの問題を解決している。研究成果をまとめた論文は国際ワークショップACP41Sに採択され、ワークショップ議事録に収録された。StrongRelaxAJはJavaをベースとして作られたAOP言語AspectJの拡張である。AspectJは型安全でなく、また柔軟性に欠けていることが先行研究で個別に指摘され、解決されてきた。StrongRelaxAJはこれらの研究成果を統合して、安全かつ柔軟なプログラムを書けるようにしたものである。言語設計を説明した論文は国際ワークショップFOALに採択され、ワークショップ議事録に収録された。

ア ス ペ ク ト pointing プ ロ グ ラ ミ ン グ (AOP) の security と expressive の upward を objectives に を い, 1 soft な dark 黙 の type variations in を AOP の proposal, 2 dispersion シ ス テ ム に お け る セ キ ュ リ テ ィ · ポ リ シ ー account の た め の AspectKE AOP words ^ * の と words 処 design is の be outfit, 3 security か つ soft Soft なAOPを implements すStrongRelaxAJ <s:1> proposal を line った. Dark 黙 の type variations in を using す る と, different な る 2 つ の ラ イ ブ ラ リ を natural に integration で き, ま た group み 込 み domain specialized words (EDSL) で book か れ る プ ロ グ ラ ム の can be 読 sex が が る と い う tartness が あ る が, dark 黙 の type - in が applicable さ れ る conditions が words designers に よ っ て set め ら れ て お り, ユ ー ザ ー が free に company Zhang する った とがで な な った った. This study で は AOP を 応 with し て, ユ ー ザ ー が applicable condition を free に company, zhang で き る dark 黙 の type variations in を be presently す る を proposal し, November 17 に オ ー ク ラ ン ド で open rush さ れ た international ワ ー ク シ ョ ッ プ AOAsia5 で 発 table し た. AspectKE^* グ disperses システム システム to form <s:1> ため プログラ プログラ <s:1> グ グ language である. プ ロ グ ラ マ は パ ス ワ ー ド の leakage な ど を プ ロ グ ラ ム parsing の results を す る こ と で anti ぐ こ と が で き る. General に プ ロ グ ラ ム parsing は complex 雑 で Cha い づ ら い が, AspectKE ^ * で は プ ロ グ ラ ム parsing を line easily に う た め の function を provide す る こ と で こ の を solve し て い る. Research results を ま と め た paper は international ワ ー ク シ ョ ッ プ ACP41S に mining 択 さ れ, ワ ー ク シ ョ ッ プ proceedings に 収 recorded さ れ た. StrongRelaxAJ である Javaをベ をベ スと スと て て て られたAOP language AspectJ <s:1> 拡 zhang である. AspectJ は type safety で な く, ま た softness に owe け て い る こ と が leading research で individual に blame さ れ, solve さ れ て き た. StrongRelaxAJ は こ れ ら の integration research を し て, safety か つ soft な プ ロ グ ラ ム を book け る よ う に し た も の で あ る. Words design を illustration し た paper は international ワ ー ク シ ョ ッ プ FOAL に mining 択 さ れ, ワ ー ク シ ョ ッ プ proceedings に 収 recorded さ れ た.

项目成果

Optimizing dynamic pointcuts by using ScoPE

使用 ScoPE 优化动态切入点

• 发表时间: 2009
• 作者: Kitagawa;N.;Koizumi;A.;Suzuki;M.K.;Kashino;M.;Tomoyuki Aotani
• 通讯作者: Tomoyuki Aotani

StrongRelaxAJ: integrating adaptability of RelaxAJ and expressiveness of StrongAspectJ

StrongRelaxAJ：整合RelaxAJ的适应性和StrongAspectJ的表现力

• 发表时间: 2010
• 期刊: Proceedings of Foundations ofAspect-Oriented Languages (FOAL2010)
• 作者: Tomoyuki Aotani;Manabu Toyama;Hidehiko Masuhara
• 通讯作者: Hidehiko Masuhara

アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム

面向方面的编程语言的类型系统，用于安全执行建议

• 发表时间: 2009
• 期刊: コンピュータソフトウェア Vol.26(2)
• 作者: 青谷知幸;増原英彦
• 通讯作者: 増原英彦

AspectKE* : Security Aspects with Program Analysis for Distributed Systems

AspectKE*：分布式系统程序分析的安全性

• 发表时间: 2010
• 期刊: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software(ACP4IS'10) 9
• 作者: Fan Yang;Hidehiko Masuhara;Tomoyuki Aotani;Flemming Nielson;Hanne Riis Nielson
• 通讯作者: Hanne Riis Nielson

A join point model for implicit conversion

隐式转换的连接点模型

• 发表时间: 2009
• 作者: Huang Lu;Jie Li;and Mohsen Guizani;Tomoyuki Aotani and Hidehiko Masuhara
• 通讯作者: Tomoyuki Aotani and Hidehiko Masuhara