netail.net

_ AspectBench ▲

AspectJ の言語をサポートしたコンパイラの別の実装としてAspectBench 1.0.0 がリリース．パフォーマンスとかを重視しているらしい．http://aspectbench.org

フロントエンドの言語拡張，バックエンドの最適化にそれぞれなんかフレームワークを使っているらしい．AspectJ ベースで言語を少し実験するとかの材料になるかも？

Sable Research Group とかも絡んでると書いてるのでパーサが SableCC でできてたりするのだろうか．色々気になるところはあるツール．

_ [Java]バージョンＩＤ ▲

Serializable なクラス（独自の例外クラス）を作ったら serialVersionUID を定義しなさいと警告が出てきた．

どうやら serialver とかいうツールで作れるらしい．

serialver -classpath クラスパス クラス名

単にメソッドとかのシグネチャから計算してるみたいだけど．リファクタリングとかしたらパッケージを移動すると値が変わってしまう（ソースコードを修正しないといけない）のかな？

_ [work]バイトコードのスタック変化 ▲

Java バイトコード上でのデータ依存関係を調べるのにスタックの変化情報が必要なのだが，BCELの org.apache.bcel.generic のパッケージサマリを見るとだいたいの情報が載っていることが判明．

抽象クラスで複数の命令の処理をまとめて書かないと，オブジェクトの種類による条件分岐がえらいことなりそうだが．

_ [論文]モデルの一貫性管理 ▲

Models for Non-functional Aspects of Component-Based Software (NfC'04) の論文を消化．

Francois Mekerke, Wolfgang Theurer, and Joel Champeau:Non-functional aspects management for craft-oriented design.利害関係者ごと（あるいは開発チームごとなど）に作成したモデルをいかに一貫性を保つかが問題となるが，そこで， Facet と Pivot という二つを使ってモデルを管理しようというもの．Facet は，システムの色々な側面を表現したもので，最終的にはプロダクトとなるもの．それぞれ，external (pivot から可視)なものとinternal (外部から不可視) なもので構成される．モデル自体は，それぞれの Facet ごとに独立な構築になるみたい．で，Pivot というのが連携用の道具で，各 Facet の external な要素間での結合として，データの流れや，成立する不変条件を記述する．

Pivot を先に作って，Facet がそれぞれ何を提供すればいいか明示してから Facet を個別に定義していくような感じなのか．

_ [論文]アスペクト指向なモデリング ▲

Aspect-Oriented Modeling Workshop の論文のうち興味を引いたもの若干をメモ．

Shin Nakajima, Tetsuo Tamai:Lightweight Formal Analysis of Aspect-Oriented Models.Aspect-Oriented Modeling Workshop 2004.

各アスペクトは，ロール同士のインタラクションとしてアスペクトを複数使ったときに正しく動くかどうか，「複数使ったときにどう動くべきか（どう重なるか）」を書いてモデルを動かしてみてチェックしましょうということになるらしい．

Mark Mahoney, Atef Bader, Tzilla Elrad:Using Aspects to Abstract and Modularize Statecharts.Aspect-Oriented Modeling Workshop 2004.

複雑なシステムのステートチャートを作るとき，直交した状態は別々のステートチャートに分離しておいて，あるステートチャートのイベントが，他のステートチャートのどのイベントとして「解釈」しうるか，という定義を付加してステートチャート間の結合を整理しようという話．

あるステートチャートでのイベント発生に他のステートの遷移を設定するというのはAspectJ の before/after の考え方にも近い概念だ，と言っている．

ステートチャート間のイベント連動をどこに書くかというのが問題のような気はするが，それ以外はわりとシンプルな感じ．

Alexis Muller:Reusing functional aspects: from composition to parameterization.Aspect-Oriented Modeling Workshop 2004.

コンポーネントの再利用のためには，関連しあったクラス群をまとめてビューとして扱うのがよい，ということでビューというのがどうあればよいか，メタモデルを定義している．

Subject-Oriented など従来のアプローチでは，再利用を狙ってシステムとは独立にモデルの設計などを行うときにシステムごとの名前の変化などが扱いづらいので，型やメソッド名のパラメータを使って制御するタイプの手法を使って作ったビューを適用していくのが良さそうだ，と言っている．