朱相冰 张琦 王雷 杨志伟 余晓峰 徐立臻 史维峰 贾向阳 刘洪波 蔡淮 庞士焕 李少东 郭渊博 曹海燕 王建良 甘仞初 郝耀辉 蔡菊 王迪 万露 杨国强 张韬 汤萍萍 张文博 应时 彭俊 王莎莎 许蕾 李必信 徐建良

Petri网 WS-BPEL 数据竞争 WSDL 正确性验证 反射 动态 业务流程模型 JSBPEL 锁集 Web服务 Conversation模型 映射 WF-nets Web服务组合 工作流 ESB 业务流程管理 QoS 发生序 服务 国库集中支付 全程优化 BPMN 测试路径 演化 基于案例推理 TLA 回归测试 SOAP