契約によるクラスとアスペクト間の影響解析

抄録

　AspectJにおけるアドバイスの織り込みは，メソッドの振る舞いを変更する．我々は契約という概念を確立し，そのような変化をプログラマが制限できるようにした．契約を導入すれば，メソッドが織り込みで受ける影響を，プログラマが予め制限できる．これにより，メソッドの振る舞いがプログラマの意図していなかったものへと変化してしまうことが防止できるようになる．契約は，自動的なメカニズムによって検証が可能である．