netail.net

_ [Java]Enum にメソッドを関連付ける ▲

Sun が提供する Java Core Technology Tips を読んでたら，enum の話が載ってた．

public enum Coin3 {
  PENNY { int value(){ return 1;} },
  NICKEL { int value(){ return 5;} },
  DIME { int value() { return 10;} },
  QUARTER { int value() {return 25;} };
  abstract int value();
}

上記のように，enum 定数をオブジェクトとみなしつつメソッドを持たせたり，コンストラクタを持たせたりといったことをしていいらしい．こういう使い方は考えてもなかったので，けっこう驚いた．

http://java.sun.com/j2se/1.5.0/docs/guide/language/enums.html

_ 全国大会 ▲

情報処理学会の全国大会のプログラムを見ていて，「ソフトウェアの保守と検証」セッションにある高橋裕康，紫合治: アスペクト指向プログラミングによるシーケンス図の自動生成が少し気になる．

シーケンス図生成ツールを AOP 的に作成したのかなと思わなくもないけど，AOPでのロギングの実装だけが工夫だったらどうしよう…．

_ [Delphi]RichEdit ▲

RichEdit コントロールはバージョン 1.0, 3.0 と 2.0 で，同じ API でも引数および戻り値の意味が違うというドキュメントを見つけたはいいけれど，Delphi でどのバージョンを使っているか文書がなかったのでVCL のソースを調べてみた．

結果，LoadLibrary してるところに 'RICHED32.DLL' という定数が埋め込んであるのを発見．

