紧密跟踪国际服务计算的前沿领域最新进展，研究嵌入式信息服务计算的模型和理论，重点研究了网络环境下的主动服务的理论和技术，以及Web可视化服务、面向服务的信息提取、信息服务支撑平台等。特别关注网络软件在现代服务业的作用，以需求为驱动，建立了信息网格服务的深度计算理论，提出了面向密集型信息处理的广域服务技术，揭示了服务语义驱动计算的机理。特别围绕信息服务的表达性和适配性等关键科学问题，从信息服务的过程范式基础理论、信息服务的设计方法学、网络环境下信息服务的适配理论开展研究，创新地将形式化方法应用到软件服务领域。
