Research の履歴ソース(No.2)

* 研究 / Research [#s46786bd]

** 研究内容紹介 [#sfb4028f]

*** SOA/Webサービス [#c0b0fad3]
#ref(./service002.jpg,right,around,nolink,128x128);
Web2.0やマッシュアップといった最近のキーワードに見られるように，
ソフトウェアは，「サービス」という形でネットワーク上で公開され，
手軽に利用・連携できるようになってきました．

これらを支える
サービス指向アーキテクチャ(Service-Oriented Architecture, SOA)
およびWebサービス技術について，''ソフトウェア工学的観点''から
探っていきます．

- レガシーシステムのSOA化技術
- SOAシステム構築のための既存システムの再利用性評価 
- BPELワークフローに着目した連携Webサービスの応答速度・稼働率の見積もり手法 
- 時間駆動フレームワーク 
- Webサービスメトリクス
- Webサービス連携方式の評価 

*** ホームネットワークシステム(HNS) [#v96d285a]
#ref(./home002.jpg,right,around,nolink,128x128);
家庭内の家電やセンサをネットワークにつなぎ付加価値サービス
を実現する，次世代のユビキタスコンピューティング技術の
アプリケーションについて研究しています．

CS27では，ソフトウェア工学の諸技術およびSOAを駆使して，
実際の家電をつないだHNSスペースを構築しています．

- サービス指向設計を用いたホームネットワークの設計
- ホームネットワークシステムのモデル駆動開発手法
- ホームネットワークサービス開発へのペルソナシナリオ法の適用
- 家電連携サービスのユーザビリティ評価

*** サービス検証・テスト [#ab614b33]
#ref(./test001.jpg,right,around,nolink,50%);
サービスが正しく動作するか？ユーザや環境にとって安全か？
複数のサービスを同時に動かしても大丈夫か？

多くのサービス
が溢れる将来に向け，サービスを厳密に検証する技術を研究しています．

- Design by Contractを用いたサービス安全性検証
- ビル管理システムにおけるサービス安全性・競合問題
- ホームネットワークにおけるサービス競合問題
- ホームネットワークサービスのモデル検査

** 共同研究先 [#z7494265]
*** 大学・研究機関 [#if69a3a0]
- [[奈良先端科学技術大学院大学 ソフトウェア工学講座（松本健一研究室）>http://se.naist.jp/]]
- [[フランス Joseph Fourier 大学(グルノーブル第1大学) >http://www.ujf-grenoble.fr/]] Laboratoire d'Informatique de Grenoble 
*** 企業 [#c9c03f78]
- 三菱電機株式会社　情報技術総合研究所
- 松下電工株式会社

** 資金獲得状況 [#cb2adb37]
- 科学技術研究費
- 日本学術振興会日仏交流促進事業（SAKURAプログラム）