| 研究概要 |
本研究ではネットワーク上で提供されるWebサービスを統合することで構成されるソフトウェアシステムをWebサービスウェアとして定義し,高信頼で効率的な開発技法を確立したフレームワークの提案を目標としている.本年度の成果は主に以下の3つである.
1)コレオグラフィに基づく高信頼通信指向プログラミング手法
GUIアプリケーションの開発に対してエンドポイント射影を応用し,その振る舞いをユーザ・内部システム・GUIコンポーネントの間の通信系列で特徴化し,通信指向プログラミング手法を適用することで高信頼のGUIプログラミングを実現する手法を提案した.GUIアプリケーションの大域的な記述としてGUI-CDL,局所的な記述としてGUI-πを定義し,GUI-CDLからGUI-πへの変換GUI-EPPを定義した.
2)JavaScriptの収集・蓄積・解析基盤の構築と,コーディングパターン発見手法
Webサービスを利用するアプリケーションのクライアントサイドでの代表的な実装言語であるJavaScriptはその実行環境の多様性から環境に適用させるための実装を必要とする.本年度は,まずWeb上に散在するJavaScriptを収集・蓄積・解析する基盤を開発・整備した.基盤開発と並行して,多量のJavaScriptコードから環境に適用させるためのコード片を効果的に発見する手法を提案した.さらに開発した基盤を利用して実際にWeb上からJavaScrpitコードを収集しそのデータに対して提案手法を適用することで,提案手法によって実際に環境適用のためのコード片を発見できることを確認した.
3)再利用性の高いコードフラグメントの抽出技法
昨年度開発したJavaソースコード群から頻出するコードパターンを効率よく抽出する手法を拡張した.メソッド呼び出しの一部を展開させることで実際に利用される呼び出し順を静的に解析し,オブジェクトに割り当てられた責務単位を考慮した解析を行う手法を提案した.複数のクラス/オブジェクトにまたがってWebサービス呼び出しを行い一連の処理を実現しているコードを発見するための基盤を整えた.
|
