刘岩 刘义 胡建华 廖军 赵荣泳 王夕宁 马玉敏 尹浩 张浩 柴跃廷 董文莉 李津 王君 高春鸣 谭浩 付强 罗燕京 李勇 张雄 林闯 兰建忠 陆剑峰

企业应用集成 面向服务的架构 着色Petri网 模型转换 实现模型 业务流程管理 移动进程 数据流分析 离散时间Ambient演算 工作流 UML活动图 网络服务 模型验证 互操作 Web服务组合 建模 模态逻辑 信息技术 软件测试 Web服务