ソフトウェア・システムの機能や品質に関するモデル化・記述，および分析・保証に興味を持っています．
具体的には主に下記領域での研究・教育活動を行っています．
- サービスコンピューティング・クラウドコンピューティング： ソフトウェア工学，人工知能の双方，それらの融合の観点から，Webサービス・クラウド連携に関する研究に取り組んでいます．2009年度より電子情報通信学会 サービスコンピューティング時限専門研究委員会 副委員長．
- ソフトウェア工学（形式手法，要求工学）： 要求や仕様におけるモデル化・記述，変換，分析・検証に関する研究に取り組んでいます．また特に形式手法に関する，産業界向け教育・適用研究に取り組んでいます（トップエスイー，日科技連SQiP，実践Webポータルの運営など）．
詳細な論文・発表などのリストについては，こちらのページをご参照ください．
目次
サービスコンピューティング・クラウドコンピューティングに関する研究活動
技術キーワード： Webサービス，クラウド，インタークラウド，BPMN，WS-BPEL，WS-CDL，Quality of Service（QoS），Service Leval Agreement（SLA）
適応的なサービス合成・ビジネスプロセスの開発手法及び実行基盤（ソフトウェア工学によるアプローチ）
組織をまたがる場合やWeb APIを用いる場合も含め，サービスを単位とした迅速，柔軟なシステム開発，その際の機能・品質の実現・保証に取り組んでいます．
代表的なトピック
- 既存Webサービスを用いるソフトウェアの開発における，機能・品質の調整・保証手法
- サービス合成における，連携相手の選択・切替管理フレームワーク
- アノテーションに基づいたサービス連携プロトコルの合成言語・自動合成手法
- BPMNビジネスプロセス記述における時間・資源制約のモデル検査
- 【共同研究（大学・高等専門学校・企業）】 サービス指向・移動性に注目した，ポリシーベースエージェント開発フレームワークFreediaとその応用
- 契約に基づいたモバイルエージェントの協調移動モデルの形式モデル・実行基盤
- サービス連携プロセスの移動・分散実行の形式モデル・実行基盤
主な発表論文（共著含む）
- メタデータ制約を用いた協調プロトコルの自動合成手法（情報処理学会論文誌，2012）
- Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle (ICSOC 2010)
- サービス指向コンピューティングにおける合意に基づいた協調的な移動性（情報処理学会論文誌・研究会推薦博士論文速報，2008）
- A Framework for Synthesis of Web Services and Mobile Agents, (International Journal of Pervasive Computing and Communications, 2005)
クラウド・サービスの選択や連携における機能・品質（QoS・SLA）のモデル化・分析手法（人工知能によるアプローチ）
ネットワーク上に公開されたサービス・クラウドを活用する際に，プランニングや最適化・制約充足の人工知能技術を活用した，機能・品質の実現・保証に取り組んでいます．
代表的なトピック
- 機能の多様性を考慮した，サービス機能クラスタリングと自動合成手法
- クラウド時代におけるネットワーク品質を考慮したサービス選択手法
- 確率的なサービス選択ポリシーとそれに基づく効率的なサービス選択手法
- 利用パターンと条件付き契約に基づく，確率シミュレーションによるサービス選択手法
- 同種サービスの併用を考慮した，サービス選択のための候補抽出手法
主な発表論文（共著含む）
- Towards Robust Service Compositions in the Context of Functionally Diverse Services (WWW 2012)
- Towards Network-aware Service Composition in the Cloud (WWW 2012)
- Service Selection with Combinational Use of Functionally-Equivalent Services (ICWS 2011)
- QoS-aware Automatic Service Composition by Applying Functional Clustering (ICWS 2011)
- Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy (ICSOC 2010)
- A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns (ICSOC 2009)
ソフトウェア工学（主に形式手法，要求工学）に関する研究・教育活動
技術キーワード： 形式手法，形式仕様記述（VDM，Bメソッド，Event-B），要求仕様書，仕様化，モデル検査，モデル変換，リファインメント（段階的詳細化），ゴール指向要求分析，法解釈，実務法務，コンプライアンス
要求や仕様におけるモデル化・記述，変換，分析・検証
上流の成果物に対して明確な「良さ」の基準を定め，それを実現・保証し，必要な反映を行っていくためのモデル化，モデル変換などの技術に取り組んでいます．
代表的なトピック
- VDM++仕様とJavaコード間の，カスタマイズ・トレース可能な双方向変換
- 物理的相互作用に着目した，スマート空間仕様の早期検証および妥当性確認フレームワーク
- 要求工学による，要求工学のための法解釈モデル化・分析フレームワーク
主な発表論文（共著含む）
- Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java (Overture/VDM Workshop at FM 2011)
- 物理的相互作用に着目した，スマート空間の形式仕様記述と検証（情報処理学会論文誌，2011）
- Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering (RELAW Workshop at RE 2009)
形式手法や要求分析手法，その裏にある考え方の産業界向け教育・適用研究
産業界の開発者に形式手法をはじめとした，上流における工学的アプローチを伝えるとともに，それらの活用による課題解決，それらの活用のための課題解決に取り組んでいます．
代表的なトピック
- トップエスイー（TopSE）プロジェクトやSQiP研究会などにおける，形式手法などの産業界向け教育，および適用研究（例えば下記のようなトピック）
- ドメイン特化言語（DSL）における誤り検証・反例生成機構
- 形式仕様に基づくテスト生成・実行の自動化
- 特定ドメイン・プロジェクトにおける形式手法の活用
- 共同研究（企業）： Webサイト「形式手法実践ポータル」の構築
主な発表論文（共著含む）
- What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project (TFM 2009)