これは 1.0 のライブラリで (2.0〜3.0は RICHED20.DLLらしい），Windows XP SP1 以降も 1.0 Emulator 搭載らしいのであんまり気にせずに 1.0 だと思って使っても良さそう．

_ [work]卒論タイトル ▲

卒論タイトルを３人がかりで１時間かけて煮詰めた．＃１時間もかかった，とも言う．

「〜に基づく」「〜による」「〜を利用した」などの表現が係り受け関係を怪しくしてしまっていたので，表現を単純化して，あとは微妙な表現の変更だけ．だいぶ疲れた．

_ メールチェッカ ▲

特定の人からの重要メールだけを通せるようなメールチェッカがほしかったので，色々調べてみた結果，通知方法に凝ってるものはあってもフィルタに凝ってるものは意外と少ないことが判明．

結局，いくつかピックアップしてみたうち，NEMCHI というチェッカが要望を満たしている（http://a-tak.com/wiki/index.php?NEMCHI 「おすすめの使い方」によればそのために作られていた）ようだったので，導入してみた．ユーザインタフェースもシンプルで，好感触．

_ DoS ▲

OUCC部室にてFC版DQ3のカートリッジを分解したりして遊んでたら，web にアクセスできなくない（サーバの応答がない）ことが判明．

どうも Inktomi というところから Crawler が大量に（１秒に数回）存在しない URL にアクセスしてた様子．ありそうな CGI を総実行していくらしい．

Yahoo/Crawler/DoS あたりで検索してたらrobots.txt を無視するらしいとか，色々ろくでもない情報だけ見つかった．

ちょうど同じ時刻に cgi 動かしたり大量にデータ転送してたらしき人に嫌疑がかかったりもしたが，どうも Crawler が原因っぽい．１日１回くらい，集中的にアクセスに来るっぽいのであまり性質の良いものではなさそう．

_ コンテキスト制約記述言語CCL ▲

Context-Based Constraint Language，というのがあるらしいというので調べてみた．

あるコンポーネントにコンテキスト値を付加して，そのコンポーネントが働いているときに属しているコンテキストをリストアップしておく．そして，「コンテキスト 'Controller' のときは 'Personal Data = Yes' の属性を持ったオブジェクトに アクセスしては駄目です」といったように制約を記述する．

使い方としては，設計時に UML などに付加しておいてあとでコードに落とす制約言語なので，OCL と似ている．

単なる表明だけでなくて ENCRYPTED WHEN CALLING とかいった呼び出しまわりの属性付加もあるので，主には CORBA やら EJB なんかでの使用になるみたい．

単に表明を記述する言語としてみると，AspectJ・JBoss AOP などでアトリビュートを付加してdeclare error や実行時のエラーチェックを付加する実装方法とうまく対応しそうな印象がある．

SPLAT2004に出したアサーションをアスペクトで書くと，という話とも絡むけれど，CCLでいうコンテキストはかなり大域的な情報で，「利用コンポーネントに応じて違う表明を書く」というのはコンポーネントとその利用者の間だけのローカルな情報なのかなと思ったりする．技術的には極端な差はないように見えるけれど．

_ [論文]ソフトウェア内部のパターン認識 ▲

Martin Pinzger and Harald Gall:Pattern-Supported Architecture Recovery.Technical Report, TUV-1841-2002-16, Technical University of Vienna.

ソフトウェア・アーキテクチャをソースやドキュメントから復元するために，どんな設計上の決定がシステム内に含まれているかを認識しましょう，という話みたい．

ただ，やってることはちょっと賢い（複数行に渡った情報が扱える）grep のように見えなくもない．マッチした結果を「パターンインスタンス」と呼んで，それらの関係図を出力しましょう，といった感じに見える．

_ [論文]データ項目の自動対応付け ▲

Sebastian Bossung, Hermann Stoeckle, John Grundy, Robert Amor, John Hosking:Automated Data Mapping Specification via Schema Heuristics and User Interaction.Proceedings of ASE 2004, pp.208-217.

XMLスキーマがたくさんあって，データを相互変換したいが，毎回手動で変換ルールを作るのは大変だから，XMLスキーマが２個与えられたとき，なるべく自動でデータのマッピングを生成しましょう，という論文．スキーマだけでなく，インスタンス文書のほうも（もしあれば）入力として受け付けるようにしているみたい．

スキーマ間のデータ項目のマッチが基本になるが，マッチの実装方式としては，色々なヒューリスティックを実装したエージェントを環境に放り込む，という形にしている．

使うヒューリスティックとしては

・項目の名前が同一である

・一方の項目の名前が，他方の項目名の部分列になっている

・文字列同士の Levenshtein 距離（一方を他方に変換する操作列の長さ）が小さい

・要素型が等しい

・要素のセット（あるタグの配下全員）で型が等しい

・一方が他方の略称アルファベット列になっている

・インスタンス文書の，要素の値が同じ…など．

ツールをプロトタイプを作ってみたら，スキーマがそれなりに似ていると事前に分かっているものでは，いい感じに使えた，らしい．

ただ，この時点では，データのマッピングは値のコピーにしか対応してないようなので，複数項目の集計とかに反応しようとすると大変そう．（変換を容易に記述できるスクリプトと組み合わせになる？）

あったら便利そう，という印象はあるけれど，こういう類のツールはどう評価するのがいいのか分からない（せいぜい「正しい対応付け」に対する正解率？）という微妙なところ．どのヒューリスティックがよく効くのかは見てみたい気もするが．

_ [論文]デバッグ操作のプログラム化 ▲

Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss:A Dataflow Language for Scriptable Debugging.Proceedings of ASE 2004, pp.218-227.

デバッグ用の操作をプログラム（スクリプト）から扱えるようにした，という話．デバッグ時に行う操作はわりと定型的だ，というのが前提．

Lispぽい文法の言語を作っていて，Trace命令で（AspectJの args や this などのように）プログラムの状態のいくつかを変数にバインドして，プログラム実行中に制約違反を起こしたらプログラムを止める，といったスクリプトを作っている．

東工大の千葉先生のところでやってたデバッガにAOPな機能を取り込んでみる，という話が近いのかも．

_ [論文]抽象プログラムによる制約違反の発見 ▲

Mana Taghdiri: Inferring Specifications to Detect Errors in Code.Proceedings of 19th International Conference on Automated Software Engineering (ASE'04), pp.144-153,Linz, Austria, September, 2004.

クラスの各メソッドから簡単な仕様を抽出し（たとえば戻り値が null でないとかフィールドが更新されるとか），プログラム中のメソッド呼び出しをその制約式で単純化し（a = list.contains(element) なら [a = "?"] のように）抽象化されたプログラムが制約を本当に満たすか検査する．満たさない場合，制約違反を起こすような抽象実行列を出力する．

あんまりよく分かっていないが，データ構造コンポーネントの一貫性検査などに使ったりするみたい．

_ [論文]ソフトウェア変更時の横断的関心事 ▲

Elisa L.A. Baniassad, Gail C. Murphy, Christa Schwanninger and Michael Kircher:Managing Crosscutting Concerns During Software Evolution Tasks:An Inquisitive Study.Proceedings of AOSD 2002.

ソフトウェアの変更時に，開発者がどう横断的関心事を意識して対処するかを調べようというケーススタディ．

開発者に後からインタビューしたところ，明示的にドキュメントやモジュールがないと，「何をしているのか」という理解が人によって変わってきて，また対処方法も３つくらいのパターンに分かれたらしい．

また，「このコードを変更するとどこに変更が及ぶのか？」というのが開発者の不安の種となっていることが確認されている．

開発者の作業の監視ではなく終わった後のインタビューなのと，参加者８人でタスクも小さいということからValidity として強いわけではないけれど．

_ [論文]暗黙のメソッド呼び出し変換 ▲

だいぶ前に読んだはずの論文だけどメモし忘れていたらしい．

Robert J. Walker, Gail C. Murphy:Implicit Context: Easing Software Evolution and Reuse.Proceedings of FSE2000, pp.69-78, San Diego, CA, USA,November, 2000.

「あるクラスが AbstractFactory パターンを使っている」といったデザイン情報は，コード上では単に new を使わずにmakeInstance のようなメソッド呼び出しとして表現され，ユーザに makeInstance の使用を強制することはできない．

そこで，「new へのメソッド呼び出しが起きたら，かわりに makeInstance を呼んでね」といったContext を生成してオブジェクトにアタッチする．Context 自体の記述は，過去のメソッド呼び出し履歴に対するリフレクション機能を使ったプログラム形式で書けるようにしている．

これを使うと，一部のコンポーネントへの依存関係をオブジェクト本体から切り離しておけるので，Swing ライブラリでの Look and Feel の切り離しという実験をしている．

AspectJ などを使ってできることとほとんど同じだが，AspectJ などよりも実行コンテキストへのアクセスが主体となっていて，過去のメソッド呼び出し履歴に応じてメソッドのディスパッチを変えるといったことができる．AspectJ の around アドバイスに，その種のリフレクションを持たせたら同じになるといえなくもないか．

_ 出張準備 ▲

AOSD2005はAOPなリファクタリングに関する半日のチュートリアル＋本会議３日間の参加．20日の夕方に日本に戻ってくる予定．

Registration＆ホテル予約を完了して飛行機予約のお願いもしたもののポスターはまだ影も形もなし．