コンピュータ ソフトウェア
Print ISSN : 0289-6540
オブジェクトごとの層遷移を宣言的に記述できる文脈指向言語EventCJ
青谷 知幸紙名 哲生増原 英彦
著者情報
ジャーナル フリー

2013 年 30 巻 3 号 p. 3_130-3_147

詳細
抄録

文脈指向言語EventCJを提案する.文脈指向プログラミングは文脈に依存する振舞を部分メソッドで定義し,それらをまとめた層として文脈をモジュール化するプログラミング手法である.文脈の変化は層の活性状態を実行時に変更することで実現する.EventCJはJavaを拡張した文脈指向言語で,層という単位で振舞を文脈ごとにモジュール化する.またEventCJはイベント宣言と活性層の遷移規則を持つ.これらの機構によって,オブジェクトごとの層の活性制御の宣言的な指定と,呼出し文脈を跨った層の活性制御が可能となった.本稿ではEventCJの言語設計を説明し,ContextFJを拡張した計算体系Featherweight EventCJを定義して,EventCJの意味論を与える.またAspectJプログラムへの変換によるコンパイル方法と最適化手法のアイデアを示す.

著者関連情報
© 2013 日本ソフトウェア科学会
前の記事 次の記事
feedback
Top