邓水光 石纯一 陈韬略 李莹 张世永 邝砾 张静 梁爱南 蔡远利 于庆梅 李长云 于振华 吴朝晖 韩婷婷 于海斌 胡正国 焦文品 钟亦平 蒋嶷川 徐海平 吕建 史海波 徐东升 吴健 王永滨 孟庆龙 颜锋 乐嘉锦 王一川 黄广君

Petri网 递归函数 强互模拟等价 异常处理 工作流模式 操作语义 ECA规则 结构特性 λ演算 分析 进程 兼容性 并发 协议 多实例工作流模式 π可定义性 懒惰合理性 标号操作规则 AOP 建模 行为视图 发言权 软件构件 接口 工作流 组合 MAS WebGIS 语义 角色