Web2.0やマッシュアップといった最近のキーワードに見られるように, ソフトウェアは,「サービス」という形でネットワーク上で公開され, 手軽に利用・連携できるようになってきました.
これらを支える サービス指向アーキテクチャ(Service-Oriented Architecture, SOA) およびWebサービス技術について,ソフトウェア工学的観点から 探っていきます.
家庭内の家電やセンサをネットワークにつなぎ付加価値サービス を実現する,次世代のユビキタスコンピューティング技術の アプリケーションについて研究しています.
CS27では,ソフトウェア工学の諸技術およびSOAを駆使して, 実際の家電をつないだHNSスペースを構築しています.
サービスが正しく動作するか?ユーザや環境にとって安全か? 複数のサービスを同時に動かしても大丈夫か?
多くのサービス が溢れる将来に向け,サービスを厳密に検証する技術を研究しています.