netail.net

_ 読書 ▲

森博嗣「女王の百年密室」を読破．これで借りた本は全部読破したことになる．やれやれ．

_ 論文 ▲

Manfred Broy et al.: ``Using Extended Event Traces to Describe Communication in Software Architectures''を読んだ．イベントトレース図は，シーケンス図によく似ているが，参加オブジェクトのパラメータ化，イベントの繰り返しの正規表現的な書き方，ある一連のイベント同士が並列で起こる可能性（インターリーブ）の記述などができる．元々は telecommunication 系のものを，ソフトウェアのコンポーネント間通信の記述に使ってもよいのでは，という論文．シーケンス図よりも色々書けるので，けっこう面白いかも．

_ AspectJ ▲

AspectJ 関連情報の過去のニュース＆更新履歴を別ファイルに移行．

_ Java ▲

Java の言語仕様に AOP を取り込むことを考えている，とかいう微妙な記事．熱心なのは JBoss と IBM の人々らしいが，どうするんだろう．取り込まれるのは AOP であってAspectJ ではないので，どういう形式になるかによって実用的かどうかが決まってきそう．http://news.com.com/2100-1007_3-5081831.html

_ 論文 ▲

The Computer Journal Special Issue on AOP and Crosscutting ConcernsVolume 46, Issue 5, September 2003がオンラインからアクセス可能になったよーとaosd-announce でアナウンスされてた．

http://www3.oup.co.uk/computer_journal/current/

リストを見た限りでは，どこかで見たことがあるものばかり．

_ AspectJ ▲

久しぶりに AspectJ サイトを更新．http://www.early-aspects.net へのリンクの追加と，「共有インスタンスの監視」の追加．元ネタは AspectJ-users ML の"Static Crosscutting" という Eric Jain の投稿で，ちょっとだけ c.getChlidren().add(o) っていう add は監視できないのかなぁ，と書いてたのでそこから考えてみた．Dataflow pointcut とかがあったら，もっと綺麗に書けるのだろうか？

_ クレジット ▲

クレジットカードの利用金額が予想より大きかったので，なぜだろうと思ってたら８月のOO2003出張のときのホテル代が入ってた．IWPSE/FSE出張のせいで，すっかり忘れてた．

_ [hyCalendar] 0.8.6 リリース ▲

これ以上機能追加するときりがなさそうなので，0.8.6 としてリリース．

いーかげん機能的には満足してきたので，次はやはり「タスクトレイへの常駐」だろうか．

Outlook とのインポート／エクスポートに対応してみるのも技術的には面白そうなのだが，使わないツールを作ってもまったくうれしくないのが難点．

ちなみに，0.8.6 をエンターブレイン様のフリーウェア年鑑にも収録していただく予定．致命的なバグとか出なければいいけど…．

_ [論文] EIWASワークショップ ▲

EIWAS'04: 1st European Interactive Workshop on Aspects in Softwarehttp://www.topprax.de/EIWAS04/

というのが開催されていたらしい．あんまり時間がないので，ざっくりメモしておく．

「AOP considered harmful」というパネルでは，advice と対比する形で "come from X" （goto文の逆で，「行 X が実行されたらここに来る」という文）を見せて，アスペクトの濫用の危険性について言及されている．

また，Rémi Douence による， AOP はどんなものか，といった論文が出ていた．AOP そのものはコード再利用が主目的ではないとか，AOP を非機能的要求以外にも使ってるじゃないか，とかベースプログラムの意味を変えるべきではない（プログラムの持つ不変条件に違反しない）とか．

Kasper B. Graversen らによる「アスペクトのアスペクト」はどうだろう，という話もあって，pointcut や advice 定義自体もinter-type declaration できるべきではないのか，みたいな話のよう．

Kris Gybels, and Andy Kellens: An Experiment in Using Inductive Logic Programming to Uncover Pointcuts.これは，アスペクトを既存コードから抽出するときに，とりうる Join Point の組み合わせと結果の Pointcut とを比べるとかして正しく join point を選べるように，とか言っている．

Christian Koppen, Maximilian Stoerzer:PCDiff: Attacking the Fragile Pointcut Problem.こちらは，クラス名やメソッド名の変更によって，pointcut が影響を受けていないか検出しましょうという話．ようやく出てきた？という気もしなくはない．ただ，分かったところで，変更に追随すべきか，すべきでないかを判断するのは難しいのだろうけど…．

