高橋(徹）です。 読書会の時の雑談時に、 「AspectJを使う場合に、ツールが正しく機能を織り込むことを検証することが 難しい」という話題が出ていたと思います。この問題なるほどと思っていたとき に、下記情報をみつけました。 「オブジェクト指向2001シンポジウム参加報告」によると、 "アスペクト指向プログラミングへのモデル検査手法の適用」という発表が あったようです。 http://www.fuka.info.waseda.ac.jp/~washi/other/oo2001.html --- Toru TAKAHASHI