Research の履歴(No.2) - PukiWiki

研究 / Research†

研究内容紹介†

SOA/Webサービス†

Web2.0やマッシュアップといった最近のキーワードに見られるように，ソフトウェアは，「サービス」という形でネットワーク上で公開され，手軽に利用・連携できるようになってきました．

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

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

ホームネットワークシステム(HNS)†

家庭内の家電やセンサをネットワークにつなぎ付加価値サービスを実現する，次世代のユビキタスコンピューティング技術のアプリケーションについて研究しています．

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

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

サービス検証・テスト†

サービスが正しく動作するか？ユーザや環境にとって安全か？複数のサービスを同時に動かしても大丈夫か？

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

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

共同研究先†

大学・研究機関†

奈良先端科学技術大学院大学ソフトウェア工学講座（松本健一研究室）
フランス Joseph Fourier 大学(グルノーブル第1大学) Laboratoire d'Informatique de Grenoble

企業†

三菱電機株式会社　情報技術総合研究所
松下電工株式会社

資金獲得状況†

科学技術研究費
日本学術振興会日仏交流促進事業（SAKURAプログラム）