王夕宁 姚玉杰 王君 刘岩 顾寄南 张烨 罗燕京 盛秋戬 武友新 苏翠翠 白振兴 武杰 张立春 史忠植 赵合计 许红 周进登 赵志崑 谢子松 江恭和 王智学 王茜 王晓军 黄娟 李寰宇 王聪 牛德雄

格局 物理活动 操作语义 BPEL4WS 测试用例自动生成 XML 信息活动 业务流程执行语言 加标记的变迁系统 语义 Petri网 测试场景 变迁 工作流模型 模型转换 工作流 反应型系统 Web服务 过程仿真 计算机应用 过程建模 工作流建模 协同设计 UML