講演抄録/キーワード |
講演名 |
2008-07-31 17:00
LMC:ポイントカット・アドバイスモデルの計算 ○森口草介・渡部卓雄(東工大) SS2008-19 |
抄録 |
(和) |
アスペクト指向プログラミング(AOP)はソフトウェア開発において広く用いられており、アスペクト指向プログラミング言語のもつ性質を形式的にとらえ、理解することはプログラミング言語研究の重要な課題のひとつである。我々は、ポイントカットやアドバイスといったアスペクト指向言語拡張の性質をとらえることを目的とした計算体系LMCを提案する。LMCは特定のプログラミング言語に依存しない形で定義されており、これをアスペクト指向言語拡張の定義に用いることで、アスペクト指向プログラミング言語の形式的定義をモジュール化できる。本論文ではLMCの定義の概要を示し、アスペクト指向拡張をもつ簡単なオブジェクト指向言語をLMCを用いて形式的に定義する。 |
(英) |
Aspect-oriented programming (AOP) has gained wide popularity in software development. Understanding the formal nature of aspect-oriented languages is one of the pressing problems in programming language research. We are currently developing LMC, a calculus intended to capture the properties of commonly used aspectual language extensions such as pointcut and advice. We define LMC to be independent from particular languages. LMC can emphasize the modularity in the formal definitions of aspect-oriented languages by using the calculus to define the aspectual parts of their semantics. In this paper, we introduce LMC and show how to use it to define a simple object-oriented language with aspect-oriented extensions. |
キーワード |
(和) |
アスペクト指向 / ポイントカット / アドバイス / ジョインポイントモデル / / / / |
(英) |
Aspect-oriented programming / pointcut / advice / join point model / / / / |
文献情報 |
信学技報, vol. 108, no. 173, SS2008-19, pp. 37-42, 2008年7月. |
資料番号 |
SS2008-19 |
発行日 |
2008-07-24 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2008-19 |