István Nagy and Lodewijk Bergmans:Towards Semantic Composition in Aspect-Oriented Programming.attribute (いわゆる javadoc 系のタグ）ベースでpointcut を記述したほうがいいのでは，という論文．こちらのアプローチのほうがPCDiffのアプローチよりも安全そう．属性を付けるルールが明示されていて，間違った属性を付加することがなければ，という限定は付くが．

_ [論文] 実行履歴の図示 ▲

どこかで読んだはずなのだがメモしてなかったみたいなので書いておく．

Dean F. Jerding, John T. Stasko, Thomas Ball:Visualizing Interactions in Program Executions.ICSE 97, pp.360-370, Boston, MA, USA, 1997.

実行履歴を可視化するために，メソッド間の呼び出し関係を接続した地図のようなグラフを表示したり，横軸に時間，縦軸に呼ばれたメソッドをプロットすることで呼び出しパターンを可視化したりということをしている．

_ [論文] トレースデータの抽象的な表示 ▲

Robert J. Walker, Gail C. Murphy, Bjorn Freeman-Benson,Darin Wright, Darin Swanson, Jeremy Isaak:Visualizing Dynamic Software System Information through High-level Models.Proceedings of OOPSLA 98, pp.271-283, Vancouver, B.C., October 1998.

実行トレース情報を，抽象化されたビューにマッピングしましょう，という話．手法としては，上位のコンポーネント（サブシステムなど）を適当にドキュメントなどから見つけてきておいて，開発者は，実行トレースからコンポーネントへのマッピングを宣言的な言語で記述するというもの．

基本的には実行中，時間的にある程度限られた範囲でシステムの中をどのように実行が進んでいるかを見るが，それがどのようなコンテキストで起こったのか，という全体像のようなものがないと使いにくい，ということと，やはりその時点でのスタックの中身および実行中のコードへのリンクみたいなものも必要だ，といった結果がケーススタディの結果として議論されている．

_ [論文] トレースデータの活用 ▲

Johan Moe, David A. Carr:Using Execution Trace Data to Improve Distributed Systems.Software Practice and Experience, Vol.32, No.9, pp.889-906,25 July 2002.

分散システムの開発時に，トレースデータを集めて使ったという話．・長期間のカバレッジ観測でまったく　実行されていないメソッドが見つかった・頻繁なリモートメソッド呼び出し（主にコレクションの取得）を　発見し，修正した・動的メトリクスなどを使ってオブジェクト間の強い結合を見つけたといった感じで使われたらしい．短期間だけでなく，長期間（数日，あるいはそれより長い単位）でトレースデータを使うというのは珍しいかも．

参考文献リストをちらっと見た限りでは，システムの可視化やメトリクスなどへの論文のポインタとして便利そうな感じ．

_ [論文] 依存関係の管理 ▲

S. Ducasse, M. Blay-Fornarino, A.M. Pinna-Dery:A Reflective Model for First Class Dependencies.Proceedings of OOPSLA'95, pp.265-280, Austin, TX, USA.

オブジェクト間の依存関係を，First-Class なエンティティとして管理しましょうという論文．FLO という言語を提案していて，オブジェクト間のリンクを記述する．

たとえば，stack への pop 呼び出しが，memory オブジェクトに store された結果を返す場合，「(pop :stack) implies (store :memory :result)」といったように記述する．関連付け自体をインスタンス化する必要がある点は，association aspect なんかの使い方と同じ．

・オブジェクト間のインタフェースにのみ規定されるので　カプセル化は守られる．

・関連は動的に生成，チェック，破棄される．

・オブジェクト間に双方向のリンクを貼ることができる．（ある一方の変更が他方へ伝わるなど．アドバイスの動作に近い）

・リンク自体が first-class なので，リンク間のリンクなんかも定義できたりする．

propagation が伝わっていく途中でループが起きた場合は，リンクごとに停止用の invariant を書くか，割り込み処理のようなメカニズムを使うらしい．

で，MOPを使った実装の話が載っている．

関連研究については，クラス間の相互通信インタフェースを記述する手法ではクラスの仕様情報が他のクラス定義にまで分散してよくない，また，オブジェクト間のインタラクションの制約を記述すると制約自体がカプセル化を破壊してしまう，などとも言及している．

_ [お出かけ][OUCC] TOEIC ▲

TOEICを受験してきた．今回は得点についてちょっとした賭けをしている……からといって，やはり特別に勉強するわけではなかった．

会場が堂島にあるコンピュータ日本学院だったので，帰りにジュンク堂に立ち寄ってみたら，山本弘の「サーラの冒険」シリーズの10年ぶりの新刊「幸せをつかみたい！」を発見．ケン・ウェバーの５分間ミステリのシリーズの持ってなかった最初の１巻と一緒に購入してきた．

_ 新PC移行のため ▲

フリーソフト関連の更新がしばらく止まります。