* 研究 / 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プログラム)